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.

E.J. Farrell1, J.M. Guo2
1The Centre For Graph Polynomials Department of Mathematics and Computer Science The University of the West Indies St. Augustine, Trinidad
2 Department of Applied Mathematics Tongji University Shanghai, China
Abstract:

It is shown that the circuit polynomial characterizes many of the well-known families of graphs. These include chains, stars, cycles, complete graphs, regular complete bipartite graphs, and wheels. Some analogous results are deduced for the characteristic polynomial and the \(\mu\)-polynomial.

L. Arseneau1, A. Finbow1, B. Hartnell1, A. Hynick1, D. MacLean1, L. O’Sullivan1
1Department of Mathematics and Computing Science Saint Mary’s University Halifax, NS B3H 3C3 Canada
Abstract:

A connected dominating set is a dominating set \(S\) with the additional property that the subgraph induced by \(S\) is connected. We are interested in the collection C of graphs in which every minimal connected dominating set is of one size.Trees, for instance, clearly belong to this collection. A partial characterization will be discussed; in particular, we determine those graphs which have the property that all spanning trees have the same number of leaves. It is noted that membership in this sub-collection of C can be determined in polynomial time.

Matthew M.Cropper1
1Department of Mathematics West Virginia University Morgantown, WV 26506-6310
Abstract:

A continuum with finitely many non-cut points is an irreducible tree. A two-variable power series for the number of (unlabelled) irreducible trees with \(p\) pendant and \(q\) interior vertices.The result is then specialized to get Harary’s series for the number of irreducible trees with \(n\) vertices and to another series for the number of irreducible trees with \(p\) pendant vertices, a result of interest in continuum theory.

Edy Tri Baskoro1, Ljiljana Brankovic1, Mirka Miller1
1Department of Computer Science, The University of Newcastle NSW 2308 Australia,
Abstract:

The theory of lifting voltage digraphs provides a useful tool for constructing large digraphs with specified properties from suitable small base digraphs endowed with an assignment of voltages (= elements of a finite group) on arcs.
We revisit the degree/diameter problem for digraphs from this new perspective and prove a general upper bound on the diameter of a lifted digraph in terms of properties of the base digraph and voltage assignment.
In addition, we demonstrate that all currently known largest vertex-transitive Cayley digraphs for semidirect products of groups can be described by means of a voltage assignment construction using simpler groups.

Terry A.McKee1
1 Department of Mathematics & Statistics Wright State University, Dayton, Ohio 45435
Abstract:

The “characteristic” of a graph—the number of vertices, minus the number of edges, plus the number of triangles, etc.—is a little-studied, overtly combinatorial graph parameter intrinsically related to chordal graphs and common neighborhoods of subgraphs. I also introduce a sequence of related “higher characteristic” parameters.

William F.Klostermeyer1
1Department of Statistics and Computer Science West Virginia University Morgantown, WV 26506-6330
Abstract:

A \({least \;deviant\; path}\) between two vertices in a weighted graph is defined as a path that minimizes the difference between the largest and smallest edge weights on the path.Algorithms are presented to determine the least deviant path. The fastest algorithm runs in \(O(|E|^{1.793})\), in the worst case. A type of two-dimensional binary search is used to achieve this running time.

Xu Yunqing1, Lu Qinglin2
1 Department of Mathematics Xinyang Teachers College Xinyang, 464000, Henan, P.R. China
2Department of Mathematics Xuzhou Teachers College Xuzhou, 221009, Jiangsu, P-R. China
Abstract:

An SOLS (self-orthogonal Latin square) of order \(n\) with \(n_i\) missing sub-SOLS (holes) of order \(h_i\) (\(1 \leq i \leq k\)), which are disjoint and spanning (i.e., \(\sum_{i=1}^{k} n_ih_i = n\)), is called a frame SOLS and denoted by \(\text{FSOLS}(h_1^{n_1}, h_2^{n_2}, \ldots, h_k^{n_k})\).In this article, it is shown that an \(\text{FSOLS}(3^{n-u}3^1)\) exists if and only if \(n \geq 4\) and \(n \geq 1 + \frac{2u}{3}\), with seventeen possible exceptions \((n, u) =\{(5, 1)\}\) and \(\{(n, u) = (n, \lfloor \frac{3(n-1)}{2}\rfloor)\) for \((n \in \{6, 10, 14, 18, 22, 30, 34, 38, 42, 46, 54, 58, 62, 66, 70, 94\} \).

Robin Sue Sanders 1, John C.George2
1 Department of Mathematics Illinois Wesleyan University P.O. Box 2900 Bloomington, IL 61702-2900
2 Department of Mathematics Southern Illinois University at Carbondale mail code 4408 Carbondale, IL 62901
Abstract:

It is straightforward to show that the full automorphism group of \(G \otimes K_n\) contains the Cartesian cross product of \(\text{Aut}(G)\) and \(S_n\). If \(\text{Aut}(G \otimes K_n)\) properly contains this cross product, then we will say that \(G \otimes K_n\) has a “rich” automorphism group. First, several conditions on \(G\) that ensure that \(G \otimes K_n\) has a rich automorphism group are given. Then, it is shown that these conditions are both necessary and sufficient for \(G \otimes K_n\) to have a rich automorphism group.

M.E. Raines1, C.A. Rodger1
1Department of Discrete and Statistical Sciences 120 Math Annex Auburn University, Alabama USA 36849-5307
Abstract:

In this note, necessary and sufficient conditions are given for the existence of an equitable partial Steiner triple system \((S,T)\) on \(n\) symbols with exactly \(t\) triples, such that the leave of \((S,T)\) contains a \(1\)-factor if \(n\) is even and a near \(1\)-factor if \(n\) is odd.

G.M. Hamilton 1, A.J.W. Hilton2, H.R.F. Hind3
1Department of Engineering, Reading University, Reading RG6 6AF, England
2 Department of Mathematics, Reading University, Reading RG6 6AF, England
3Department of Combinatorics and Optimization, University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
Abstract:

A catalogue is presented which contains the graphs having order at most 10 which are critical with respect to the total chromatic number. A number of structural properties which cause these graphs to be critical are discussed, and a number of infinite classes of critical graphs are identified.A total colouring of a graph \(G\) is a function assigning colours to the vertices and edges of \(G\) in such a way that no two adjacent or incident elements are assigned the same colour. The total chromatic number, \(\chi”(G)\), is the minimum number of colours which need to be assigned to obtain a total colouring of the graph \(G\).
A longstanding conjecture, made independently by Behzad [3] and Vizing [17], claims that
\[
\Delta(G) + 1 \leq \chi”(G) \leq \Delta(G) + 2
\]
where \(\Delta(G)\) is the maximum degree of \(G\). The lower bound is sharp, the upper bound remains to be proved. A graph \(G\) is said to be Type 1 if \(\chi”(G) = \Delta(G) + 1\) and is said to be Type 2 if \(\chi”(G) \geq \Delta(G) + 2\).

We define a graph \(G\) to be critical with respect to the total chromatic number if \(G\) is connected and \(\chi”(G – e) < \chi''(G)\) for every edge \(e\) in \(G\). In Section 1 of this paper we identify all small order critical graphs, the catalogue of graphs is presented as a table of diagrams. In Section 2 we study structural properties of these graphs in order to identify features which cause a graph to be Type 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;