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/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.
- Research article
- https://doi.org/10.61091/um123-16
- Full Text
- Utilitas Mathematica
- Volume 123
- Pages: 205-216
- Published Online: 30/06/2025
Let \(k\ge 1\) be an integer. Let \(G=(V,E)\) be a connected graph with \(n\) vertices and \(m\) edges. Suppose fires break out at two adjacent vertices. In each round, a firefighter can protect \(k\) vertices, and then the fires spread to all unprotected neighbors. For \(uv\in E(G)\), let \(sn_{k}(uv)\) denote the maximum number of vertices the firefighter can save when fires break out at the ends of \(uv\). The \(k\)-edge surviving rate \(\rho'_k(G)\) of \(G\) is defined as the average proportion of vertices saved when the starting vertices of the fires are chosen uniformly at random over all eages, i.e., \(\rho'_k(G)=\sum\limits_{uv\in E(G)}sn_{k}(uv)/nm\). In particular, we write \(\rho'(G)=\rho'_1(G)\). For a given class of graphs \(\mathcal{G}\) and a constant \(\varepsilon>0\), we seek the minimum value \(k\) such that \(\rho'_k(G)>\varepsilon\) for all \(G\in \mathcal{G}\). In this paper, we prove that for Halin graphs, this minimum value is exactly 1. Specifically, every Halin graph \(G\) satisfies \(\rho'(G)> 1/12\).
- Research article
- https://doi.org/10.61091/ars163-08
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 113-121
- Published Online: 28/06/2025
We consider a ring \(R_{u^3} = \mathbb{F}_2+u\mathbb{F}_2+u^2\mathbb{F}_2+u^3\mathbb{F}_2, u^4=0\). We discuss the structure of self-dual codes, Type I codes and Type II codes over the ring \(R_{u^3}\) in terms of the structure of their Torsion and Residue codes. We construct Type I and Type II optimal codes over the ring \(R_{u^3}\) for different lengths.
- Research article
- https://doi.org/10.61091/ars163-07
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 93-111
- Published Online: 28/06/2025
Magic squares are known to mankind since ages. With their eye catching properties, they have attracted and inspired researchers to further explore and work with them. The present paper is written with an aim to explore the usefulness of magic squares in the construction of partially balanced incomplete block (PBIB) designs. In this regard, we have proposed a new method for the construction of magic squares and studied their properties. We have also established a link between these properties and some existing association schemes. We have then introduced four new association schemes using these properties which have been later used for the construction of PBIB designs.
- Research article
- https://doi.org/10.61091/ars163-06
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 83-92
- Published Online: 28/06/2025
We consider a vertex-coloring problem where the amount one pays for using a color is a function of how many times the color is used. For a cost-function \(f\), we define the \(f\)-chromatic number of graph \(G\) as the minimum cost of a (proper) coloring of \(G\), and focus on the case that the marginal costs \(f(i+1)-f(i)\) are non-increasing. We provide bounds for general graphs, for specific classes of graphs, and for some operations on graphs. We also consider the number of colors used in an optimal coloring, and for example, characterize the trees where the bipartite coloring is not always optimal.
- Research article
- https://doi.org/10.61091/ars163-05
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 69-82
- Published Online: 28/06/2025
Let \(q\) be a positive integral power of some prime \(p\) and \(\mathbb{F}_{q^m}\) be a finite field with \(q^m\) elements for some \(m \in \mathbb{N}\). Here we establish a sufficient condition for the existence of primitive normal pairs of the type \((\epsilon, f(\epsilon))\) in \(\mathbb{F}_{q^m}\) over \(\mathbb{F}_{q}\) with two prescribed traces, \(\text{Tr}_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(\epsilon)=a\) and \(\text{Tr}_{{\mathbb{F}_{q^m}}/{\mathbb{F}_q}}(f(\epsilon))=b\), where \(f(x) \in \mathbb{F}_{q^m}(x)\) is a rational function with some restrictions and \(a, b \in \mathbb{F}^*_q\). Furthermore, for \(q=5^k\), \(m \geq 9\) and rational functions with degree sum 4, we explicitly find at most 13 fields in which the desired pair may not exist.
- Research article
- https://doi.org/10.61091/ars163-04
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 51-67
- Published Online: 28/06/2025
Let \(G = (V(G), E(G))\) be a simple connected graph. The inverse sum indeg index of \(G\), denoted by \(\text{ISI}(G)\), is defined as the sum of the weights \(\frac{d(u)d(v)}{d(u) + d(v)}\) of all edges \(uv\) of \(G\), where \(d(u)\) denotes the degree of a vertex in \(G\). In this paper, we first present some lower and upper bound for \(ISI\) index in terms of graph parameters such as maximum degree, minimum degree and clique number. Moreover, we compute \(ISI\) index of several graph operations like join, cartesian product, composition, corona and strong product of graphs.
- Research article
- https://doi.org/10.61091/ars163-03
- Full Text
- Ars Combinatoria
- Volume 163
- Pages: 29-49
- Published Online: 28/06/2025
We consider the eternal distance-2 domination problem, recently proposed by Cox, Meger, and Messinger, on trees. We show that finding a minimum eternal distance-2 dominating set of a tree is linear time in the order of the graph by providing a fast algorithm. Additionally, we characterize trees that have eternal distance-2 domination number equal to their domination number or their distance-2 domination number, {along with trees that are} eternal distance-2 domination critical. We conclude by providing general upper and lower bounds for the eternal distance-k domination number of a graph. We construct an infinite family of trees which meet said upper bound and another infinite family of trees whose eternal distance-k domination number is within a factor of 2 of the given lower bound.




