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.

Zebene Girma1, Dinesh G. Sarvate2, Li Zhang3
1Addis Ababa Science and Technology University, Artificial Intelligence Center of Excellence, Ethiopia
2College of Charleston, Department of Mathematics, Charleston, SC, 29424
3The Citadel, Department of Mathematics, Charleston, SC, 29409
Abstract:

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\).

Phakhinkon Napp Phunphayap1, Prapanpong Pongsriiam2, Passawan Noppakaew2
1Department of Mathematics, Faculty of Science, Burapha University, Chonburi, 20131, Thailand
2Department of Mathematics, Faculty of Science, Silpakorn University, Nakhon Pathom, 73000, Thailand
Abstract:

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.

Andrew Bowling1
1Mathematics Department, Wabash College, Crawfordsville, IN 47933, USA
Abstract:

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.

Paul A. Burchett1
1New River Community College, Dublin, VA 24073 USA
Abstract:

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.

Claus Hertling 1, Matija Vujic 1
1Lehrstuhl für Algebraische Geometrie, University of Mannheim B6, 26, 68159 Mannheim, Germany
Abstract:

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.

Fawwaz Fakhrurrozi Hadiputra1, Muhammad Nur Hidayat Taufiqurrahman2, Edy Tri Baskoro3
1School of Mathematics and Statistics, The University of Melbourne, Parkville, VIC 3010, Australia
2Master Program of Mathematics, Faculty of Mathematics and Natural Sciences, Institut Teknologi Bandung, Bandung, Indonesia
3Combinatorial Mathematics Research Group, Faculty of Mathematics and Natural Sciences Institut Teknologi Bandung, Bandung, Indonesia
Abstract:

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]\).

Sergiy Kozerenko1, Bohdan-Yarema Dekhtiar1
1Graph Theory and Network Analysis Laboratory, Kyiv School of Economics, Mykoly Shpaka str. 3, 03113 Kyiv, Ukraine
Abstract:

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.

Meng Zhang1
1Department of Mathematics, University of North Georgia, Dahlonega, GA 30597
Abstract:

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.

Sagaya Suganya A1, Joice Punitha M2, Dhivviyanandam I3
1Department of Mathematics and Actuarial Science, B. S. Abdur Rahman Crescent Institute of Science and Technology, Chennai, India
2Department of Mathematics, Bharathi Women’s College, Chennai, India
3Department of Mathematics, North Bengal St. Xavier’s College, Rajganj, West Bengal, India
Abstract:

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.

Tsun-Ming Cheung1, Luc Devroye1, Marcel Goh1
1School of Computer Science, McGill University, Canada
Abstract:

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.

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;