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.

Xingchao Deng1, Jixiang Meng1
1 College of Mathematics and System Sciences, Xinjiang University, Urumqi, Xinjiang 830046, China
Abstract:

Let \(G\) be a finite group of order \(n\) and \(S\) (possibly containing the identity element) be a subset of \(G\). The Bi-Cayley graph
\(\text{BC}(G, S)\) of \(G\) is a bipartite graph with vertex set \(G \times \{0, 1\}\) and edge set \(\{(g, 0), (gs, 1) \mid g \in G, s \in S\}\). Let \(p\) (\(0 < p < 1\)) be a fixed number.We define \({B} = \{\text{BC}(G, S) \mid S \subseteq G\}\) as a sample space and assign a probability measure by requiring \(P_r(X) = p^k q^{n-k}\) for \(X = \text{BC}(G, S)\) with \(|S| = k\), where \(q = 1-p\). It is shown that the probability of the set of Bi-Cayley graphs of \(G\) with diameter \(3\) approaches \(1\) as the order \(n\) of \(G\) approaches infinity.

Mustafa Asci1, Esref Gurel2
1PAMUKKALE UNIVERSITY SCIENCE AND ARTS FACULTY DEPARTMENT OF MATHEMATICS KINIKLI Denizil TURKEY
2PAMUKKALE UNIVERSITY SCIENCE AND ARTS FACULTY DEPARTMENT OF MATHEMATICS KiniKLI DENizLI TURKEY
Abstract:

In this study, we define and investigate the Gaussian Jacobsthal and Gaussian Jacobsthal Lucas numbers. We derive generating functions, Binet formulas, explicit formulas, and matrix representations for these numbers. Additionally, we present explicit combinatorial and determinantal expressions, examine negatively subscripted numbers, and establish various identities. Our results parallel those for the Jacobsthal and Jacobsthal Lucas numbers, yielding interesting consequences for the Gaussian Jacobsthal and Gaussian Jacobsthal Lucas numbers.

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.

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;