Utilitas Algorithmica (UA)

ISSN: xxxx-xxxx (print)

Utilitas Algorithmica (UA) is a premier, open-access international journal dedicated to advancing algorithmic research and its applications. Launched to drive innovation in computer science, UA publishes high-impact theoretical and experimental papers addressing real-world computational challenges. The journal underscores the vital role of efficient algorithm design in navigating the growing complexity of modern applications. Spanning domains such as parallel computing, computational geometry, artificial intelligence, and data structures, UA is a leading venue for groundbreaking algorithmic studies.

Louis D.Nel1, Heidi J.Strayer2
1School of Computer Science Carleton University Ottawa, Ontario K1S 5B6
2Department of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1
Abstract:

A simple model of an unreliable network is a probabilistic graph in which each edge has an independent probability of being operational. The two-terminal reliability is the probability that specified source and target nodes are connected by a path of operating edges.
Upper bounds on the two-terminal reliability can be obtained from an edge-packing of the graph by source-target cutsets. However, the particular cutsets chosen can greatly affect the bound.
In this paper, we examine three cutset selection strategies, one of which is based on a transshipment formulation of the \(k\)-cut problem.
These cutset selection strategies allow heuristics for obtaining good upper bounds analogous to the pathset selection heuristics used for lower bounds.
The computational results for some example graphs from the literature provide insight for obtaining good edge-packing bounds. In particular, the computational results indicate that, for the purposes of generating good reliability bounds, the effect of allowing crossing cuts cannot be ignored, and should be incorporated in a good edge-packing heuristic.
This gives rise to the problem of finding a least cost cutset whose contraction in the graph reduces the source-target distance by exactly one.

Bhaskar Bagchi1
1 Theoretical Statistics and Mathematics Division indian Statistical Institute Calcutta 700 035 INDIA
Abstract:

We obtain a new characterization, by a configuration theorem, of the Miquelian geometries among the finite inversive (= Möbius) planes of even order. The main tool used is a characterization due to J. Tits of elliptic ovoids in three-dimensional projective space,

Yang Yuansheng1
1Dalian University of Technology People’s Republic of China
Abstract:

Let \(E_n\) denote the minimum number of edges in a graph that contains every tree with \(n\) edges. This article provides two sets of data concerning \((n+1)\)-vertex graphs with \(E_n\) edges for each \(n \leq 11\): first, a minimum set of trees with \(n\) edges such that all trees with \(n\) edges are contained in such a graph whenever it contains the trees in the minimum set; second, all mutually nonisomorphic graphs that contain all trees with \(n\) edges.

Hong-Jian Lai1
1Department of Mathematics West Virginia University Morgantown, WV 26506
Abstract:

A graph \(H\) is \underline{collapsible} if for every even subset \(W \subseteq V(H)\), \(H\) has a spanning connected subgraph whose set of odd-degree vertices is \(W\). In a graph \(G\), there is a unique collection of maximal collapsible subgraphs, and when all of them are contracted, the resulting contraction of \(G\) is a reduced graph. Reduced graphs have been shown to be useful in the study of supereulerian graphs, hamiltonian line graphs, and double cycle covers, (see[2], [3], [4] [6] ), among others. It has been noted that subdividing an edge of a collapsible graph may result in a noncollapsible graph. In this note we characterize the reduced graphs of elementary subdivision of collapsible graphs of diameter at most two. We also obtain a converse of a result of Catlin [3] when restricted to graphs of diameter at most two. The main result is used to study some hamiltonian property of line graphs.

Gerhard Benadé1, Izak Broere1
1Department of Mathematics Rand Afrikaans University Johannesburg SOUTH AFRICA
Abstract:

The \(F\)-free chromatic number \(\chi(M:-F)\) of a graph \(M\) is defined as the least number of classes in a partition of the vertices of \(M\) such that \(F\) does not occur as an induced subgraph in the subgraph induced by any of the colour classes. Two graphs \(G\) and \(H\) are called chromatically related if, for each positive integer \(k\), there exists a graph \(M\) such that \(\chi(M:-G) = \chi(M:-H) = k\), and distantly related whenever a chain of such relatednesses exists between them. Using a basic theorem of Folkman [3], we show that every two graphs on at least two vertices are distantly related.

G.M. Saha1, R.K. Mitra2
1Indian Statistical Institute Calcutta — 700 035
2M.J. College Jalgaon, Maharashtra INDIA
Abstract:

BIBRC (balanced incomplete block with nested rows and columns) designs were introduced by Singh and Dey [1979] and these designs were mostly obtained by trial and error. Agrawal and Prasad [1983] gave some systematic methods of construction of these designs. We provide further systematic and general methods of construction of BIBRC designs in the present note.

James A. Davis1
1University of Richmond, VA 23173
Abstract:

An exponent bound is presented for abelian \((p^{i+j}, p^i, p^{i+j},p^j)\) relative difference sets: this bound can be met for \(i \leq j\).

Ryan B.Hayward1
1Department of Computing and Information Science Queen’s University Kingston, Ontario Canada K7L 3N6
Abstract:

A smallest transversal of a \(k\)-graph (or \(k\)-uniform hypergraph) is any smallest set of vertices that intersects all edges. We investigate smallest transversals of small (up to ten vertex) \(3\)-graphs. In particular, we show how large the smallest transversal of small \(3\)-graphs can be as a function of the number of edges and vertices. Also, we identify all \(3\)-graphs with up to nine vertices that have largest smallest transversals. This work is related to a problem of Turán, and to the covering problem. In particular, extremal \(3\)-graphs correspond to covering designs with blocks of size \(n-3\).

R.A.R. Butler1, D.G. Hoffman1
1 Division of Mathematics Auburn University Auburn, Alabama 36849-5307 U.S.A.
Abstract:

We determine those triples \((g, u, k)\) for which there exists a pair of group divisible designs with block size \(3\), each on the same \(u\) groups of size \(g\), having exactly \(k\) blocks in common.

Giinter F.Steinke1
1 Department of Mathematics and Statistics University of Auckland Private Bag Auckland, NEW ZEALAND
Abstract:

Using the explicit determination of all ovals in the 3 non-Desarguesian projective planes of order 9 given in [4] or [8], we prove that there are no other Benz planes of order 9 than the three miquelian planes and the Minkowski plane over the Dickson near-field of type \(\{3,2\}\).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;