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/um124-07
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 115-127
- Published Online: 26/09/2025
We obtain several results towards the proof that the necessary conditions are sufficient for the existence of a GDD\((n_1 = 1, n_2 = n, 4; \lambda_1, \lambda_2)\) where \(\lambda_1 \ge \lambda_2\). We also have some general results including the constructions for larger block sizes as well as when the first group size \(n_1\) is not 1 or \(\lambda_1 < \lambda_2\).
- Research article
- https://doi.org/10.61091/um124-06
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 101-114
- Published Online: 26/09/2025
We introduce a new arc in directed graphs of integers. Our arcs are determined by the values of the popular arithmetic functions such as the divisor function \(\tau\), the prime divisors counting functions \(\omega\) and \(\Omega\), and the sum of digits function \(s_b\), evaluated at the multiples \(N\) of a particular integer. Among other things, we determine the positive integers that have arcs to all except a finite number of positive integers. We also propose some possible research problems at the end of this article.
- Research article
- https://doi.org/10.61091/um124-05
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 83-100
- Published Online: 26/09/2025
Let \(G\) be a plane graph with vertex, edge, and region sets \(V(G), E(G), F(G)\) respectively. A zonal labeling of a plane graph \(G\) is a labeling \(\ell: V(G)\rightarrow \{1,2\}\subset \mathbb{Z}_3\) such that for every region \(R\in F(G)\) with boundary \(B_R\), \(\sum\limits_{v\in V(B_R)}\ell(v)=0\) in \(\mathbb{Z}_3\). We extend this to general abelian groups, defining a \(\Gamma\)-zonal labeling as a labeling \(\ell:V(G)\rightarrow \Gamma\setminus \{0\}\) such that for every region \(R\in F(G)\), \(\sum\limits_{v \in V(B_R)}\ell(v)\) is \(0\). We explore existence of \(\Gamma\)-zonal labelings for various families of graphs. We also introduce two variations: generative and strong \(\Gamma\)-zonal labelings. A generative \(\Gamma\)-zonal labeling is one in which the elements used to label the vertices generate the group \(\Gamma\). A strong \(\Gamma\)-zonal labeling is a labeling in which the additive order of \(\ell(v)\) is equal to \(\deg(v).\) Examples and existence results are provided for both variations. It is shown that strong \(\Gamma\)-zonal labelings have a connection to edge colorings that generalizes the connection between zonal labelings and proper edge \(3\)-colorings of cubic maps.
- Research article
- https://doi.org/10.61091/um124-04
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 53-81
- Published Online: 26/09/2025
In this paper, \(k\)-domination is considered for the king’s, queen’s, knight’s, and bishop’s graphs for square boards of any dimension size. We also consider \(k\)-tuple total domination for the queen’s and bishop’s graphs for square boards as well.
- Research article
- https://doi.org/10.61091/um124-03
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 39-52
- Published Online: 26/09/2025
Finite games in normal form and their mixed extensions are a corner stone of noncooperative game theory. Often generic finite games and their mixed extensions are considered. But the properties which one expects in generic games and the existence of games with these properties are often treated only in passing. The paper considers strong properties and proves that generic games have these properties. The space of mixed strategy combinations is embedded in a natural way into a product of real projective spaces. All relevant hypersurfaces extend to this bigger space. The paper shows that for all games in the complement of a semialgebraic subset of codimension at least one all relevant hypersurfaces in the bigger space are smooth and maximally transversal. The proof uses the theorem of Sard and follows an argument of Khovanskii.
- Research article
- https://doi.org/10.61091/um124-02
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 25-37
- Published Online: 26/09/2025
A proper \(k\)-coloring \(\alpha\) of a graph \(G\) induces a partition \(\Pi = \{C_1, C_2, \dots, C_k\}\), where \(C_i = \{v \in V(G) \mid \alpha(v) = i\}\). The color code of a vertex \(v \in V(G)\) with respect to \(\Pi\) is defined as the tuple \(c_{\Pi}(v) = (d(v, C_1), d(v, C_2), \dots, d(v, C_k))\), where \(d(v, C_i)\) represents the distance from \(v\) to the set \(C_i\). A proper \(k\)-coloring \(\alpha\) is called a locating \(k\)-coloring of \(G\) if \(\alpha\) induces a partition \(\Pi\) such that for any two distinct vertices \(u, v \in V(G)\), it holds that \(c_{\Pi}(u) \neq c_{\Pi}(v)\). The locating chromatic number of \(G\), denoted \(\chi_L(G)\), is the smallest \(k\) for which a locating \(k\)-coloring of \(G\) exists. In this paper, we establish a connection between the locating \(k\)-coloring of \(C_n(1,2,\dots,t) + K_m\) and the union of graphs \(\bigcup_{i=1}^p C_{n_i} + K_m\), leveraging properties of simple cycles in directed graphs. Using this connection, we determine the locating chromatic number of \(C_n(1,2,\dots,t) + K_m\) for \(t = 2\) and \(n \in [6, 28]\), as well as for \(t = 3\) and \(n \in [8, 24]\).
- Research article
- https://doi.org/10.61091/um124-01
- Full Text
- Utilitas Mathematica
- Volume 124
- Pages: 3-24
- Published Online: 26/09/2025
We characterize line digraphs of polytrees, including several of their well-known subclasses. For a given undirected tree, we characterize its orientations with weak line digraphs, and count the exact number. Furthermore, we find the minimum, maximum, and average sizes of these line digraphs. We provide an explicit formula for the number of weak components in line digraphs of polytrees in terms of the inner sources and sinks. Additionally, we count the average number of weak components in them among all orientations of a fixed tree. Finally, we propose an algorithm for finding weak components in line digraphs of polytrees.
- Research article
- https://doi.org/10.61091/cn236-04
- Full Text
- Congressus Numerantium
- Volume 236
- Pages: 55-63
- Published Online: 23/09/2025
Let \(G\) be a loopless connected graph. A graph \(G\) is reduced if it contains no collapsible subgraph. Catlin (posted by Chen and Lai [9]) conjectured that every connected reduced graph is either 2-colorable or 3-colorable. A weaker conjecture states that the independence number of a connected reduced graph \(G\) is at least one-third of its number of vertices. In this paper, we establish a lower bound on the independence number in reduced graphs. As an application, we examine the independence number conjecture for reduced graphs with a given upper bound on the number of vertices. Also, we investigate the chromatic number of reduced planar graphs under given conditions.
- Research article
- https://doi.org/10.61091/cn236-03
- Full Text
- Congressus Numerantium
- Volume 236
- Pages: 41-53
- Published Online: 04/09/2025
Graph pebbling is a network optimization method modeling the movement of resources in transit. A pebbling move on a connected graph \(G\) removes two pebbles from a vertex, places one on an adjacent vertex, and discards the other, with the loss analogous to packet loss in communication networks. The generalized version, \(t\)-pebbling, defines the \(t\)-pebbling number \(f_t(G)\) as the smallest integer such that, from any distribution of \(f_t(G)\) pebbles, \(t\) pebbles can be moved to any vertex \(v\) via a pebbling sequence. A graph satisfies the \(2t\)-pebbling property if \(2t\) pebbles can be transferred to \(v\) when \(2f_t(G)-q+1\) pebbles are distributed, where \(q\) is the number of occupied vertices. This paper establishes a lower bound for the rooted product of two graphs \(G\) and \(H\), sharp when one factor is a path, complete graph, or star. Further results on pebbling in triangle-free graphs are also obtained, including verification of the \(2t\)-pebbling property for rooted products involving such graphs.
- Research article
- https://doi.org/10.61091/ojac20-02
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 20, 2025
- Pages: 1-9(Paper #2)
- Published Online: 04/09/2025
This note derives asymptotic upper and lower bounds for the number of planted plane trees on \(n\) nodes assigned labels from the set \(\{1, 2, \dots, k\}\) with the restriction that on any path from the root to a leaf, the labels must strictly decrease. We illustrate an application to calculating the largest eigenvalue of the adjacency matrix of a tree.




