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/ars165-05
- Full Text
- Ars Combinatoria
- Volume 165
- Pages: 63-77
- Published Online: 25/12/2025
An open-dominating set \(S\) for a graph \(G\) is a subset of vertices where every vertex has a neighbor in \(S\). An open-locating-dominating set \(S\) for a graph \(G\) is an open-dominating set such that each pair of distinct vertices in \(G\) have distinct set of open-neighbors in \(S\). We consider a type of a fault-tolerant open-locating dominating set called error-detecting open-locating-dominating sets. We present more results on the topic including its NP-completeness proof, extremal graphs, and a characterization of cubic graphs that permit an error-detecting open-locating-dominating set.
- Research article
- https://doi.org/10.61091/ars165-04
- Full Text
- Ars Combinatoria
- Volume 165
- Pages: 45-61
- Published Online: 25/12/2025
In this paper, we explore some interesting applications of the matrix tree theorem. In particular, we present a combinatorial interpretation of a distribution of \((n-1)^{n-1}\), in the context of uprooted spanning trees of the complete graph \(K_{n}\), which was previously obtained by Chauve–Dulucq–Guibert. Additionally, we establish a combinatorial explanation for the distribution of \(m^{n-1}n^{m-1}\), related to spanning trees of the complete bipartite graph \(K_{m,n}\), which seems new. Furthermore, we extend this study to the graph \(K_{n}\setminus \{e_{1,n}\}\), obtained by deleting an edge from \(K_n\), and derive a new identity for the number of its uprooted spanning trees.
- Research article
- https://doi.org/10.61091/ars165-03
- Full Text
- Ars Combinatoria
- Volume 165
- Pages: 31-43
- Published Online: 25/12/2025
The domatic number of a graph is the maximum number of pairwise disjoint dominating sets admitted by the graph. We introduce a game based around this graph invariant. The domatic number game is played on a graph \(G\) by two players, Alice and Bob, who take turns selecting a vertex and placing it into one of \(k\) sets. Alice is trying to make each of these sets into a dominating set of \(G\) while Bob’s goal is to prevent this from being accomplished. The maximum \(k\) for which Alice can achieve her goal when both players are playing optimal strategies, is called the game domatic number of \(G\). There are two versions of the game and two resulting invariants depending on whether Alice or Bob is the first to play. We prove several upper bounds on these game domatic numbers of arbitrary graphs and find the exact values for several classes of graphs including trees, complete bipartite graphs, cycles and some narrow grid graphs. We pose several open problems concerning the effect of standard graph operations on the game domatic number as well as a vexing question related to the monotonicity of the number of sets available to Alice.
- Research article
- https://doi.org/10.61091/ars165-02
- Full Text
- Ars Combinatoria
- Volume 165
- Pages: 21-30
- Published Online: 25/12/2025
Sparse magic squares are a generalization of magic squares and can be used to the magic labeling of graphs. An \(n\times n\) array based on \(\mathcal{X}\)\(=\{0,1,\cdots,nd\}\) is called a sparse magic square of order \(n\) with density \(d\) (\(d<n\)), denoted by SMS\((n,d)\), if each non-zero element of \(\mathcal{X}\) occurs exactly once in the array, and its row-sums, column-sums and two main diagonal sums is the same. An SMS\((n,d)\) is called pandiagonal (or perfect) denoted by PSMS\((n,d)\), if the sum of all elements in each broken diagonal is the same. A PSMS\((n,d)\) is called regular if there are eactly \(d\) positive entries in each row, each column and each main diagonal. In this paper, some construction of regular pandigonal sparse magic squares is provided and it is proved that there exists a regular PSMS\((n,6)\) for all positive integer \(n\equiv 5 \pmod{6}\), \(n>6\).
- Research article
- https://doi.org/10.61091/ars165-01
- Full Text
- Ars Combinatoria
- Volume 165
- Pages: 3-19
- Published Online: 25/12/2025
Two graphs are said to be \(Q\)-cospectral (respectively, \(A\)-cospectral) if they have the same signless Laplacian (respectively, adjacency) spectrum. A graph is said to be \(DQS\) (respectively, \(DAS\)) if there is no other non-isomorphic graphs \(Q\)-cospectral (respectively, \(A\)-cospectral) with it. A tree on \(n\) vertices with maximum degree \(d_1\) is called starlike and denoted by \(ST(n, d_1)\), if it has exactly one vertex with the degree greater than 2. A tree is called double starlike if it has exactly two vertices of degree greater than 2. If we attach \(p\) pendant vertices (vertices of degree 1) to each of pendant vertices of a path \(P_n\), the the resulting graph is called the double starlike tree \(H_n(p,p)\). In this article, we prove that all double starlike trees \(H_n(p,p)\) are \(DQS\), where \(p\geq 1, n\geq 2\) and \(p\) denotes . In addition, by a simple method, we show that all starlike trees are \(DQS\) excluding \(K_{1,3}=ST(4,3)\).
- Research article
- https://doi.org/10.61091/um125-10
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 131-140
- Published Online: 25/12/2025
In the present paper, we are interested in the distribution of the elements lying along the Raab direction in the binomial coefficients triangle. More precisely, we prove that the sequence \(\{\binom{n-rk}{k}\}_{0\leq k \leq \lfloor n/(r+1)\rfloor}\) is asymptotically distributed according to a Gaussian law. We also provide some experimental evidences.
- Research article
- https://doi.org/10.61091/um125-09
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 121-129
- Published Online: 25/12/2025
We determine the maximum number of edges of a graph without containing the 2-power of a Hamilton path. Using this result, we establish a spectral condition for a graph containing the 2-power of a Hamilton path. Furthermore, we characterized the extremal graphs with the largest spectral radius that do not contain the 2-power of a Hamilton path.
- Research article
- https://doi.org/10.61091/um125-08
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 109-119
- Published Online: 25/12/2025
We introduce the ID-index of a finite simple connected graph. For a graph \(G=(V,\ E)\) with diameter \(d\), we let \(f:V\longrightarrow \mathbb{Z}\) assign ranks to the vertices. Then under \(f\), each vertex \(v\) gets a string, which is a \(d\)-vector with the \(i\)-th coordinate being the sum of the ranks of the vertices that are of distance \(i\) from \(v\). The ID-index of \(G\), denoted by \(IDI(G)\), is defined to be the minimum number \(k\) for which there is an \(f\) with \(|f(V)|=k\), such that each vertex gets a distinct string under \(f\). We present some relations between ID-graphs, which were defined by Chartrand, Kono, and Zhang, and their ID-indices; give a lower bound on the ID-index of a graph; and determine the ID-indices of paths, grids, cycles, prisms, complete graphs, some complete multipartite graphs, and some caterpillars.
- Research article
- https://doi.org/10.61091/um125-07
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 103-108
- Published Online: 25/12/2025
We prove that the class of trees with unique minimum edge-vertex dominating sets is equivalent to the class of trees with unique minimum paired dominating sets.
- Research article
- https://doi.org/10.61091/um125-06
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 93-102
- Published Online: 25/12/2025
We investigate properties and structure of \(zero \ divisor \ graph\) of endomorphism ring of direct product of cyclic groups \(\mathbb{Z}_n\). We provide a method to determine the number of zero divisors of \(End(\mathbb{Z}_2 \times \mathbb{Z}_{2p})\), for some prime \(p\). We proved that minimum distance between any two vertices of \(zero \ divisor \ graph\) of \(End(\mathbb{Z}_m \times \mathbb{Z}_m)\) is 2.




