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.

Aubrey Blecher1, Arnold Knopfmacher1
1The John Knopfmacher Centre for Applicable Analysis and Number Theory, School of Mathematics, University of the Witwatersrand, Private Bag 3, Wits 2050, Johannesburg, South Africa
Abstract:

This paper fits in the intersection between two disparate areas of combinatorics. Namely, graph theory and the combinatorics of Catalan words. A Catalan word with n parts is defined as a word w = w1w2wn over the set of positive integers in which w1 = 1 and 1 ≤ wk ≤ wk − 1 + 1 for k = 2, 3, …, n. In order to study the intersection of the two areas, a specific type of graph called a grid graph is defined for each Catalan word. The main thrust of the paper is investigating the degrees of vertices in grid graphs. For each of the possible fixed degrees i ∈ {1, 2, 3, 4}, we find generating functions DFi(x) where the coefficient of xn is the total number of vertices of degree i in all grid graphs with n parts.

Elahe Mehraban1,2, T. Aaron Gulliver3, Reza Ebrahimi Atani4, Evren Hincal1,2,5
1Mathematics Research Center, Near East University TRNC, Mersin 10, 99138 Nicosia, Turkey
2Department of Mathematics, Near East University TRNC, Mersin 10, 99138 Nicosia, Turkey
3Department of Electrical and Computer Engineering, University of Victoria, Victoria, BC, V8W 2Y2, Canada
4Department of Computer Engineering, University of Guilan, Rasht, Iran
5Research Center of Applied Mathematics, Khazar University, Baku, Azerbaijan
Abstract:

This paper introduces Hadamard-type \(t\)-Fibonacci-Lehmer (HTFL) sequences, a new hybrid construction combining Lehmer and Fibonacci recurrences. We establish their fundamental properties, including simple periodicity, and extend the definition to finite groups, with a detailed study of the Heisenberg group. Building on these results, we propose two Diffie–Hellman-style key exchange protocols based on upper-triangular unipotent matrices parameterized by HTFL sequence terms. Our work thus connects sequence theory, group theory, and cryptography in a novel way. While the algebraic framework and periodicity analysis are rigorous, we present the cryptographic constructions primarily as a conceptual foundation. We also discuss potential security considerations and outline directions for strengthening these schemes under formal hardness assumptions. This study demonstrates that HTFL sequences provide a fertile ground for both combinatorial investigations and future cryptographic applications.

V. Manikandan1, S. Monikandan1
1Department of Mathematics, Manonmaniam Sundaranar University, Tirunelveli, Tamilnadu, India
Abstract:

A split graph is a graph in which the vertices can be partitioned into an independent set and a clique. We show that every nonsplit graph has at most four split maximal proper edge induced subgraphs. The exhaustive list of fifteen classes of nonsplit graphs having a split maximal proper edge induced subgraph is determined in this paper.

R. Lakshmi1,2, D. G. Sindhu3
1Department of Mathematics, Annamalai University, Annamalainagar 608 002, India
2Department of Mathematics, Dharumapuram Gnanambigai Government Arts College for Women, Mayiladuthurai 609 001, India
3St. Francis de Sales College (Autonomous), Electronics City Post, Bengaluru 560 100, India
Abstract:

A kernel \(J\) of a digraph \(D\) is an independent set of vertices of \(D\) such that for every \(z\in V(D)\backslash J\) there exists an arc from \(z\) to \(J.\) A digraph \(D\) is said to be kernel-perfect if every induced subdigraph of it has a kernel. We characterise kernel-perfectness in special families of digraphs, namely, the line digraph, the subdivision digraph, the middle digraph, the digraph \(R(D)\) and the total digraph. We also obtain some results on kernel-perfectness in the generalised Mycielskian of digraphs. Moreover, we find some new classes of kernel-perfect digraphs by introducing a new product on digraphs.

Xia Wang1, Lingping Zhong1, Guoqing Ding1
1School of Mathematics, Nanjing University of Aeronautics and Astronautics, Nanjing, 211106, China
Abstract:

The first, second Zagreb connection indices and modified first Zagreb connection index are defined as \(Z{C_1}(G)={\sum\limits_{{v\in V(G)}} {{\tau _G}^2(v)} }\), \(ZC{}_{2}(G)=\displaystyle\sum_{uv\in E(G)}^{}\tau{}_{G}(u)\tau{}_{G}(v)\) and \(ZC{}_{1}^{\ast }(G)=\displaystyle\sum_{v\in V(G)}^{}d{}_{G}(v)\tau{}_{G}(v)\), respectively. In this paper, we consider the maximum values of \(Z{C_1}(G)\), \(Z{C_2}(G)\), \(Z{C_1}^{*}(G)\) of \(n\)-vertex trees with fixed matching number \(m\) and the extremal graphs are also characterized.

MacKenzie Carr1, Eun-Kyung Cho2, Nicholas Crawford3, Vesna Iršič Chenoweth4,5, Leilani Pai6, Rebecca Robinson3
1Department of Mathematics, Simon Fraser University, 8888 University Drive, Burnaby BC, V5A 1S6, Canada
2Department of Mathematics, Hanyang University, Seoul, Republic of Korea
3Department of Mathematics, University of Colorado Denver, 1201 Larimer Street, Denver, 80204, USA
4Faculty of Mathematics and Physics, University of Ljubljana, Jadranska ulica 19, Ljubljana, Slovenia
5Institute of Mathematics, Physics and Mechanics, Ljubljana, Slovenia, Jadranska ulica 19
6Department of Mathematics, Denison University, 100 West College Street, Granville, OH, 43023, USA
Abstract:

An improper interval (edge) coloring of a graph \(G\) is an assignment of integer colors to the edges of \(G\) satisfying the condition that, for every vertex \(v \in V(G)\), the set of colors assigned to the edges incident with \(v\) forms an integral interval. An interval coloring is \(k\)-improper if at most \(k\) edges with the same color all share a common endpoint. The minimum integer \(k\) such that there exists a \(k\)-improper interval coloring of the graph \(G\) is the interval coloring impropriety of \(G\), denoted by \(\mu_{int}(G)\). In this paper, we provide a construction of an interval coloring of a subclass of complete multipartite graphs. Additionally, we determine improved upper bounds on the interval coloring impropriety of several classes of graphs, namely 2-trees, iterated triangulations, and outerplanar graphs. Finally, we investigate the interval coloring impropriety of the corona product of two graphs, \(G\odot H\).

Abigail Denton1, Michael W. Schroeder1
1Dept. of Mathematics and Computer Science, Stetson University, DeLand, FL 32723, USA
Abstract:

A decomposition \(\mathcal{C}\) of a graph \(G\) is primitive if no proper, nontrivial subset of \(\mathcal{C}\) is a decomposition of an induced subgraph of \(G\). The existence of primitive decompositions has been studied for several decompositions, including path and cycle decompositions for complete and cocktail party graphs. In this work, we classify the existence of primitive star decompositions for complete graphs.

Sela Fried1, Mark Shattuck2
1Department of Computer Science, Israel Academic College, 52275 Ramat Gan, Israel
2Department of Mathematics, University of Tennessee, 37996 Knoxville, TN, USA
Abstract:

In this paper, we study the distribution on \([k]^n\) for the parameter recording the number of indices \(i \in [n-1]\) within a word \(w=w_1\cdots w_n\) such that \(|w_{i+1}-w_i|\ \leq 1\) and compute the corresponding (bivariate) generating function. A circular version of the problem wherein one considers whether or not \(|w_n-w_1|\ \leq 1\) as well is also treated. As special cases of our results, one obtains formulas involving staircase and Hertzsprung words in both the linear and circular cases. We make use of properties of special matrices in deriving our results, which may be expressed in terms of Chebyshev polynomials. A generating function formula is also found for the comparable statistic on finite set partitions with a fixed number of blocks represented sequentially.

Maurice Genevieva Almeida1, Kingel Savia De Sa1
1Rosary College of Commerce and Arts, Navelim, Goa, India
Abstract:

Let \(G=(V,E)\) be a graph of order \(n\) without isolated vertices. A bijection \(f\colon V\rightarrow \{1,2,\dots,n\}\) is called a local distance antimagic labeling, if \(w(u)\not=w(v)\) for every edge \(uv\) of \(G\), where \(w(u)=\sum_{x\in N(u)}f(x)\). The local distance antimagic chromatic number \(\chi_{ld}(G)\) is defined to be the minimum number of colors taken over all colorings of \(G\) induced by local distance antimagic labelings of \(G\). The concept of Generalized Mycielskian graphs was introduced by Stiebitz [20]. In this paper, we study the local distance antimagic labeling of the Generalized Mycielskian graphs.

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;