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.

Rommel Barbosa1, Bert Hartnelit2
1Department of Mathematics Universidade Federal do Mato Grosso Cuiabé, MT Brazil
2Department of Mathematics and Computing Science Saint Mary’s University Halifax, NS Canada
Abstract:

A graph \(G\) is well-covered if every maximum independent set of vertices of \(G\) has the same cardinality. A graph \(G_1\) is an almost well-covered graph if it is not well-covered, but \(G_1 \setminus \{v\}\) is well-covered, \(\forall v \in V(G_1)\). Similarly, a graph \(H\) is a parity graph if every maximal independent set of vertices of \(H\) has the same parity, and a graph \(H_1\) is an almost parity graph if \(H_1\) is not a parity graph but \(H_1 \setminus \{h\}\) is a parity graph, \(\forall h \in V(H_1)\). Here, we will give a complete characterization of almost parity graphs. We also prove that claw-free parity graphs must be well-covered.

Nirmala Achuthan1, N.R. Achuthan1, M. Simanihuruk1
1 School of Mathematics and Statistics Curtin University of Technology GPO Box UI1987 Perth, Australia, 6001
Abstract:

Let \(\mathcal{G}(p)\) denote the class of simple graphs of order \(p\). For a graph \(G\), the complement of \(G\) is denoted by \(\overline{G}\). For a positive integer \(n\), the \(n\)-path-chromatic number \(\chi_n(G)\) is the least number of colours that can be associated to the vertices of \(G\) such that not all the vertices on any path of length \(n\) receive the same colour. The Nordhaus-Gaddum Problem for the \(n\)-path-chromatic number of \(G\) is to find bounds for \(\chi_n(G) + \chi_n(\overline{G})\) and \(\chi_n(G) \cdot \chi_n(\overline{G})\) over the class \(\mathcal{G}(p)\). In this paper, we determine sharp lower bounds for the sum and the product of \(\chi_n(G)\) and \(\chi_n(\overline{G})\). Furthermore, we provide weak upper bounds for \(\chi_2(G) + \chi_2(\overline{G})\) and \(\chi_2(G) \cdot \chi_2(\overline{G})\).

Yi Zhang1, Hian-Poh Yap1
1 Department of Mathematics National University of Singapore 10 Kent Ridge Crescent Singapore, 119260
Abstract:

In this paper, we prove that the Equitable \(\Delta\)-Coloring Conjecture holds for planar graphs with maximum degree \(\Delta \geq 13\).

Clive N.Galley1
1Department of Computer Science Kings College London University of London
Abstract:

An array \(A[i, j]\), \(1 \leq i \leq n, 1 \leq j \leq n\), has a period \(A[p,p]\) of dimension \(p \times p\) if \(A[i, j] = A[i+p, j+p]\) for \(i, j = 1 \ldots n-p\). The period of \(A_{p,p}\) is the shortest such \(p\).We study two-dimensional pattern matching, and several other related problems, all of which depend on finding the period of an array.In summary, finding the period of an array in parallel using \(p\) processors for general alphabets has the following bounds:
\[
\begin{cases}
\Theta\left(\frac{n^2}{p}\right) & \text{if } p \leq \frac{n^2}{\log \log n}, n>17^3 \quad\quad\quad\quad\quad\quad\quad\quad(1.1) \\
\Theta(\log\log n) & \text{if } \frac{n^2}{\log \log n} < p 17^3 \quad\;\; \quad\quad\quad\quad (1.2) \\
\Theta\left(\log\log_{\frac{2p}{n^2}}{p}\right) & \text{if } n^2 \leq p 17^3 \quad \quad\quad\quad\quad (1.3) \\
\Theta\left(\log\log_{\frac{2p}{n^2}}{p}\right) & \text{if } n^2 \log^2 n \leq p \leq n^4, \text{ $n$ large enough} \quad (1.4)
\end{cases}
\]

James B.Shearer1
1 Mathematical Sciences Department IBM Research Division T.J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598 U.S.A.
Abstract:

In [5] Kløve gave tables of the best bounds known on the size of optimal difference triangle sets. In this note, we give examples of difference triangle sets found by computer search which improve on the upper bounds in [5]. In four cases, these examples are proved to be optimal.

Frank E.Bennett1, Hantao Zhangt2
1 Department of Mathematics Mount Saint Vincent University Halifax, Nova Scotia B3M 236 Canada
2Computer Science Department The University of Iowa Iowa City, IA 52242 U.S.A.
Abstract:

A Latin square \((S, \cdot)\) is said to be \((3, 1, 2)\)-\({conjugate-orthogonal}\) if \(x \cdot y = z \cdot w\), \(x \cdot_{312} y = z \cdot_{312} w\) imply \(x = z\) and \(y = w\), for all \(x, y, z, w \in S\), where \(x_3 \cdot_{312} x_1 = x_2\) if and only if \(x_1 \cdot x_2 = x_3\).Such a Latin square is said to be \({holy}\) \(((3,1,2)\)-HCOLS for short) if it has disjoint and spanning holes corresponding to missing sub-Latin squares.Let \((3,1,2)\)-HCOLS\((h^n)\) denote a \((3,1,2)\)-HCOLS of order \(hn\) with \(n\) holes of equal size \(h\).We show that, for any \(h \geq 1\), a \((3,1,2)\)-HCOLS\((h^n)\) exists if and only if \(n \geq 4\), except \((n,h) = (6,1)\), and except possibly \((n,h) = (10,1)\) and \((4,2t+1)\) for \(t \geq 1\).Let \((3,1,2)\)-ICOILS\((v,k)\) denote an idempotent \((3,1,2)\)-COLS of order \(v\) with a hole of size \(k\).We prove that a \((3,1,2)\)-ICOILS\((v,k)\) exists for all \(v \geq 3k+1\) and \(1 \leq k \leq 5\), except possibly \(k = 4\) and \(v \in \{35, 38\}\).

Malcolm Greig1
1Greig Consulting 5685 Daffodil Drive West Vancouver B.C., Canada, V7W 1P2
Abstract:

The main object of this paper is the construction of BIBD’s with \(6 \leq k \leq 11\) and \(\lambda = 1\). These balanced incomplete block designs can be simply constructed from some associated group divisible designs with the number of groups being a prime power, and it is these group divisible designs that are constructed directly. Other related designs are discussed.

Dragomir Z.Dokovié1
1 Department of Pure Mathematics University of Waterloo Waterloo, Ontario N2L 3G1
Abstract:

We have carried out a large number of computer searches for the base sequences \(BS(n + 1, n)\) as well as for three important subsets known as Turyn sequences, normal sequences, and near-normal sequences. In the Appendix, we give an extensive list of \(BS(n + 1, n)\) for \(n \leq 32\). The existence question for Turyn sequences in \(BS(n + 1, n)\) was resolved previously for all \(n \leq 41\), and we extend this bound to \(n \leq 51\). We also show that the sets \(BS(n + 1, n)\) do not contain any normal sequences if \(n = 27\) or \(n = 28\). To each set \(BS(n + 1, n)\), we associate a finite graph \(\Gamma_{n}\), and determine these graphs completely for \(n \leq 27\). We show that \(BS(m,n) = \emptyset \quad \text{if} \quad m \geq 2n, \; n > 1, \; \text{and} \; m + n \; \text{is odd}\),
and we also investigate the borderline case \(m = 2n – 1\).

Ladislav Stacho1
1Institute for Informatics Slovak Academy of Sciences P.O.Box 56, Dibravskd Cesta 9 840 00 Bratislava 4 Slovak Republic
Abstract:

A graph \(G\) is maximally non-hamiltonian \((MNH)\) if \(G\) is not hamiltonian but becomes hamiltonian after adding an arbitrary new edge. Bondy \([2]\) showed that the smallest size \((=\)number of edges) in a \(MNH\) graph of order \(n\) is at least \(\left\lceil\frac{3n}{2}\right\rceil\) for \(n \geq 7\). The fact that equality may hold for infinitely many \(n\) was suggested by Bollobas [1]. This was confirmed by Clark, Entringer, and Shapiro (see [5,6]) and by Xiaobui, Wenzhou, Chengxue, and Yuanscheng [8] who set the values of the size of smallest \(MNH\) graphs for all small remaining orders \(n\). An interesting question of Clark and Entringer [8] is whether for infinitely many \(n\) the smallest \(MNH\) graph of order \(n\) is not unique. A positive answer – the existence of two non-isomorphic smallest \(MNH\) graphs for infinitely many \(n\) follows from results in \([5], [4], [6]\), and \([8]\). But, there still exist infinitely many orders \(n\) for which only one smallest \(MNH\) graph of order \(n\) is known.

We prove that for all \(n \geq 88\) there are at least \(\tau(n) > 3\) smallest \(MNH\) graphs of order \(n\), where \(\lim_{n\to\infty} \tau(n) = \infty\). Thus, there are only finitely many orders \(n\) for which the smallest \(MNH\) graph is unique.

M. Bada1, I. Hollander1
1 Department of Mathematics Technical University KoSice, Slovakia
Abstract:

We deal with \((a, d)\)-antimagic labelings of the prisms.
A connected graph \(G = (V, E)\) is said to be \((a, d)\)-antimagic if there exist positive integers \(a, d\) and a bijection \(f: E \to \{1, 2, \ldots, |E|\}\) such that the induced mapping \(g_f: V \to {N}\), defined by \(g_f(v) = \sum \{f(u, v): (u, v) \in E(G)\}\), is injective and \(g_f(V) = \{a, a + d, \ldots, a + (|V| – 1)d\}\).

We characterize \((a, d)\)-antimagic prisms with even cycles and we conjecture that prisms with odd cycles of length \(n\), \(n \geq 7\), are \((\frac{n+7}{2}, 4)\)-antimagic.

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;