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-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.
- Research article
- https://doi.org/10.61091/um125-05
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 83-91
- Published Online: 25/12/2025
Let \(G = (V, E)\) be a graph. The Gutman-Milovanović index of a graph \(G\) is defined as \(\sum\limits_{uv \in E} (d(u) d(v))^{\alpha}(d(u) + d(v))^{\beta}\), where \(\alpha\) and \(\beta\) are any real numbers and \(d(u)\) and \(d(v)\) are the degrees of vertices \(u\) and \(v\) in \(G\), respectively. In this note, we present sufficient conditions based on the Gutman-Milovanović index with \(\alpha > 0\) and \(\beta >0\) for some Hamiltonian properties of a graph. We also present upper bounds for the Gutman-Milovanović index of a graph for different ranges of \(\alpha\) and \(\beta\).
- Research article
- https://doi.org/10.61091/um125-04
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 61-81
- Published Online: 25/12/2025
Suppose \(G_1=(V_1, E_1)\) is a graph and \(G_2=(V_2, E_2)\) is a strong digraph of \(G_1\), where \(V_1\) and \(V_2\) represent the vertex sets, \(E_1\) and \(E_2\) represent the edge sets. Let \(u\) and \(v\) be any two vertices of \(G_2\). The strong distance \(sd(u,v)\) is the minimum value of edges in a strong subdiagraph of \(G_2\) that contains \(u\) and \(v\). The minimum strong diameter of \(G_2\) is defined as the maximum eccentricity \(se(u)\) from \(u\) to all other vertices in \(G_2\). In this paper, we propose different strong orientation methods to explore the minimum strong diameter of the strong product graph of \(K_{m_1,m_2,\ldots,m_k}\otimes P_n\), where \(K_{m_1,m_2,\ldots,m_k}\) and \(P_n\) represent respectively complete multipartite graph and path. In addition, based on strong orientation methods, a new algorithm is proposed to model the presence or absence of a minimum strong diameter in a strong product graph. Simulation experiments show a trend of simultaneous decrease and concentration in the minimum strong diameter of the strong product graph, as the value of parts in \(K_{m_1,m_2,\ldots,m_k}\) increases while the length of \(P_n\) remains constant.
- Research article
- https://doi.org/10.61091/um125-03
- Full Text
- Utilitas Mathematica
- Volume 125
- Pages: 43-60
- Published Online: 25/12/2025
We consider a joint ordered multifactorisation for a given positive integer \(n\geq 2\) into \(m\) parts, where \(n=n_1~\times~\ldots~\times~n_m\), and each part \(n_j\) is split into one or more component factors. Our central result gives an enumeration formula for all such joint ordered multifactorisations \(\mathcal{N}_m(n)\). As an illustrative application, we show how each such factorisation can be used to uniquely construct and so count the number of distinct additive set systems (historically referred to as complementing set systems). These set systems under set addition generate the first \(n\) non-negative consecutive integers uniquely and, when each component set is centred about 0, exhibit algebraic invariances. For fixed integers \(n\) and \(m\), invariance properties for \(\mathcal{N}_m(n)\) are established. The formula for \(\mathcal{N}_m(n)\) is comprised of sums over associated divisor functions and the Stirling numbers of the second kind, and we conclude by deducing sum over divisor relations for our counting function \(\mathcal{N}_m(n)\). Some related integer sequences are also considered.




