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.

Brian D’Souza1, Jessica Pereira1
1School of Physical and Applied Sciences, Goa University, Taleigao Plateau, Goa 403206, India
Abstract:

We prove the following necessary conditions for signed graphs on complete graphs to admit additive graceful labelings, thus considerably narrowing down the search for such labelings. If a signed graph on a complete graph \(K_p, ~p\not = 4\), with \(n\) negative and \(m\) positive edges, admits an additively graceful labeling, then (1) \(p\), \(p-2\) or \(p-4\) must be a perfect square, (2) If \(p\) is a perfect square then, both \(m\) and \(n\) are even, (3) If \(p-4\) is a perfect square then, both \(m\) and \(n\) are odd, (4) If \(p-2\) is a perfect square then, \(m\) and \(n\) have opposite parity and (5) The number of odd and even labeled vertices in \(S\) are \(\frac{p+\sqrt{p-i}}{2}\) and \(\frac{p-\sqrt{p-i}}{2}\) according as \(p-i\) is a perfect square, \(i=0,2\) or \(4\). We also provide an example to show that, if a signed graph \(S\) with no negative edges is additively graceful then, \(S\) as a graph need not be graceful. Interestingly, this example also settles 3 more open problems concerning gracefulness and edge consecutive gracefulness (ecg), thereby demonstrating that ecg or \(m\)-gracefulness is not a reliable measure of gracefulness.

Linda Green1, Yadunand Sreelesh1, Saanvi Arora1
1University of North Carolina at Chapel Hill, Chapel Hill, NC, USA
Abstract:

A (3, 6)-fullerene is a cubic planar graph whose faces all have 3 or 6 sides. We give an exact enumeration of (3, 6)-fullerenes with V vertices. We also enumerate (3, 6)-fullerenes with mirror symmetry, with 3-fold rotational symmetry, and with both types of symmetry. The resulting formulas are expressed in terms of the prime factorization of V.

Andrei Zabolotskii1
1School of Mathematics and Statistics, The Open University, Milton Keynes, MK7 6AA, United Kingdom
Abstract:

What are the collections of sets \({A}_i\subset\mathbb{Z}\) such that any \(n\in\mathbb{Z}\) has exactly one representation as \(n=a_0+a_1+\dotsb\) with \(a_i\in{A}_i\)? The answer for \(\mathbb{N}_0\) instead of \(\mathbb{Z}\) is given by a theorem of de Bruijn. We describe a family of natural candidate collections for \(\mathbb{Z}\), which we call canonical collections. Translating the problem into the language of dynamical systems, we show that the question of whether the sumset of a canonical collection covers the entire \(\mathbb{Z}\) is difficult: specifically, there is a collection for which this question is equivalent to the Collatz conjecture, and there is a well-behaved family of collections for which this question is equivalent to the universal halting problem for Fractran and is therefore undecidable.

Alexander Bastien1, Omid Khormali1
1Department of Mathematics, University of Evansville, Evansville, Indiana 47722, USA
Abstract:

We extend the study of link-irregular graphs to directed graphs (digraphs), where a digraph is link-irregular if no two vertices have isomorphic directed links. We establish that link-irregular digraphs exist on n vertices if and only if n ≥ 5, and prove that their underlying graphs must contain 3-cycles. We conjecture that link-irregular tournaments exist if and only if n ≥ 6, providing explicit constructions for n ≤ 8 and computational verification for n ≤ 100. We derive lower bounds on the minimum degree and outdegree required for link-irregularity, establish that almost all link-irregular digraphs are nonplanar, and prove that any link-irregular orientable graph admits a link-irregular labeling. Additionally, we construct explicit examples of link-irregular digraphs with constant outdegree and regular tournaments.

Yonghua Fan1
1Department of Economics and Trade, Yongcheng Vocational College, Yongcheng, Henan, 476600, China
Abstract:

In food processing, effective optimization of process parameters can improve product quality, reduce production costs, and shorten production cycles. This paper improves the traditional particle swarm optimization algorithm by introducing an adaptive learning factor and an elite particle variation strategy, thereby balancing global search and local convergence while preventing particle aggregation and local optima. Using kimchi as a case study, an optimization model including fermentation temperature and other variables is developed, and the improved algorithm is applied to the multi-objective optimization of processing parameters to achieve optimal product quality. Experimental results are compared with those of the traditional particle swarm algorithm and the response surface method. The findings show that the improved model requires only 43 iterations and reduces final risk loss by 14.26%, outperforming the other two methods, which require 52 and 100 iterations, respectively. Thus, the improved particle swarm optimization model can effectively shorten the optimization cycle and reduce the cost of food-processing parameter optimization.

Travis Dillon1, Adrian Dumitrescu2
1Massachusetts Institute of Technology, Cambridge, MA 02139-4307, USA
2Algoresearch L.L.C., Milwaukee, WI, USA; and Research Institute of the University of Bucharest, Romania; and Alfréd Rényi Institute of Mathematics, Budapest, Hungary
Abstract:

How efficiently can a closed curve of unit length in \(\mathbb{R}^d\) be covered by \(k\) closed curves so as to minimize the maximum length of the \(k\) curves? We show that the maximum length is at most \(2k^{-1} – \frac{1}{4} k^{-4}\) for all \(k\geq 2\) and \(d \geq 2\). As a first byproduct, we show that \(k\) agents can traverse a Euclidean TSP instance significantly faster than a single agent. We thereby sharpen recent planar results by Berendsohn, Kim, and Kozma (2025) and extend these improvements to all dimensions. As a second byproduct, we obtain a linear time approximation algorithm with ratio \(2 – \frac{1}{4} k^{-3}\) for covering any closed polygonal curve in \(\mathbb{R}^d\) by \(k\) closed curves so that the maximum length of an individual curve is minimized.

Lucas Mader1, Sarbari Mitra1
1Department of Mathematics, Fort Hays State University, Hays, Kansas, United States
Abstract:

A Fibonacci cordial (FC) labeling of a graph G is an injective function f : V(G) → {F0, F1, …, Fn}, where Fi is the ith Fibonacci number, such that the induced edge labeling f*(uv) = (f(u) + f(v)) (mod  2) satisfies |ef(0) − ef(1)| ≤ 1. A graph admitting such a labeling is called a Fibonacci cordial. First introduced by Rokad and Ghodasara (2016), FC labeling has been studied for several graph families. Mitra and Bhoumik (2020) extended this to complete graphs, cycles, and their corona (Cn and Kp for p ≤ 3). Motivated to build upon their work, we investigate Cn ⊙ Kp for p ≥ 4. Additionally, we examine whether the aforementioned family of corona graphs retains Fibonacci cordiality when alterations are made to the order of the corona, as observed in the family Kn ⊙ Cm. Moreover, we investigate the conditions under which two additional corona graph families, namely Km ⊙ Km and Kn, n ⊙ Kp, exhibit Fibonacci cordial labeling.

Feng Lv1, Zuosong Liang1
1School of Mathematics, Guangxi Minzu University, Nanning 530006, China
Abstract:

A graph is near-bipartite if its vertex set can be partitioned into two parts such that one part is an independent set and the other induces a forest. It is clear that near-bipartite graphs are 3-colorable. It was proved that planar graphs without 4-, 5– and 8-cycles are 3-colorable [Discuss. Math. Graph Theory, 31(2011): 775-789]. It is asked by Kang et al that whether it is true that the planar graphs without 4-, 5– and 8-cycles are near-bipartite [Discuss. Math. Graph Theory 45 (2025) 129-145]. A 6-cycle is called a special 6-cycle if this 6-cycle shares an edge with a triangle of G. In this paper, we prove that planar graphs without 4-, 5-, 8-cycles and special 6-cycles are near-bipartite which is a step toward the problem.

Dhilshath Shajahan1
1Department of Mathematics, Sri Sairam Engineering College, Sai Leo Nagar, West Tambaram, Chennai-600044, India
Abstract:

We study a modular generalization of the (σ, ρ)-Dominating Set problem on graphs of bounded treewidth, where vertices must satisfy neighborhood constraints modulo a fixed integer m. We present a dynamic programming algorithm over tree decompositions that achieves a runtime of O(n ⋅ (2m)2tw + 2) and space usage O(n ⋅ (2m)tw + 1), establishing fixed-parameter tractability when both treewidth tw and log m are treated as parameters. We prove this bound exhibits the correct exponential dependence on twlog m, as this factor is inherent to modular constraint satisfaction under the Strong Exponential Time Hypothesis (SETH). Experimental evaluation on synthetic graphs confirms the algorithm’s efficiency for small values of tw and m, highlighting its applicability to network design, logic circuits, and distributed systems with modular constraints.

Shyam Saurabh1
1Department of Mathematics, Tata College, Kolhan University, Chaibasa, India
Abstract:

The solutions of some new triangular designs not tabulated in Clatworthy (1973) are presented here. These designs are known in the literature but re–presented here with more explicit block lists. As a by–product, resolvable solutions of some designs are also obtained. The work addresses a recognized gap in combinatorial design theory and appears to extend classical catalogs.

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;