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.
- Research article
- https://doi.org/10.61091/um123-04
- Full Text
- Utilitas Mathematica
- Volume 123
- Pages: 53-59
- Published Online: 26/06/2025
Let \(G\) be a plane graph. If two edges are adjacent and consecutive on the boundary walk of a face of \(G\), then they are said to be facially adjacent. We call \(G\) facially entire \(k\)-colorable if there is a mapping from \(V(G)\cup E(G)\cup F(G)\) to a \(k\) color set so that any two facially adjacent edges, adjacent vertices, adjacent faces, and incident elements receive different colors. The facial entire chromatic number of \(G\) is defined to be the smallest integer \(k\) such that \(G\) is facially entire \(k\)-colorable. In 2016, Fabrici, Jendrol’ and Vrbjarová conjectured that every connected, loopless, bridgeless plane graph is facially entire \(7\)-colorable. In this paper, we give a positive answer to this conjecture for \(K_4\)-minor-free graphs. More specifically, we shall prove that every \(K_{4}\)-minor-free graph is facially entire \(7\)-colorable.
- Research article
- https://doi.org/10.61091/um123-03
- Full Text
- Utilitas Mathematica
- Volume 123
- Pages: 35-52
- Published Online: 26/06/2025
The Markov graph of a self-map on a combinatorial tree is a directed graph that encodes the covering relations between edges of the tree under the map. This work explores the dynamical structure of self-maps on trees with weakly connected Markov graphs. The main result of the paper is a complete characterization of self-maps on finite sets that yield weakly connected Markov graphs for all trees. Additionally, we describe the dynamical structure of self-maps whose Markov graphs take specific forms, including complete digraphs, cycles, paths, in-stars, and out-stars.
- Research article
- https://doi.org/10.61091/um123-02
- Full Text
- Utilitas Mathematica
- Volume 123
- Pages: 19-33
- Published Online: 26/06/2025
In this paper, we construct two infinite families of graphs \(G(d,c)\) and \(G^+(d,c)\), where, in both cases, a vertex label is \(x_1x_2\ldots x_c\) with \(x_i\in\{1,2,\ldots, d\}\). We provide a tight lower bound on the metric dimension of \(G^+(d, c)\). Moreover, we give the definition and properties of the supertoken graphs, a generalization of the well-known token graphs. Finally, we provide an upper bound on the metric dimension of supertoken graphs.
- Research article
- https://doi.org/10.61091/um123-01
- Full Text
- Utilitas Mathematica
- Volume 123
- Pages: 3-17
- Published Online: 26/06/2025
Let \(A\) be a commutative ring with nonzero identity and \(n\geq 2\) be a positive integer. With the ring \(R=A\times\cdots\times A\) (\(n\) times), one can associate graphs \(TD(R)\) and \(ZD(R)\) respectively called the total dot product graph and the zero-divisor dot product graph of \(R\). In this paper, we study some topological properties of these two dot product graphs of \(R.\) In particular, it is shown that, the zero-divisor dot product graph \(ZD(R)\) is a projective graph if and only if \(R\) is isomorphic to \(\frac{Z_2\left[x\right]}{\left\langle x^2+x+1\right\rangle}\times\frac{Z_2\left[x\right]}{\left\langle x^2+x+1\right\rangle}.\) Moreover, we prove that no total dot product graph can be projective. With these observations, we classify all commutative rings for which dot product graphs \(ZD(R)\) and \(TD(R)\) have crosscap two.
- Research article
- https://doi.org/10.61091/jcmcc126-21
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 305-314
- Published Online: 24/06/2025
Let \(p > 5\) be a prime positive integer, \(m\) and \(s\) be positive integers. We classify the negacyclic codes of length \(5p^s\) over \(R= \mathbb{F}_{p^m}+u\mathbb{F}_{p^m}\), with \(u^2=0\) using the factorisation of cyclotomic polynomials, and we investigate their Hamming distances.
- Research article
- https://doi.org/10.61091/jcmcc126-20
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 291-303
- Published Online: 24/06/2025
Dominator coloring is a fascinating type of proper coloring where vertices are assigned colors so that every vertex in the graph is within the closed neighborhood of at least one vertex from each color class. The smallest number of colors needed for a dominator coloring is called the dominator chromatic number. In this paper, a new graph product called the closed extended neighborhood corona of two graphs is introduced and its dominator chromatic number for any pair of connected graphs is determined. Also, the dominator chromatic numbers for the extended corona of a path with any graph and a cycle with any graph are derived. Additionally, the dominator chromatic number for the closed neighborhood corona of any two graphs is established.
- Research article
- https://doi.org/10.61091/jcmcc126-19
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 279-289
- Published Online: 24/06/2025
The article investigates the domination polynomial of generalized friendship graphs. The domination polynomial captures the number of dominating sets of each cardinality in a graph and is known to be NP-complete to compute for general graphs. We establish the log-concave and unimodal properties of these polynomials, and determine their peaks. Furthermore, we analyze the distribution of the zeros of aforesaid polynomial and identify their region in the complex plane. Several open problems are proposed for future exploration.
- Research article
- https://doi.org/10.61091/jcmcc126-18
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 263-278
- Published Online: 24/06/2025
The generalized Petersen graph \(G(n,k)\) is a cubic graph with vertex set \(V(G(n,k))=\{v_i\}_{0 \leq i < n} \cup \{w_i\}_{0 \leq i < n}\) and edge set \(E(G(n,k))=\{v_i v_{i+1}\}_{0 \leq i < n} \cup \{w_i w_{i+k}\}_{0 \leq i < n} \cup \{v_i w_i\}_{0 \leq i < n}\) where the indices are taken modulo \(n\). Schwenk found the number of Hamiltonian cycles in \(G(n,2)\), and in this article we present initial conditions and linear recurrence relations for the number of Hamiltonian cycles in \(G(n,3)\) and \(G(n,4)\). This is attained by introducing \(G'(n,k)\), which is a modified version of \(G(n,k)\), and a subset of its subgraphs which we call admissible, and which are partitioned into different classes in such a manner that we can find relations between the number of admissible subgraphs of each class. The classes and their relations define a directed graph such that each strongly connected component is of a manageable size for \(k=3\) and \(k=4\), which allows us to find linear recurrence relations for the number of admissible subgraphs in each class in these cases. The number of Hamiltonian cycles in \(G(n,k)\) is a sum of the number of admissible subgraphs of \(G'(n,k)\) over a certain subset of the classes.
- Research article
- https://doi.org/10.61091/jcmcc126-17
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 247-261
- Published Online: 24/06/2025
Perfect codes in the \(n\)-dimensional grid \(\Lambda_n\) of the lattice \(\mathbb{Z}^n\) (\(0<n\in\mathbb{Z}\)) and its quotient toroidal grids were obtained via the truncated distance in \(\mathbb{Z}^n\) given between \(u=(u_1,\cdots,u_n)\) and \(v=(v_1, \ldots,v_n)\) as the graph distance \(h(u,v)\) in \(\Lambda_n\), if \(|u_i-v_i|\le 1\), for all \(i\in\{1, \ldots,n\}\), and as \(n+1\), otherwise. Such codes are extended to superlattice graphs \(\Gamma_n\) obtained by glueing ternary \(n\)-cubes along their codimension 1 ternary subcubes in such a way that each binary \(n\)-subcube is contained in a unique maximal lattice of \(\Gamma_n\). The existence of an infinite number of isolated perfect truncated-metric codes of radius 2 in \(\Gamma_n\) for \(n=2\) is ascertained, leading to conjecture such existence for \(n>2\) with radius \(n\).
- Retraction Note
- https://doi.org/10.61091/jcmcc127b-536
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 127b
- Pages: 9749
- Published Online: 22/06/2025




