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.

Wang Zhijian1
1Suzhou Railway Teachers College, Suzhou People’s Republic of China
Abstract:

The total chromatic number \(\chi_2(G)\) of a graph \(G\) is the smallest number of colors which can be assigned to the vertices and edges of \(G\) so that adjacent or incident elements are assigned different colors. For a positive integer \(m\) and the star graph \(K_{1,n}\), the mixed Ramsey number \(\chi_2(m, K_{1,n})\) is the least positive integer \(p\) such that if \(G\) is any graph of order \(p\), either \(\chi_2(G) \geq m\) or the complement \(\overline{G}\) contains \(K_{1,n}\) as a subgraph.
In this paper, we introduce the concept of total chromatic matrix and use it to show the following lower bound: \(\chi_2(m, K_{1,n}) \geq m + n – 2\) for \(m \geq 3\) and \(n \geq 1\). Combining this lower bound with the known upper bound (Fink), we obtain that \(\chi_2(m, K_{1,n}) = m + n – 2\) for \(m\) odd and \(n\) even, and \(m + n – 2 \leq \chi_2(m, K_{1,n}) \leq m + n – 1\) otherwise.

Liang Peiji1, Sun Rongguo2, Ku Tunghsin3, Zhu Lie4
1Association of Science, Fengqiu County 453300, China
2Research Institute of Educational Science, Xining 810000, China
3Hefei Branch of Academia Sinica, Hefei 230031, China
4Suzhou University, Suzhou 215006, China
Abstract:

An addition-multiplication magic square of order \(n\) is an \(n \times n\) matrix whose entries are \(n^2\) distinct positive integers such that not only the sum but also the product of the entries in each row, column, main diagonal, and back diagonal is a constant. It is shown in this paper that such a square exists for any order \(mn\), where \(m\) and \(n\) are positive integers and \(m, n \notin \{1, 2, 3, 6\}\).

A. Gyrfas1, M. S. Jacobson1, L.Kinch J.Lehel2, R. H. Schelp3
1Research partially supported by ONR grant No. NO0014-85-K-0694.
2Both on leave from Computer and Automation Institute. Hungarian Academy of Sciences, Budapest.
3Research pantially supported by NSF Grant No. DMS-8603717.
Abstract:

A hypergraph is irregular if no two of its vertices have the same degree. It is shown that for all \(r \geq 3\) and \(n \geq r + 3\), there exist irregular \(r\)-uniform hypergraphs of order \(n\). For \(r \geq 6\) it is proved that almost all \(r\)-uniform hypergraphs are irregular. A linear upper bound is given for the irregularity strength of hypergraphs of order \(n\) and fixed rank. Furthermore, the irregularity strength of complete and complete equipartite hypergraphs is determined.

Marcin J.Schroeder1, Mary H.Wright1
1Department of Mathematics Souther IHinois University at Carbondale Carbondale, IL 62901-4408
H. -D.O.F. Gronau1, R. C. Mullin2
1E.-M.-Amdt-University Department of Mathematics and Computer Science F-L,-Jahn-Swr. 15 a Greifswald, 0-2200 Germany
2University of Waterloo Department of Combinatorics and Optimization Waterloo, Ontario, N2L 3G1 Canada
Abstract:

It is proven that for all \(v \equiv 1 \mod 3\), \(v \geq 7\) there is a \(2-(v,4,2)\) design whose blocks have pairwise at most two elements in common. Moreover, for \(v \equiv 1, 4 \mod 12\) we have shown that these designs can be generated by two copies of \(2-(v,4,1)\) designs.

J.Leslie Davison1
1Department of Mathematics and Computer Science Laurentian University Sudbury, Ontario, Canada P3E 2C6
Abstract:

Lyndon graphs are connected subgraphs of the \(n\)-cube which arise in the combinatorics of words. It is shown that these graphs are not Hamiltonian when \(n\) is even.

Jianzhong Du1, Joseph Y-T.Leung1, C.S. Wong1
1Computer Science Program University of Texas at Dallas Richardson, TX 75083
Abstract:

We consider the problem of preemptively scheduling a set of \(N\) independent jobs with release times on \(m \geq 1\) identical machines so as to minimize the number of late jobs. For a single machine, Lawler has given an \(O(N^5)\) time algorithm for finding a schedule with the minimum number of late jobs. However, for fixed \(m \geq 2\), the question of whether the problem can be shown to be solvable in polynomial time or shown to be NP-hard remained open over the last decade. In this paper, we answer this question by showing that it is NP-hard for every fixed \(m \geq 2\).

Sin-Min Lee1, E. Seah2, H. Sun3
1Department of Mathematics and Computer Science San Jose State University San Jose, CA 95192, USA
2Department of Actuarial and Management Sciences University of Manitoba Winnipeg, Manitoba Canada, R3T 2N2
3Department of Mathematics California State University at Fresno Fresno, CA 93740, USA
Abstract:

In this note, we give a characterization of regular graphs which are neutral.

AJ. W. Hilton1,2, C.A. Rodger3, J. Wojciechowski2
1Department of Mathematics University of Reading Whiteknights Reading RG6 2AX UK
2Department of Mathematics West Virginia Universlty Morgantown, WV 26506 USA
3Department of Algebra, Combinatorics and Analysis Mathematical Annex Auburn University Auburn, AL 36849 ULS.A.
Abstract:

It is known that a pair of mutually orthogonal Latin squares (MOLS) of order \(n\) can be embedded in a pair of MOLS of order \(t\) if \(t \geq 3n\). Here, we discuss the prospects of extending this result to the case when the smaller pair is only a pair of mutually orthogonal \({partial}\) Latin squares (MOPLS). We obtain some conditions, analogous to those of Ryser for embedding partial Latin squares in complete Latin squares, which we show are necessary for the embedding of MOPLS. We discuss also some implications if these conditions are, in fact, also sufficient.

We also discuss the analogous problem for pairs of partial Kirkman triple systems (PKTS).

Warwick de Launey1
1Cryptomathematics Research Group Communications Division, ERL, DSTO c/o DVR2 Registry Victoria Barracks St Kilda Road Australia 3004
Abstract:

If the non-zero entries of an incidence matrix \(X\) of BIBD\((v, b, r, k, 2)\) have been signed to produce a \((0, 1, -1)\) matrix \(Y\0 such that

\[YY^T = rI_v,\]

then we say it has been signed. The resulting matrix \(Y\) is said to be a Bhaskar Rao design BRD\((v, k, 2)\). We discuss the complexity of two signing problems, (i) Given \(v\), \(k\), and \(\lambda\), decide whether there is a BRD\((v, k, 2\lambda)\), (ii) Given a BIBD\((v, k, 2\lambda)\), decide whether it is signable.
The paper describes related optimisation problems. We show that the signing problems are equivalent to finding the real roots of certain multi-variable polynomials. Then we describe some linear constraints which reduce the size of the second problem, we show certain special cases have polynomial complexity, and we indicate how in some cases the second problem can be decomposed into smaller independent problems. Finally, we characterise signable Steiner triple systems in terms of their block-intersection graphs, and show that the complexity of deciding whether a twofold triple system can be signed is linear in the number of blocks.

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;