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.

Haichao Wang1, Erfang Shan1
1Department of Mathematics, Shanghai University, Shanghai 200444, China
Abstract:

A signed total \(k\)-dominating function of a graph \(G = (V, E)\) is a function \(f: V \rightarrow \{+1, -1\}\) such that for every vertex \(v\), the sum of the values of \(f\) over the open neighborhood of \(v\) is at least \(k\). A signed total \(k\)-dominating function \(f\) is minimal if there does not exist a signed total \(k\)-dominating function \(g\), \(f \neq g\), for which \(g(v) \leq f(v)\) for every \(v \in V\).The weight of a signed total \(k\)-dominating function is \(w(f) = \sum_{v \in V} f(v)\). The signed total \(k\)-domination number of \(G\), denoted by \(\gamma_{t,k}^s(G)\), is the minimum weight of a signed total \(k\)-dominating function on \(G\).The upper signed total \(k\)-domination number \(\Gamma_{t,k}^s(G)\) of \(G\) is the maximum weight of a minimal signed total \(k\)-dominating function on \(G\).
In this paper, we present sharp lower bounds on \(\gamma_{t,k}^s(G)\) for general graphs and \(K_{r+1}\)-free graphs and characterize the extremal graphs attaining some lower bounds. Also, we give a sharp upper bound on \(\Gamma_{t,k}^s(G)\) for an arbitrary graph.

Martin Knor1, Primoz Potoénik2
1Department of Mathematics, Faculty of Civil Engineering, Slovak University of Tech- nology, Radlinského 11, 813 68 Bratislava, Slovakia,
2Paculty of Mathematics and Physics, University of Ljubljana, Slovenia, AND Institute of Mathematics, Physics, and Mechanics, Jadranska 19, SI-1000 Ljubljana, Slovenia, primoz,
Abstract:

We show that a \(2\)-subset-regular self-complementary \(3\)-uniform hypergraph with \(7\) vertices exists if and only if \(n \geq 6\) and \(n\) is congruent to \(2\) modulo \(4\).

Victor Kostyuk1, Darren Narayan2
1Department of Mathematics Cornell University
2 School of Mathematical Sciences Rochester Institute of Technology
Abstract:

Given a graph \(G\), a function \(f: V(G) \to \{1, 2, \ldots, k\}\) is a \(k\)-ranking of \(G\) if \(f(u) = f(v)\) implies every \(u-v\)
path contains a vertex \(w\) such that \(f(w) > f(u)\). A \(k\)-ranking is minimal if the reduction of any label greater
than \(1\) violates the described ranking property.The \(arank\) number of a graph, denoted \(\psi_r(G)\),
is the maximum \(k\) such that \(G\) has a minimal \(k\)-ranking.We establish new properties for minimal rankings and present
new results for the \(arank\) number of a cycle.

Chao Yang1, Jun-Ming Xu1
1Department of Mathematics University of Science and Technology of China Hefei, 230026, China
Abstract:

In this paper, we prove that the connectivity and the edge connectivity of the lexicographic product of two graphs \(G_1\) and \(G_2\) are equal to \(\kappa_1 v_2\) and \(\min\{\lambda_1 v_2^2, \delta_2 + \delta_1v_2\}\), respectively, where \(\delta_i\), \(\kappa_i\), \(\lambda_i\), and \(n_i\) denote the minimum degree, connectivity, edge-connectivity, and number of vertices of \(G_i\), respectively.
We also obtain that the edge-connectivity of the direct product of \(K_2\) and a graph \(H\) is equal to \(\min\{2\lambda, 2\beta, \min_{j =\lambda}^\delta\{j + 2\beta_j\}\}\), where \(\theta\) is the minimum size of a subset \(F \subset E(H)\) such that \(H – F\) is bipartite and \(\beta_j = \min\{\beta(C)\}\), where \(C\) takes over all components of \(H – B\) for all edge-cuts \(B\) of size \(j \geq \lambda=\lambda (H)\).

Johannes H.Hattingh1,2, Ossama A.Saleh3, Lucas C.Van der Merwe3, Terry J.Walters3
1Department of Mathematics, East Carolina University, Greenville, NC 27858 USA
2Department of Mathematics, University of Johannesburg, Auckland Park, 2006, SOUTH AFRICA
3Department of Mathematics, University of Tennessee at Chattanooga, Chattanooga, TN 37403 USA
Abstract:

The induced path number \( \rho(G) \) of a graph \( G \) is defined as the minimum number of subsets into which the vertex set of \( G \) can be partitioned so that each subset induces a path. A Nordhaus-Gaddum type result is a (tight) lower or upper bound on the sum (or product) of a parameter of a graph and its complement. If \( G \) is a subgraph of \( H \), then the graph \( H – E(G) \) is the complement of \( G \) relative to \( H \). In this paper, we consider Nordhaus-Gaddum type results for the parameter \( \rho \) when the relative complement is taken with respect to the complete bipartite graph \( K_{m,n} \).

Izak Broere1, Johannes Heidema2
1Department of Mathematics and Applied Mathematics, University of Pretoria, Private Bag X20, Hatfield, Pretoria, 0028 South Africa
2Department of Mathematical Sciences, University of South Africa, P.O. Box 392, UNISA, Pretoria, 0003 South Africa
Abstract:

Rado constructed a (simple) denumerable graph \( R \) with the positive integers as vertex set with the following edges: For given \( m \) and \( n \) with \( m < n \), \( m \) is adjacent to \( n \) if \( n \) has a \( 1 \) in the \( m \)'th position of its binary expansion. It is well known that \( R \) is a universal graph in the set \( \mathcal{I} \) of all countable graphs (since every graph in \( \mathcal{I} \) is isomorphic to an induced subgraph of \( R \)) and that \( R \) can be characterized using this notion and that of being homogeneous and having the extension property. In this paper, we extend these notions to arbitrary induced-hereditary properties (of graphs), relate them to the construction of a universal graph for any such property, and obtain results which remind one of some characterizations of \( R \).

Gerd Fricke1, Timothy J.O’Brien1, W.Christopher Schroeder1, Stephen T.Hedetniemi2, Professor Emeritus2
1Department of Mathematics Morehead State University, Morehead, KY 40351
2School of Computing Clemson University, Clemson, SC 29634
Abstract:

In this note, we prove that for any tree \( T \), \( \gamma_{\leq2}(T) \leq \gamma_\gamma(T) \leq ir(T) \leq \gamma(T) \), where \( \gamma_{\leq2}(G) \) is the distance-2 domination number, \( ir(T) \) is the (lower) irredundance number, \( \gamma(T) \) is the domination number, and \( \gamma_\gamma(T) \), newly defined here, equals the minimum cardinality of a set of vertices that dominates a minimum dominating set of \( T \).

Dennis D.A. Epple1
1University of Victoria, PO BOX 3060 STN CSC, Victoria, B.C., V8W 3R4, Canada;
Abstract:

A graph is \((k, l)\)-colorable if its vertex set can be partitioned into \( k \) independent sets and \( l \) cliques. A graph is chordal if it does not contain any induced cycle of length at least four. A theorem by Hell et al. states that a chordal graph is \((k, l)\)-colorable if and only if it does not contain \((l+1)K_{k+1}\) as an induced subgraph. Presented here is a short alternative proof of this result, using the characterization of chordal graphs via perfect elimination orderings.

AP Burger1, AP de Villiers1, JH van Vuuren1
1Department of Logistics, Stellenbosch University, Private Bag X1, Matieland, 7602, South Africa
Abstract:

A subset \( X \) of the vertex set of a graph \( G \) is a secure dominating set of \( G \) if \( X \) is a dominating set of \( G \) and if, for each vertex \( u \) not in \( X \), there is a neighboring vertex \( v \) of \( u \) in \( X \) such that the swap set \( (X – \{v\}) \cup \{u\} \) is again a dominating set of \( G \). The secure domination number of \( G \), denoted by \( \gamma_s(G) \), is the cardinality of a smallest secure dominating set of \( G \). In this paper, we present two algorithms (a branch-and-reduce algorithm as well as a branch-and-bound algorithm) for determining the secure domination number of a general graph \( G \) of order \( n \). The worst-case time complexities of both algorithms are \( \mathcal{O}(2^{n-s-\sum_{i=1}^{k}(|\mathcal{R}_i|-1)}) \), where \( s \) is the number of support vertices in \( G \) and \( \mathcal{R}_i, \ldots, \mathcal{R}_k \) are the redundancy classes of \( G \) (two vertices are in the same redundancy class if they are adjacent and share the same closed neighborhood which forms a clique in \( G \)).

C.J. Hodgins1, K. Seyffarth2
1Continuing Academic Learner Services Southern Alberta Institute of Technology Calgary, AB, T2M 0L4, Canada
2Department of Mathematics and Statistics University of Calgary Calgary, AB, T2N 1N4, Canada
Abstract:

The distinguishing chromatic number of a graph \( G \) is the least integer, \( \chi_D(G) \), for which \( G \) has a coloring of its vertices so that adjacent vertices receive different colors, and the identity is the only automorphism of \( G \) that preserves vertex colors. Our focus is on determining the distinguishing chromatic numbers of wreath products of graphs, extending the work of Tang. We prove that if \( C_n \) is a cycle with \( n \) vertices and \( P_n \) is a path with \( n \) vertices, then \( \chi_D(C_n[G]) \) and \( \chi_D(P_n[G]) \) can be found for any connected graph \( G \). We also obtain an upper bound on \( \chi_D(T[G]) \) when \( T \) is a tree and \( G \) is any connected graph. Some of our results depend on the notion of inequivalent colorings. Cheng introduces inequivalent colorings and provides a formula for computing the number of inequivalent distinguishing \( k \)-colorings of a rooted tree. We add to this work by obtaining an expression for computing the number of inequivalent distinguishing \( k \)-colorings of a cycle.

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;