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.

Masanori Koyama1, David L.Neel2, Michael E.Orrison1
1Department of Mathematics, Harvey Mudd College 301 Platt Blvd, Claremont, CA 91711-5990
2Department of Mathematics, Seattle University 901 12th Avenue, P.O. Box 222000, Seattle, WA 98122-1090
Abstract:

A connected graph on three or more vertices is said to be irreducible if it has no leaves, and if each vertex has a unique neighbor set. A connected graph on one or two vertices is also said to be irreducible, and a disconnected graph is irreducible if each of its connected components is irreducible. In this paper, we study the class of irreducible graphs. In particular, we consider an algorithm that, for each connected graph \( \Gamma \), yields an irreducible subgraph \( I(\Gamma) \) of \( \Gamma \). We show that this subgraph is unique up to isomorphism. We also show that almost all graphs are irreducible. We then conclude by highlighting some structural similarities between \( I(\Gamma) \) and \( \Gamma \).

P.C. Li1, G.H.J. van Rees1
1Dept. of Computer Science University of Manitoba, Manitoba Canada R3T 2N2 Canada R3T 2N2
Abstract:

A Latin square of order \( n \) is an \( n \) by \( n \) array in which every row and column is a permutation of a set \( N \) of \( n \) elements. Let \( L = [l_{i,j}] \) and \( M = [m_{i,j}] \) be two Latin squares of even order \( n \), based on the same \( N \)-set. Define the superposition of \( L \) onto \( M \) to be the \( n \) by \( n \) array \( A = (l_{i,j}, m_{i,j}) \). When \( n \) is even, \( L \) and \( M \) are said to be \({nearly\; orthogonal}\) if the superposition of \( L \) onto \( M \) has every ordered pair \( (i, j) \) appearing exactly once except for \( i = j \), when the ordered pair appears \( 0 \) times and except for \( i – j = \frac{n}{2} \pmod{n} \), when the ordered pair appears \( 2 \) times. A set of \( t \) Latin squares of order \( 2m \) is called a set of \({mutually\; nearly\; orthogonal\; Latin \;squares}\) (MNOLS(\(2m\))) if the \( t \) Latin squares are pairwise nearly orthogonal. We provide two elementary proofs for results that were stated and proved earlier. We also provide some computer results and prove two recursive constructions for MNOLS. Using these results we show that there always exist \( 3 \) mutually nearly orthogonal Latin squares of order \( 2m \), for \( 2m \geq 358 \).

Fu Xueliang 1,2, Yang Yuansheng1, Jiang Baoqi1
1Department of Computer Science, Dalian University of Technology, Dalian, 116024, P. R. China
2College of Computer and Information Engineering, Inner Mongolia Agriculture University, Huhehote, 010018, P.R. China
Abstract:

Let \(G = (V(G), E(G))\) be a graph. A set \(S \subseteq V(G)\) is a dominating set if every vertex of \(V(G) – S\) is adjacent to some vertices in \(S\). The domination number \(\gamma(G)\) of \(G\) is the minimum cardinality of a dominating set of \(G\). In this paper, we study the domination number of generalized Petersen graphs \(P(n,3)\) and prove that \(\gamma(P(n,3)) = n – 2\left\lfloor \frac{n}{4} \right\rfloor (n\neq 11)\).

A. Cossidente1, G. Marino2
1Dipartimento di Matematica Universita della Basilicata I-85100 Potenza – Italy
2Dipartimento di Matematica e Applicazioni Universita di Napoli “Federico II” 80126 Napoli – Italy
Abstract:

The maximality of the Suzuki group \(\text{Sz}(K,a)\), \(K\) any commutative field of characteristic \(2\) admitting an automorphism \(\sigma\) such that \(x^{\sigma^2} = x^2\), in the symplectic group \(\text{PSp}_4(K)\), is proved.

Fang Tian1,2, Jun-Ming Xu1
1Department of Mathematics, University of Science and Technology of China, Hefei, Anhui, 230026, China
2Department of Applied Mathematics, Shanghai University of Finance and Economics, Shanghai, 200433, China
Abstract:

Let \(k\) be a positive integer and \(G = (V, E)\) be a connected graph of order \(n\). A set \(D \subseteq V\) is called a \(k\)-dominating set of \(G\) if each \(x \in V(G) – D\) is within distance \(k\) from some vertex of \(D\). A connected \(k\)-dominating set is a \(k\)-dominating set that induces a connected subgraph of \(G\). The connected \(k\)-domination number of \(G\), denoted by \(\gamma_k^c(G)\), is the minimum cardinality of a connected \(k\)-dominating set. Let \(\delta\) and \(\Delta\) denote the minimum and the maximum degree of \(G\), respectively. This paper establishes that \(\gamma_k^c(G) \leq \max\{1, n – 2k – \Delta + 2\}\), and \(\gamma_k^c(G) \leq (1 + o_\delta(1))n \frac{ln[m(\delta+1)+2-t]}{m(\delta+1)+2-t}\), where \(m = \lceil \frac{k}{3} \rceil\), \(t = 3 \lceil \frac{k}{3} \rceil – k\), and \(o_\delta(1)\) denotes a function that tends to \(0\) as \(\delta \to \infty\). The later generalizes the result of Caro et al. in [Connected domination and spanning trees with many leaves. SIAM J. Discrete Math. 13 (2000), 202-211] for \(k = 1\).

Vadim V.Lozin 1, Gabor Rudolf1
1RUTCOR, Rutgers University, 640 Bartholomew Rd., Piscataway NJ, 08854-8003, USA
Abstract:

A graph \(U\) is (induced)-universal for a class of graphs \({X}\) if every member of \({X}\) is contained in \(U\) as an induced subgraph. We study the problem of finding universal graphs with minimum number of vertices for various classes of bipartite graphs: exponential classes, bipartite chain graphs, bipartite permutation graphs, and general bipartite graphs. For exponential classes and general bipartite graphs we present a construction which is asymptotically optimal, while for the other classes our solutions are optimal in order.

Sun Yongqi1, Yang Yuansheng2, Jiang Baoqi2, Lin Xiaohui2, Shi Lei2
1School of Computer and Information Technology, Beijing Jiaotong University Beijing, 100044, P. R. China
2Department of Computer Science, Dalian University of Technology Dalian, 116024, P. R. China
Abstract:

The multicolor Ramsey number \(R_r(H)\) is defined to be the smallest integer \(n = n(r)\) with the property that any \(r\)-coloring of the edges of complete graph \(K_n\) must result in a monochromatic subgraph of \(K_n\) isomorphic to \(H\). In this paper, we study the case that \(H\) is a cycle of length \(2k\). If \(2k \geq r+1\) and \(r\) is a prime power, we show that \(R_r(C_{2k}) > {r^2+2k-r-1}\).

Erfang Shan1, Liying Kang1
1Department of Mathematics, Shanghai University, Shanghai 200436, P.R. China
Abstract:

The bondage number \(b(D)\) of a digraph \(D\) is the cardinality of a smallest set of arcs whose removal from \(D\) results in a digraph with domination number greater than the domination number of \(D\). In this paper, we present some upper bounds on bondage number for oriented graphs including tournaments, and symmetric planar digraphs.

Ioan Tomescu1, Imran Javaid2, Slamin 3
1Faculty of Mathematics and Computer Science, University of Bucharest, Str. Academiei, 14, 010014 Bucharest, Romania
2School of Mathematical Sciences, Government College University, 68-B, New Muslim Town, Lahore, Pakistan
3Mathematics Education Study Program, Universitas Jember, JI. Kalimantan 37 Jember,Indonesia
Abstract:

Let \(G\) be a connected graph. For a vertex \(v \in V(G)\) and an ordered \(k\)-partition \(\Pi = \{S_1, S_2, \ldots, S_k\}\) of \(V(G)\), the representation of \(v\) with respect to \(\Pi\) is the \(k\)-vector \(r(v|\Pi) = (d(v, S_1), d(v, S_2), \ldots, d(v, S_k))\). The \(k\)-partition \(\Pi\) is said to be resolving if the \(k\)-vectors \(r(v|\Pi), v \in V(G)\), are distinct. The minimum \(k\) for which there is a resolving \(k\)-partition of \(V(G)\) is called the partition dimension of \(G\), denoted by \(pd(G)\). A resolving \(k\)-partition \(\Pi = \{S_1, S_2, \ldots, S_k\}\) of \(V(G)\) is said to be connected if each subgraph \(\langle S_i \rangle\) induced by \(S_i\) (\(1 \leq i \leq k\)) is connected in \(G\). The minimum \(k\) for which there is a connected resolving \(k\)-partition of \(V(G)\) is called the connected partition dimension of \(G\), denoted by \(cpd(G)\). In this paper, the partition dimension as well as the connected partition dimension of the wheel \(W_n\) with \(n\) spokes are considered, by showing that \(\lceil (2n)^{1/3} \rceil \leq pd(W_n) \leq \lceil 2(n)^{1/2} \rceil +1\) and \(cpd(W_n) = \lceil (n+2)/3 \rceil\) for \(n \geq 4\).

Faun C.C.Doherty 1, J.Richard Lundgren1
1University of Colorado at Denver, Denver, CO 80217
Abstract:

Vertices \(x\) and \(y\) are called paired in tournament \(T\) if there exists a vertex \(z\) in the vertex set of \(T\) such that either \(x\) and \(y\) beat \(z\) or \(z\) beats \(x\) and \(y\). Vertices \(x\) and \(y\) are said to be distinguished in \(T\) if there exists a vertex \(z\) in \(T\) such that either \(x\) beats \(z\) and \(z\) beats \(y\), or \(y\) beats \(z\) and \(z\) beats \(x\). Two vertices are strictly paired (distinguished) in \(T\) if all vertices of \(T\) pair (distinguish) the two vertices in question. The \(p/d\)-graph of a tournament \(T\) is a graph which depicts strictly paired or strictly distinguished pairs of vertices in \(T\). \(P/d\)-graphs are useful in obtaining the characterization of such graphs as domination and domination-compliance graphs of tournaments. We shall see that \(p/d\)-graphs of tournaments have an interestingly limited structure as we characterize them in this paper. In so doing, we find a method of constructing a tournament with a given \(p/d\)-graph using adjacency matrices of tournaments.

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;