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.

J. Ginsburg1, V. Linek1
1University of Winnipeg Winnipeg, Manitoba Canada R3B 2E9
Abstract:

We show that there is a straight line embedding of the complete graph \(K_C\) into \(\mathcal{R}^3\) which is space-filling: every point of \(\mathcal{R}^3\) is either one of the vertices of \(K_C\), or lies on exactly one straight line segment joining two of the vertices.

Gary Haggard1, Thomas R. Mathies 2
1Bucknell University Lewisburg, PA 17837
2 Knox College Galesburg, IL 61401
Abstract:

An efficient algorithm for computing chromatic polynomials of graphs is presented. To make very large computations feasible, the algorithm combines the dynamic modification of a computation tree with a hash table to store information from isomorphically distinct graphs that occur during execution. The idea of a threshold facilitates identifying graphs that are isomorphic to previously processed graphs. The hash table together with thresholds allow a table look-up procedure to be used to terminate some branches of the computation tree. This table lookup process allows termination of a branch of the computation tree whenever the graph at a node is isomorphic to a graph that is stored in the hash table. The hashing process generates a large file of graphs that can be used to find any chromatically equivalent graphs that were generated. The initial members of a new family of chromatically equivalent graphs were discovered using this algorithm.

G. Chen1, R. J. Faudree2, W. E. Shreve3
1Department of Mathematics Georgia State University Atlanta, GA 30303
2Department of Mathematical Sciences University of Memphis Memphis, TN 38152
3Department of Mathematics North Dakota State University Fargo, ND 58105
Abstract:

In this paper, we investigate the sufficient conditions for a graph to contain a cycle (path) \(C\) such that \(G\) – \(V(C)\) is a disjoint union of cliques. In particular, sufficient conditions involving degree sum and neighborhood union are obtained.

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.

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;