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.

Susan E.Fettes1, Richard L.Kramer2, Stanislaw P.Radziszowski3
1Department of Mathematics SUNY College at Oswego
2Department of Mathematics Iowa State University
3Department of Computer Science Rochester Institute of Technology
Abstract:

We show that the classical Ramsey number \(R(3,3,3,3)\) is no greater than \(62\). That is, any edge coloring with four colors of a complete graph on \(62\) vertices must contain a monochromatic triangle. Basic notions and a historical overview are given along with the theoretical framework underlying the main result. The algorithms for the computational verification of the result are presented along with a brief discussion of the software tools that were utilized.

Massimo Giulietti1, Fernando Torres2,3
1DIPARTIMENTO Dt MATEMATICA E INFORMATICA, UNIVERSITA DEGLI STUDI DI PERUGIA, 06123 PeRuciA, ITALY
2IMECC-UNICAMP, Cx. P. 6065, CAMPINAS, 13083-970-SP, BRAZIL
3CURRENT ADDRESS: DEPARTAMENTO DE ALGEBRA, GEOMETRIA Y ToPOLoGia, FACUL- TAD DE CIENCIAS – UNIVERSIDAD DE VALLADOLID, C/ PRADO DE LA MAGDALENA S/N 47005, VALLADOLID (SPAIN)
Abstract:

We show that certain subsets of \(\mathbf{F}_q\)-rational points of the curve \(XZ^{n-1} = Y^n\) are dense sets in \(\mathbf{P}^2(\mathbf{F}_q)\).

Christos Koukouvinos1, Jennifer Seberry2
1Department of Mathematics National Technical University of Athens Zografou 15773, Athens Greece
2School of IT and Computer Science University of Wollongong Wollongong, NSW, 2522 Australia
Abstract:

H. Kharaghani, in “Arrays for orthogonal designs” \((2000)\), \(\textit{J. Combin. Designs}\), \(8 (2000), 166-173\), showed how to use amicable sets of matrices to construct orthogonal designs in orders divisible by eight. We show how amicable orthogonal designs can be used to make amicable sets and so obtain infinite families of orthogonal designs in six variables in orders divisible by eight.

Atif A.Abueida1, Mike Daven 2
1Department of Mathematics University of Dayton 300 College Park, Dayton, OH 45469-2316
2Division of Mathematics & Computer Science Mount Saint Mary College 330 Powell Avenue, Newburgh, NY 12550
Abstract:

Let \(G\) and \(H\) be a pair of non-isomorphic graphs on fewer than \(m\) vertices. In this paper, we introduce several new problems about decomposing the complete graph \(K_m\) into copies of \(G\) and \(H\). We will assume that at least one of \(G\) or \(H\) is not a cycle. We also begin to examine variations to the problems of subgraph packing, covering, and factorization.

Gary Chartrand1, Garry L.Johns2, Ping Zhang1
1Western Michigan University
2Saginaw Valley State University
Abstract:

For vertices \(u\) and \(v\) in a connected graph \(G\) with vertex set \(V\), the distance \(d(u,v)\) is the length of a shortest \(u – v\) path in \(G\). A \(u – v\) path of length \(d(u,v)\) is called a \(u – v\) geodesic. The closed interval \(I[u,v]\) consists of \(u\), \(v\), and all vertices that lie in some \(u – v\) geodesic of \(G\); while for \(S \subseteq V\), \(I[S]\) is the union of closed intervals \(I[u,v]\) for all \(u,v \in S\). A set \(S\) of vertices is a geodetic set if \(I[S] = V\), and the minimum cardinality of a geodetic set is the geodetic number \(g(G)\). For vertices \(x\) and \(y\) in \(G\), the detour distance \(D(x, y)\) is the length of a longest \(x – y\) path in \(G\). An \(x – y\) path of length \(D(x, y)\) is called an \(x – y\) detour. The closed detour interval \(I_D[x,y]\) consists of \(x\), \(y\), and all vertices in some \(x – y\) detour of \(G\). For \(S \subseteq V\), \(I_D[S]\) is the union of \(I_D[x,y]\) for all \(x,y \in S\). A set \(S\) of vertices is a detour set if \(I_D[S] = V\), and the minimum cardinality of a detour set is the detour number \(dn(G)\). We study relationships that can exist between minimum detour sets and minimum geodetic sets in a graph. A graph \(F\) is a minimum detour subgraph if there exists a graph \(G\) containing \(F\) as an induced subgraph such that \(V(F)\) is a minimum detour set in \(G\). It is shown that \(K_3\) and \(P_3\) are minimum detour subgraphs. It is also shown that for every pair \(a,b \geq 2\) of integers, there exists a connected graph \(G\) with \(dn(G) = a\) and \(g(G) = b\).

Abstract:

We use a dynamic programming algorithm to establish a lower bound on the domination number of complete grid graphs \( G_{m,n} \). The bound is within \( 5 \) of a known upper bound that has been conjectured to be the exact domination number of the complete grid graphs.

Gennian Ge1
1Department of Mathematics Zhejiang University Hangzhou 310027, Zhejiang P, R. China
Abstract:

A large set of KTS(\(v\)), denoted by LKTS(\(v\)), is a collection of (\(v-2\)) pairwise disjoint KTS(\(v\)) on the same set. In this paper, it is proved that there exists an LKTS(\(3^n \cdot 91\)) for any integer \(n \geq 1\).

Lutz Volkmann1, Stefan Winzen1
1Lehrstuhl II fiir Mathematik, RWTH Aachen, Germany
Abstract:

If \( x \) is a vertex of a digraph \( D \), then we denote by \( d^+(x) \) and \( d^-(x) \) the outdegree and the indegree of \( x \), respectively. The global irregularity of a digraph \( D \) is defined by \(i_g(D) = \max\{d^+(x), d^-(x)\} – \min\{d^+(y), d^-(y)\}\) over all vertices \( x \) and \( y \) of \( D \) (including \( x = y \)). If \( i_g(D) = 0 \), then \( D \) is regular, and if \( i_g(D) \leq 1 \), then \( D \) is called almost regular. The local irregularity is defined as \(i_l(D) = \max[|d^+(x) – d^-(x)|]\) over all vertices \( x \) of \( D \). The path covering number of \( D \) is the minimum number of directed paths in \( D \) that are pairwise vertex disjoint and cover the vertices of \( D \). A semicomplete \( c \)-partite digraph is a digraph obtained from a complete \( c \)-partite graph by replacing each edge with an arc, or a pair of mutually opposite arcs with the same end vertices. If a semicomplete \( c \)-partite digraph \( D \) does not contain an oriented cycle of length two, then \( D \) is called a \( c \)-partite tournament.
In 2000, Gutin and Yeo [7] proved sufficient conditions for the local irregularity of a semicomplete multipartite digraph to secure a path covering number of at most \( k \). In this paper, we will give a useful supplement to this result by using bounds for the global irregularity that guarantee a path covering number of at most \( k \). As an application, we will present sufficient conditions for close to regular multipartite tournaments containing a Hamiltonian path. Especially, we will characterize almost regular \( c \)-partite tournaments containing a Hamiltonian path.

Kuo-Bing Huang1, Wen-Chung Huang1
1Department of Mathematics Soochow University, Taipei, Taiwan, Republic of China.
Abstract:

An extended \(7\)-cycle system of order \( n \) is an ordered pair \( (V, B) \), where \( B \) is a collection of edge-disjoint 7-cycles, 3-tadpoles, and loops which partition the edges of the graph \( K_n^+ \) whose vertex set is an \( n \)-set \( V \). In this paper, we show that an extended 7-cycle system of order \( n \) exists for all \( n \) except \( n = 2, 3, \) and \( 5 \).

A.N.M. Salman1, H.J. Broersma1, C.A. Rodger2
1Department of Applied Mathematics, Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente P.O. Box 217, 7500 AE Enschede, The Netherlands
2Department of Discrete and Statistical Sciences, Auburn University, Auburn, Alabama 36849, USA
Abstract:

A grid graph is a finite induced subgraph of the infinite 2-dimensional grid defined by \( \mathbb{Z} \times \mathbb{Z} \) and all edges between pairs of vertices from \( \mathbb{Z} \times \mathbb{Z} \) at Euclidean distance precisely \( 1 \). An \( m \times n \)-rectangular grid graph is induced by all vertices with coordinates from \( 1 \) to \( m \) and from \( 1 \) to \( n \), respectively. A natural drawing of a (rectangular) grid graph \( G \) is obtained by drawing its vertices in \( \mathbb{R}^2 \) according to their coordinates. We consider a subclass of the rectangular grid graphs obtained by deleting some vertices from the corners. Apart from the outer face, all (inner) faces of these graphs have area one (bounded by a \( 4 \)-cycle) in a natural drawing of these graphs. We determine which of these graphs contain a Hamilton cycle, i.e., a cycle containing all vertices, and solve the problem of determining a spanning \( 2 \)-connected subgraph with as few edges as possible for all these graphs.

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;