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.

A. LW. Hilton1,2, Zhao Cheng3
1Department of Mathematics University of Reading Whiteknights, Reading RG6 2AX United Kingdom
2Department of Mathematics, West Virginia University, Morgantown, WV 26506, U.S.A.
3West Virginia University Morgantown, WV 26506, U.S.A.
Abstract:

Chetwynd and Hilton made the following \({edge-colouring \; conjecture}\): if a simple graph \(G\) satisfies \(\Delta(G) > \frac{1}{3}|V(G)|\), then \(G\) is Class \(2\) if and only if it contains an overfull subgraph \(H\) with \(\Delta(H) = \Delta(G)\). They also made the following \({total-colouring \; conjecture}\): if a simple graph \(G\) satisfies \(\Delta(G) \geq \frac{1}{2}(|V(G)|+ 1)\), then \(G\) is Type \(2\) if and only if \(G\) contains a non-conformable subgraph \(H\) with \(\Delta(H) = \Delta(G)\). Here we show that if the edge-colouring conjecture is true for graphs of even order satisfying \(\Delta(G) > \frac{1}{2}|V(G)|\), then the total-colouring conjecture is true for graphs of odd order satisfying \(\delta(G) \geq \frac{3}{4}{|V(G)|} – \frac{1}{4}\) and \(\text{def}(G) \geq 2(\Delta(G) – \delta(G) + 1)\).

Theresa P.Vaughan1
1Department of Mathematics University of North Carolina at Greensboro Greensboro, NC 27412
Edward Spence1
1Department of Mathematics University of Glasgow Glasgow G12 8QQ Scotland
Abstract:

We correct an omission by Mathon in his classification of symmetric \((31, 10, 3)\)-designs with a non-trivial automorphism group and find that there are a further six such designs, all with an automorphism group of order \(3\).

E. J. Cockayne1, G. MacGillivray2, C. M. Mynhardt3
1University of Victoria, B.C., Canada
2University of Regina, Sask., Canada
3University of South Africa, Pretoria, South Africa
Abstract:

A \({dominating \; function}\) is a feasible solution to the LP relaxation of the minimum dominating set \(0-1\) integer program. A minimal dominating function (MDF) g is called universal if every convex combination of g and any other MDF is also a MDF. The problem of finding a universal MDF in a tree \({T}\) can also be described by a linear program. This paper describes a linear time algorithm that finds a universal MDF in \({T}\), if one exists.

Igrgen Bang-Jensen1, Gary MacGillivray2
1Department of Computer Science University of Copenhagen DK-2100, Denmark
2Department of Mathematics and Statistics University of Regina Saskatchewan, Canada, $48 0A2
Abstract:

Let \(H\) be a digraph whose vertices are called colours. Informally, an \(H\)-colouring of a digraph \(G\) is an assignment of these colours to the vertices of \(G\) so that adjacent vertices receive adjacent colours. In this paper we continue the study of the \(H\)-colouring problem, that is, the decision problem “Does there exist an \(H\)-colouring of a given digraph \(G\)?”. In particular, we prove that the \(H\)-colouring problem is NP-complete if the digraph \(H\) consists of a directed cycle with two chords, or two directed cycles joined by an oriented path, or is obtained from a directed cycle by replacing some arcs by directed two-cycles, so long as \(H\) does not retract to a directed cycle. We also describe a new reduction which yields infinitely many new infinite families of NP-complete \(H\)-colouring problems.

Hong-Jian Lai1, Hongyuan Lai2
1University of West Virginia Morgantown, WV 26506
2Wayne State University Detroit, MI 48202
Abstract:

Bondy conjectures that if \(G\) is a \(2\)-edge-connected simple graph with \(n\) vertices, then at most \((2n-1)/{3}\) cycles in \(G\) will cover \(G\). In this note, we show that if \(G\) is a plane triangulation with \(n \geq 6\) vertices, then at most \((2n-3)/{3}\) cycles in \(G\) will cover \(G\).

Izak Broere1, Johannes H. Hattingh1
1Department of Mathematics Rand Afrikaans University JOHANNESBURG 2000 South Africa
Abstract:

Suppose \(\Gamma\) is a finite multiplicative group and \(S \subseteq \Gamma\) satisfies \(1 \notin S\) and \(S^{-1} = \{x^{-1} | x \in S\} = S\). The abelian Cayley graph \(G = G(\Gamma, S)\) is the simple graph having vertex set \(V(G) = \Gamma\), an abelian group, and edge set \(E(G) = \{\{x, y\} | x^{-1}y \in S\}\). We prove the following regarding the chromatic index of an abelian Cayley graph \(G = G(\Gamma, S)\): if \(\langle S \rangle\) denotes the subgroup generated by \(S\), then \(\chi'(G) = \Delta(G)\) if and only if \(|\langle S \rangle|\) is even.

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

Let \(G\) be a graph and let \(D_1(G)\) denote the set of vertices of degree one in \(G\). In [1], Behocine, Clark, Kéhler, and Veldman conjectured that for a connected simple graph \(G\) of \(n\) vertices, if \(G – D_1(G)\) is \(2\)-edge-connected, and if for any edge \(xy \in E(G)\), \(d(x) + d(y) > \frac{2n}{5}-2\), then \(L(G)\) is hamiltonian.

In this note, we shall show that the conjecture above holds for a class of graphs that includes the \(K_{1,3}\)-free graphs, and we shall also characterize the extremal graphs.

Yin Jianxing1
1 Department of Mathematics Suzhou University Suzhou, China
Abstract:

A packing design (briefly packing) of order \(v\), block size \(k\), and index \(\lambda\) is a pair \((X,\mathcal{D})\) where \(X\) is a \(v\)-set (of points) and \(\mathcal{D}\) is a collection of \(k\)-subsets of \(X\) (called blocks) with cardinality \(b\) such that every \(2\)-subset of \(X\) is contained in at most \(\lambda\) blocks of \(\mathcal{D}\). We denote it by \(\mathrm{SD}(k,\lambda; v,b)\). If no other such packing has more blocks, the packing is said to be maximum, and the number of blocks in \(\mathcal{D}\) is the packing number \(\mathrm{D}(k,\lambda;v)\). For fixed \(k\),\(\lambda\) and \(v\), the packing problem is to determine the packing number. In this paper, the values of \(\mathrm{D}(5,2; v)\) are determined for all \(v \geq 5\) except \(48\) values of \(v\).

Kathryn F.Jones1, Jennifer Ryan1
1 Department of Mathematics University of Colorado Denver, CO 80204 U.S.A.
Abstract:

Behzad has conjectured that a simple graph G can always be totally coloured using two more colours than the maximum degree in G. The conjecture has been verified for several special classes of graphs by Behzad, Chartrand and Cooper, Rosenfeld,
and Meyer, and by Vijayaditya for graphs with maximum degree less than or equal to 3.We show algorithmically that the conjecture is true for graphs with maximum degree 4.

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;