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/ojac20-01
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 20, 2025
- Pages: 1-20(Paper #1)
- Published Online: 04/09/2025
Let US be the class of all ultrametric spaces generated by labeled star graphs. We prove that compact US-spaces are the completions of totally bounded ultrametric spaces generated by decreasingly labeled rays. We characterize the ultrametric spaces which are weakly similar to finite US-spaces and describe these spaces by certain four-point conditions.
- Research article
- https://doi.org/10.61091/cn236-02
- Full Text
- Congressus Numerantium
- Volume 236
- Pages: 15-39
- Published Online: 24/08/2025
It is known that null graphs are the only (regular) graphs with local antimagic chromatic 1 and 1-regular graphs are the only regular graphs without local antimagic chromatic number. In this paper, we first use matrices of size \((2m+1) \times (2k+1)\) to completely determine the local antimagic chromatic number of the join of null graphs \(O_m\) and 1-regular graphs \((2k+1)P_2\) for all \(k\ge 1, m\ge 2\). We then make use of other matrices of same size to obtain the local antimagic chromatic number of another family of tripartite graphs. Consequently, we obtained infinitely many (possibly disconnected) regular tripartite graphs with local antimagic chromatic number 3.
- Research article
- https://doi.org/10.61091/cn236-01
- Full Text
- Congressus Numerantium
- Volume 236
- Pages: 3-13
- Published Online: 24/08/2025
Let \(2\le k\in\mathbb{Z}\). We say that a total coloring of a \(k\)-regular simple graph via \(k+1\) colors is an efficient total coloring if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. We prove that Hamming shells of star transposition graphs and Hamming cubes have efficient total colorings. Also in this work, a focus is set upon the graphs of girths \(2k\) and \(k\). Efficient total colorings of finite connected simple cubic graphs of girth 6 are constructed. These are of two specific types, namely: (a) those whose 6-cycles use just 3 colors with antipodal monochromatic pairs of vertices or edges; (b) those whose 6-cycles do not respect item (a) so they use four colors. An orthogonality property holds for all graphs of type (a). Such orthogonality property allows further edge-half-girth colorings in the corresponding prism graphs.
- Research article
- https://doi.org/10.61091/jcmcc126-25
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 351-362
- Published Online: 24/08/2025
Graph Theory was started by Euler after solving the famous Konigsberg bridge problem. The Graph Coloring is among one of the famous topic for research since it has many beautiful theorems on optimization and its applications in numerous fields of science. The Pi coloring is the coloring of graph parts without a recurring pattern. As a result, it is defined as a function from a set of graph elements with similar properties to the power set of colors, so that each set receives a different color set from the power set. In consequence, Incident Vertex Pi coloring of a graph is defined as the coloring of incident vertices for every single edge with Pi coloring. Incident Vertex Pi coloring of the complete graph is \(n\), wheel graph, star graph and double star graph is \(n+1\), diamond, friendship graphs is \(\Delta +1\), and double fan graph is \(\Delta +2\). In this research, we derived the Incident Vertex PI coloring of Star and Double Star graph’s Middle graph, Total graph, Line graph, and Splitting graph.
- Research article
- https://doi.org/10.61091/jcmcc126-24
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 339-350
- Published Online: 24/08/2025
For a graph \(G\) with a (not necessarily proper) vertex coloring, a set \(D\subseteq V(G)\) is a polychromatic dominating set of \(G\) if it is a dominating set and each vertex in \(D\) is a different color. The polychromatic domination number of \(G\), \(\rho(G)\), is the minimum number of colors such that, for any \(\rho(G)\)-coloring (with exactly \(\rho(G)\) colors) of the vertices of \(G\), there exists a polychromatic dominating set of \(G\). This paper begins the exploration of the polychromatic domination number. In particular we give tight upper and lower bounds for \(\rho(G)\) both of which are functions of the minimum degree of \(G\).
- Research article
- https://doi.org/10.61091/jcmcc126-23
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 317-338
- Published Online: 24/08/2025
A novel approach to building strong starters in cyclic groups of orders \(n\) divisible by 3 from starters of smaller orders is presented. A strong starter in \(\mathbb{Z}_n\) (\(n\) odd) is a partition of the set \(\{1,2,\dots,n-1\}\) into pairs \(\{a_i,b_i\}\) such that all pair sums \(a_i+b_i\) are distinct and nonzero modulo \(n\) and all differences \(\pm(a_i-b_i)\) are distinct and nonzero modulo \(n\). A special interest to strong starters of odd orders divisible by 3 is motivated by Horton’s conjecture, which claims that such starters exist (except when \(n=3\) or \(9\)) but remains unproven since 1989. We begin with a starter of order \(p\) coprime with 3 and describe an algorithm to obtain a Sudoku-type problem modulo 3 whose solution, if exists, yields a strong starter of order \(3p\). The process leading from the original to the final starter is called triplication. Besides theoretical aspects of the construction, practicality of this approach is demonstrated. A general-purpose constraint-satisfaction (SAT) solver z3 is used to solve the Sudoku-type problem; various performance statistics are presented.
- Research article
- https://doi.org/10.61091/jcmcc126-22
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 126
- Pages: 315-321
- Published Online: 22/07/2025
Let Pn + 1, Cn and Sn represent a path, cycle, and star with n edges, Qn denote the n-dimensional hypercube graph. The (ℋ1, ℋ2)−multidecomposition of G for graphs ℋ1, ℋ2, and G is a decomposition of G into copies of ℋ1 and ℋ2, where there is at least one copy of ℋ1 and at least one copy of ℋ2. In this paper, we prove that the graph Qn is (Sn − 2, C4)−multidecomposable for n ≥ 4 and (Sn − 4, P5)−multidecomposable for n ≥ 5.
- Research article
- https://doi.org/10.61091/ojac19-02
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 19, 2024
- Pages: 1-8(Paper #2)
- Published Online: 30/12/2024
The Erdős-Anning Theorem states that an integer distance set in the Euclidean plane must have all of its points on a single line or is finite. However, this is not true if we consider area sets. That is, if \((x_1,y_1)\) and \((x_2,y_2)\) are any two vectors contained in the integer lattice, then the area of the parallelogram determined by the two vectors is an integer, showing that the points do not have to lie on a line. We prove a finite field version of these results for \(d=2\) and \(d=3\), showing that if \(E \subset \Bbb{F}_q^d, q=p^2\), where \(p\) is an odd prime and the distance set of \(E\) is \(\Bbb{F}_p\), then the size of \(E\) is at most \(p^d\). Furthermore, we prove that if the area set of \(E\) is a subset of \(\Bbb{F}_p\), then the size of \(E\) is at most \(p^2\) in two dimensions.
- Research article
- https://doi.org/10.61091/ojac19-01
- Full Text
- Online Journal of Analytic Combinatorics
- Issue 19, 2024
- Pages: 1-26(Paper #1)
- Published Online: 30/12/2024
Let Fn denote the n-th Fibonacci number defined by Fn = Fn − 1 + Fn − 2 if n ≥ 2, with F0 = 0 and F1 = 1. In this paper, we find determinant identities for several Toeplitz–Hessenberg matrices whose nonzero entries are derived from the sequence kn + m for various fixed m, where kn = Fn − 1. These results may be obtained algebraically as special cases of more general formulas involving the Horadam numbers and the generating functions for the associated sequences of determinants. Equivalent multi-sum identities featuring sums of products of kn terms with multinomial coefficients may be given, which follow from Trudi’s formula. Connections are made to several OEIS entries that have arisen previously in other contexts, perhaps most notably the Padovan number sequence. Finally, we provide combinatorial proofs of our identities involving kn by enumerating (or finding the sum of signs of) various classes of tilings containing squares, dominos, trominos and a special type of tile which can be of arbitrary length.
- Research article
- https://doi.org/10.61091/ars163-09
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 123-139
- Published Online: 30/06/2025
In this paper, we study additional aspects of the capacity distribution on the set ℬn of compositions of n consisting of 1’s and 2’s extending recent results of Hopkins and Tangboonduangjit. Among our results are further recurrences for this distribution as well as formulas for the total capacity and sign balance on ℬn. We provide algebraic and combinatorial proofs of our results. We also give combinatorial explanations of some prior results where such a proof was requested. Finally, the joint distribution of the capacity statistic with two further parameters on ℬn is briefly considered.




