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.

Ortrud R.Oellermann1, Charlene D.Pawluck1, Anna Stokke1
1The University of Winnipeg, 515 Portage Avenue Winnipeg, MB R3B 2E9, CANADA
Abstract:

A vertex \(w\) in a di(graph) \(G\) is said to resolve a pair \(u, v\) of vertices of \(G\) if the distance from \(u\) to \(w\) does not equal the distance from \(v\) to \(w\). A set \(S\) of vertices of \(G\) is a resolving set for \(G\) if every pair of vertices of \(G\) is resolved by some vertex of \(S\). The smallest cardinality of a resolving set for \(G\), denoted by \(dim(G)\), is called the metric dimension for \(G\).

We show that if \(G\) is the Cayley digraph \(Cay(\Delta : \Gamma)\) where \(\Delta = \{ (1, 0, 0), (0, 1, 0), (0, 0, 1) \}\) and \(\Gamma =\mathbb{Z}_m \oplus \mathbb{Z}_n \oplus \mathbb{Z}_k\) with \(m \leq n \leq k\), then \(dim(G) = n\) if \(m < n\) and improve known upper bounds if \(m = n\). We use these results to establish improved upper bounds for the metric dimension of Cayley digraphs of abelian groups that are expressed as a direct product of four or more cyclic groups. Lower bounds for Cayley digraphs of groups that are multiple copies of \(\mathbb{Z}_n\) are established.

Roberto B.Corcino1, Cristina B.Corcino1, Rodelito Aldema1
1Department of Mathematics Mindanao State University Marawi City, Philippines
Abstract:

In this paper, the unimodality of \((r,\beta)\)-Stirling numbers and certain asymptotic approximation of \((r,\beta)\)-Bell numbers are established. Together with these results and the most general form of Central Limit Theorem, viz. Bounded Variance Normal Convergence Criterion, the \((r,\beta)\)-Stirling numbers are shown to be asymptotically normal.

Avapa Chantasartrassmee1, Narong Punnim2
1Department of Mathematics, School of Science, The University of the Thai Chamber of Commerce, Bangkok 10400, Thailand
2Department of Mathematics, Srinakharinwirot University, Sukhumvit 23, Bangkok 10110, Thailand
Abstract:

The graph \(\mathcal{R}(d)\) of realizations of \(d\) is a graph whose vertices are the graphs with degree sequence \(d\), two vertices are adjacent in the graph \(\mathcal{R}(d)\) if one can be obtained from the other by a switching. It has been shown that the graph \(\mathcal{R}(d)\) is connected. Let \(\mathcal{CR}(d)\) be the set of connected graphs with degree sequence \(d\). Taylor \([13]\) proved that the subgraph of \(\mathcal{R}(d)\) induced by \(\mathcal{CR}(d)\) is connected. Several connected subgraphs of \(\mathcal{CR}(d)(3^n)\) are obtained in this paper. As an application, we are able to obtain the interpolation and extremal results for the number of maximum induced forests in the classes of connected subgraphs of \(\mathcal{CR}(d)(3^n)\).

Houcine Bouchaala1, Youssef Boudabbous2
1Département de la préparation Mathématiques-Physique, Institut prépara- toire aux études d’ingénieurs de Sfax, Université de Sfax, BP 805, 3000 Sfax, Tunisie.
2Département de Mathématiques, Faculté des Sciences de Sfax, Université de Sfax, BP 802, 3018 Sfax, Tunisie,
Abstract:

Let \(T = (V, A)\) be a finite tournament with \(n \geq 2\) vertices. The dual of T is the tournament \(T^* = (V, A^*)\) defined by: for all \(x,y \in V, (x,y) \in A^*\) if and only if \((y,x) \in A\). The tournament \(T\) is critical if \(T\) is indecomposable and if for all \(x \in V\), the subtournament \(T(V – \{x\})\) is decomposable. A \(3\)-cycle is a tournament isomorphic to the tournament \(T, = ({0,1,2}, {(0, 1), (1, 2), (2, 0)})\). Let \(F\) be a set of non negative integers \(k < n\). The tournament \(T\) is \(F\)-selfdual if for every subset \(X\) of \(V\) such that \(|X |\in F\), the subtournaments \(T(X)\) and \(T^*(X)\) are isomorphic. In this paper, we study, for each integer \(k \geq 1\), the \(\{n – k\}\)-selfduality of the tournaments, with \(n \geq 4+k\) vertices, that are lexicographical sums of tournaments under a \(3\)-cycle or a critical tournament. As application, we determine for each integer \(k \geq 1\), the tournaments, with \(n \geq 4+ k\) vertices, that are \(\{4,n – k\}\)-selfdual.

Hua Mao1
1Department of Mathematics, Hebei University, Baoding 071002, China
Abstract:

This paper studies in detail the collection of closed sets of a matroid of arbitrary cardinality ordered by inclusion. The relation between the collection, in particular the collection of a simple matroid, and a finite length geometric lattice is dealt with. Finally, one obtains that up to isomorphism, a finite length geometric lattice is a simple matroid, and vice versa.

Lutz Volkmann1
1Lehrstuhl II fiir Mathematik, RWTH Aachen University, 52056 Aachen, Germany
Abstract:

A vertex set \(D\) of a graph \(G\) is a dominating set if every vertex not in \(D\) is adjacent to some vertex in \(D\). The domination number \(\gamma\) of a graph \(G\) is the minimum cardinality of a dominating set in \(G\).

In 1975, Payan \([6]\) communicated without proof the inequality
\[2\gamma \leq {n} + 1 – \delta\]
for every connected graph not isomorphic to the complement of a one-regular graph, where \(n\) is the order and \(\delta\) the minimum degree of the graph. A first proof of (*) was published by Flach and Volkman \([3]\) in \(1980\).

In this paper, we firstly present a more transparent proof of (*). Using the idea of this proof, we show that

\[2\gamma \leq n – \delta\]

for connected graphs with exception of well-determined families of graphs.

lliya Bluskov1, Malcolm Greig2
1 Department of Mathematics and Computer Science, University of Northern British Columbia, Prince George, B.C., Canada, V2N 429.
2Greig Consulting, 317-130 East 11th St., North Vancouver, B.C., Canada V7L 4R3.
Abstract:

A \((v,k,\lambda)\) covering design is a set of \(b\) blocks of size \(k\) such that each pair of points occurs in at least \(\lambda\) blocks, and the covering number \(C(v, k, \lambda)\) is the minimum value of \(b\) in any \((v, k, \lambda)\) covering design. For \(k = 5\) and \(v\) even, there are 24 open cases with \(2 \leq \lambda \leq 21\), each of which is the start of an open series for \(\lambda,\lambda + 20, \lambda + 40, \ldots\). In this article, we solve 22 of these cases with \(\lambda \leq 21\), leaving open \((v, 5, \lambda)=(44, 5, 13)\) and \((44, 5, 17)\) (and the series initiated for the former).

M.M.M. Jaradat1
1Yarmouk University Department of Mathematics Irbid-Jordan
Abstract:

The basis number of a graph \( G \) is defined to be the least integer \( d \) such that there is a basis \( \mathcal{B} \) of the cycle space of \( G \) such that each edge of \( G \) is contained in at most \( d \) members of \( \mathcal{B} \). MacLane [16] proved that a graph, \( G \), is planar if and only if the basis number of \( G \) is less than or equal to 2. Ali and Marougi [3] proved that the basis number of the strong product of two cycles and a path with a star is less than or equal to 4. In this work, (1) we prove the basis number of the strong product of two cycles is 3. (2) We give the exact basis number of a path with a tree containing no subgraph isomorphic to a 3-special star of order 7. (3) We investigate the basis number of a cycle with a tree containing no subgraph isomorphic to a 3-special star of order 7. The results in (1) and (2) improve the upper bound of the basis number of the strong product of two cycles and a star with a path which were obtained by Ali and Marougi.

Mustapha Chellali1, Teresa W.Haynes2
1Department of Mathematics, University of Blida. B.P. 270, Blida, Algeria.
2Department of Mathematics, East Tennessee State University Johnson City, TN 37614 USA
Abstract:

A set \( S \) of vertices is a total dominating set of a graph \( G \) if every vertex of \( G \) is adjacent to some vertex in \( S \). The minimum cardinality of a total dominating set is the total domination number \( \gamma_t(G) \). We show that for a nontrivial tree \( T \) of order \( n \) and with \( \ell \) leaves, \( \gamma_t(T) \geqslant \frac{n + 2 – \ell}{2} \), and we characterize the trees attaining this lower bound.

Jaiwant Mulik1, Jawahar Pathak2
1Computer and Information Sciences Delaware State University, DE
2Mathematics and Computer Science Lincoln University, PA
Abstract:

This paper presents a computationally efficient algorithm for solving the following well-known die problem: Consider a “crazy die” to be a die with \( n \) faces where each face has some “cost”. Costs need not be sequential. The problem is to determine the exact probability that the sum of costs from \( U \) throws of this die is \( \geq T \), \( T \in \mathbb{R} \). Our approach uses “slice” volume computation in \( U \)-dimensional space. Detailed algorithms, complexity analysis, and comparison with traditional generating functions approach are presented.

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;