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.

Toshinori Sakai1
1Research Institute of Mathematics Education, Tokai University 9-28-4 Tomigaya, Shibuya, Tokyo 151-0063, JAPAN
Abstract:

Let \(k\) and \(d\) be integers with \(d \geq k \geq 4\), let \(G\) be a \(k\)-connected graph with \(|V(G)| \geq 2d – 1\), and let \(x\) and \(z\) be distinct vertices of \(G\). We show that if for any nonadjacent distinct vertices \(u\) and \(v\) in \(V(G) – \{x, z\}\), at least one of \(yu\) and \(zv\) has degree greater than or equal to \(d\) in \(G\), then for any subset \(Y\) of \(V(G) – \{x, z\}\) having cardinality at most \(k – 1\), \(G\) contains a path which has \(x\) and \(z\) as its endvertices, passes through all vertices in \(Y\), and has length at least \(2d – 2\).

David Day1, Wayne Goddard2, Michael A. Henning3, Henda C. Swart4
1Department of Mathematics Technikon Natal, Durban South Africa
2 School of Geological and Computer Sciences University of Natal, Durban South Africa
3School of Mathematics, Computer Science and Information Technology University of Natal, Pietermaritzburg South Africa
4School of Mathematics and Statistics University of Natal, Durban South Africa
Abstract:

For a graph \(G\), a partiteness \(k \geq 2\) and a number of colours \(c\), we define the multipartite Ramsey number \(r^c_k(G)\) as the minimum value \(m\) such that, given any colouring using \(c\) colours of the edges of the complete balanced \(k\)-partite graph with \(m\) vertices in each partite set, there must exist a monochromatic copy of \(G\). We show that the question of the existence of \(r^c_k(G)\) is tied up with what monochromatic subgraphs are forced in a \(c\)-colouring of the complete graph \(K_k\). We then calculate the values for some small \(G\) including \(r^2_3(C_4) = 3, r^2_4(C_4) = 2, r^3_3(C_4) = 7\) and \(r^2_3(C_6) = 3\).

Lauren K. Williams1
1DEPARTMENT OF MATHEMATICS, HARVARD UNIVERSITY, CAMBRIDGE, MA 02138
Abstract:

A graph \(G\) with vertex set \(V(G)\) is an exact \(n\)-step domination graph if there is some subset \(S \subseteq V(G)\) such that each vertex in \(G\) is distance \(t\) from exactly one vertex in \(S\). Given a set \(A \subseteq \mathbb{N}\), we characterize cycles \(C_t\) with sets \(S \subseteq V(C_t)\) that are simultaneously \(a\)-step dominating for precisely those \(a \in A\). Using Polya’s method, we compute the number of \(t\)-step dominating sets for a cycle \(C_t\) that are distinct up to automorphisms of \(C_t\). Finally, we generalize the notion of exact \(t\)-step domination.

David C. Fisher1, Suh-Ryung Kim2, Chang Hoon Park2, Yunsun Nam3
1Department of Mathematics University of Colorado at Denver, Denver, CO 80217-3364, U. S. A.
2Department of Mathematics Kyung Hee University, Seoul 130-701, Korea
3Department of Mathematics Ewha Womans University, Seoul 120-750, Korea
Abstract:

Let \(D\) be a digraph. The competition-common enemy graph of \(D\) has the same set of vertices as \(D\) and an edge between vertices \(u\) and \(v\) if and only if there are vertices \(w\) and \(x\) in \(D\) such that \((w,u), (w,v), (u,x)\), and \((v,x)\) are arcs of \(D\). We call a graph a CCE-graph if it is the competition-common enemy graph of some digraph. We also call a graph \(G = (V, E)\) CCE-orientable if we can give an orientation \(F\) of \(G\) so that whenever \((w,u), (w,v), (u,x)\), and \((v,x)\) are in \(F\), either \((u,v)\) or \((v,u)\) is in \(F\). Bak \(et\; al. [1997]\) found a large class of graphs that are CCE-orientable and proposed an open question of finding graphs that are not CCE-orientable. In this paper, we answer their question by presenting two families of graphs that are not CCE-orientable. We also give a CCE-graph that is not CCE-orientable, which answers another question proposed by Bak \(et \;al. [1997]\). Finally, we find a new family of graphs that are CCE-orientable.

Gayla S.Domke1, Johannes H.Hattingh2, Michael A.Henning3, Lisa R.Markus4
1 Georgia State University
2Georgia State University
3 University of Natal, Pietermaritzburg *
4 Furman University
Abstract:

Let \(G = (V,E)\) be a graph. A set \(S \subseteq V\) is a dominating set if every vertex not in \(S\) is adjacent to a vertex in \(S\). Furthermore, a set \(S \subseteq V\) is a restrained dominating set if every vertex not in \(S\) is adjacent to a vertex in \(S\) and to a vertex in \(V – S\). The domination number of \(G\), denoted by \(\gamma(G)\), is the minimum cardinality of a dominating set, while the restrained domination number of \(G\), denoted by \(\gamma_r(G)\), is the minimum cardinality of a restrained dominating set of \(G\).
We show that if a connected graph \(G\) of order \(n\) has minimum degree at least \(2\) and is not one of eight exceptional graphs, then \(\gamma_r(G) \leq (n – 1)/2\). We show that if \(G\) is a graph of order \(n\) with \(\delta = \delta(G) \geq 2\), then \(\gamma_r(G) \leq n(1 + (\frac{1}{\delta})^\frac{\delta}{\delta-1} – (\frac{1}{\delta})^\frac{1}{\delta-1})\).

Maxime Crochemore1, Costas S.Tiopoulos2,3, Maureen Korda2, James F.Reid2,4
1Institut Gaspard-Monge, Université de Marne-la-Vallée, Cité Descartes, 5 Bd Descartes, Champs-sur-Marne, F-77454 Marne-la-Vallée CEDEX 2, France.
2Dept. Computer Science, King’s College London, London WC2R 2LS, UK.
3School of Computing, Curtin University of Technology, GPO Box 1987 U, Western Australia.
4Dipt. di Elettronica e Informatica, Universita degli Studi di Padova, Via Gradenigo 6/A, Padova 35131, Italy.
Abstract:

Given a two-dimensional text \(T\) and a set of patterns \(\mathcal{D} = \{P_1, \ldots, P_k\}\) (the dictionary), the two-dimensional \({dictionary\; matching}\) problem is to determine all the occurrences in \(T\) of the patterns \(P_i \in \mathcal{D}\). The two-dimensional \({dictionary\; prefix-matching}\) problem is to determine the longest prefix of any \(P_i \in \mathcal{D}\) that occurs at each position in \(T\). Given an alphabet \(\Sigma\), an \(n \times n\) text \(T\), and a dictionary \(\mathcal{D} = \{P_1, \ldots, P_k\}\), we present an algorithm for solving the two-dimensional dictionary prefix-matching problem. Our algorithm requires \(O(|T| + |\mathcal{D}|(log m + log |\Sigma|))\) units of time, where \(m \times m\) is the size of the largest \(P_i \in \mathcal{D}\). The algorithm presented here runs faster than the Amir and Farach [3] algorithm for the dictionary matching problem by an \(O(log k)\) factor. Furthermore, our algorithm improves the time bound that can be achieved using the Lsuffix tree of Giancarlo [6],[7] by an \(O(k)\) factor.

Martin Baca1
1Department of Mathematics Technical University Koéice, Slovakia
Abstract:

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

J.K. Dugdale1, Ch. Eslahchi2, A.J.W. Hilton1
1Department of Mathematics University of Reading Whiteknights Reading, RG6 6AX, UK
2 Department of Mathematics Institute for Studies in Theoretical Physics and Mathematics P.O.Box 19395-5746 Tehran, Iran
Abstract:

Let \(s'(G)\) denote the Hall-condition index of a graph \(G\). Hilton and Johnson recently introduced this parameter and proved that \(\Delta(G) \leq s'(G) \leq \Delta(G) + 1\). A graph \(G\) is \(s’\)-Class 1 if \(s'(G) = \Delta(G)\) and is \(s’\)-Class 2 otherwise. A graph \(G\) is \(s’\)-critical if \(G\) is connected, \(s’\)-Class 2, and, for every edge \(e\), \(s'(G – e) < s'(G)\). We use the concept of the fractional chromatic index of a graph to classify \(s’\)-Class 2 in terms of overfull subgraphs, and similarly to classify \(s’\)-critical graphs. We apply these results to show that the following variation of the Overfull Conjecture is true;

A graph \(G\) is \(s’\)-Class 2 if and only if \(G\) contains an overfull subgraph \(H\) with \(\Delta(G) = \Delta(H)\).

W.R. Johnstone1, D.J. White1
1Department of Mathematics, University of Reading, Whiteknights, P.O. Box 220, Reading, U.K.
Abstract:

We prove that if \(m\) be a positive integer and \(X\) is a totally ordered set, then there exists a function \(\phi: X \to \{1,\ldots,m\}\) such that, for every interval \(I\) in \(X\) and every positive integer \(r \leq |I|\), there exist elements \(x_1 < x_2 < \cdots < x_r\) of \(I\) such that \(\phi(x_{i+1}) \equiv \phi(x_{i}) + 1 \pmod{m}\) for \(i=1,\ldots,r-1\).

M.J. Grannell1, T.S. Griggs1, F.C. Holroyd1
1 Department of Pure Mathematics The Open University Walton Hall Milton Keynes MK7 6AA UNITED KINGDOM
Abstract:

We prove that the complete graph \(K_v\) can be decomposed into cuboctahedra if and only if \(v \equiv 1 \text{ or } 33 \pmod{48}\).

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;