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.

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 1989, Brigham and Dutton [1] proved

\[
\gamma(G) \leq \left\lceil\frac{3n-g}{6}\right\rceil
\]

for each graph \( G \) of order \( n \), minimum degree \( \delta \geq 2 \), and girth \( g \geq 5 \). For this class of graphs, Volkmann [8] recently gave the better bound

\[
\gamma(G) \leq \left\lceil\frac{3n-g-6}{8}\right\rceil
\]

if \( G \) is neither a cycle nor one of two exceptional graphs. If \( G \) is a graph of order \( n \), minimum degree \( \delta \geq 2 \), girth \( g \geq 5 \), then we show in this paper that

\[
\gamma(G) \leq \left\lceil\frac{3n-g-9}{6}\right\rceil
\]

if \( G \) is neither a cycle nor one of 40 exceptional graphs of order between 8 and 21.

Michael Kubesa1
1Technical University Ostrava
Abstract:

A caterpillar \( R \) is a tree with the property that after deleting all vertices of degree 1, we obtain a path \( P \) or a single vertex. The path \( P \) is called the spine of caterpillar \( R \). If the spine has length 3 and \( R \) contains vertices of degrees \( r, s, 2, 2 \), where \( r, s > 2 \), then we say that \( R \) is a \( \{r, s, 2, 2\} \)-caterpillar of diameter 5. We completely characterize \( \{r, s, 2, 2\} \)-caterpillars of diameter 5 on \( 4k + 2 \) vertices that factorize \( K_{4k+2} \).

A. Rao1,2
1Formerly A. Baliga
2Part of this paper was presented at the invited talk at the Sixteenth Midwest Con- ference on Combinatorics, Cryptography and Computing, 16MCCCC, Southern Dlinois University, Carbondale, Nov 7 – 9, 2002.
Abstract:

In the theory of cocyclic self-dual codes, three types of equivalences are encountered: cohomology or the equivalence of cocycles, Hadamard equivalence or the equivalence of Hadamard matrices, and the equivalence of binary linear codes. There are some results relating the latter two equivalences, see Ozeki [12], but not when the Hadamard matrices are un-normalised.

Recently, Horadam [9] discovered shift action, whereby every finite group \( G \) acts as a group of automorphisms of \( Z = Z^2(G, C) \), the finite abelian group of cocycles from \( G \times G \to C \), for each abelian group \( C \). These automorphisms fix the subgroup of coboundaries \( B \leq Z \) setwise. This shift action of \( G \) on \( Z \) partitions each cohomology class of \( Z \).

Here we show that shift-equivalent cocycles generate equivalent Hadamard matrices and that shift-equivalent cocyclic Hadamard matrices generate equivalent binary linear codes.

Peter J. Larcombe1
1Derbyshire Business School University of Derby, Kedleston Road, Derby DE22 1GB, U.K
Abstract:

New identities involving the Catalan sequence ordinary generating function are developed, and a previously known one established from first principles using a hypergeometric approach.

Narad Rampersad1, Jeffrey Shalli1
1School of Computer Science University of Waterloo Waterloo, ON, N2L 3G1 CANADA
Abstract:

We examine words \( w \) satisfying the following property: if \( x \) is a subword of \( w \) and \( |x| \) is at least \( k \) for some fixed \( k \), then the reversal of \( x \) is not a subword of \( w \).

J. Li1, X. Liang1, H. Selveraj1, V. Muthukumar1, Laxmi P. Gewali1
1School of Computer Science University of Nevada, Las Vegas
Abstract:

For constructing routes in mobile ad-hoc networks (MANET) and sensor networks, it is highly desirable to perform primitive computations locally. If a network can be represented in the doubly connected edge list (DCEL) data structure, then many operations can be done locally. However, the DCEL data structure can be used to represent only planar graphs. In this paper, we propose an extended version of the DCEL data structure called ExtDCEL that can be used for representing non-planar graphs as well as their planar components. The proposed data structure can be used to represent geometric networks in mobile computing that include unit disk graphs, Gabriel graphs, and constrained Delaunay triangulations. We show how the proposed data structure can be used to implement a hybrid greedy face routing algorithm in optimum \( O(m) \) time, where \( m \) is the number of edges in the unit disk graph. We also report on the implementation of several routing algorithms for mobile computing by using the proposed data structure.

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

In this paper, we study the decomposition of the graph \( (\lambda D_v)^{+\alpha} \) into extended cyclic triples, for all \( \lambda \geq \alpha \). By an extended cyclic triple, we mean a loop, a loop with symmetric arcs attached (known as a lollipop), or a directed \( 3 \)-cycle (known as a cyclic triple).

R. Dios1, D.V. Chopra2
1New Jersey Institute of Technology Newark, New Jersey 07102, U.S.A.
2Wichita State University Wichita, Kansas 67260, U.S.A.
Abstract:

In this paper, we consider the problem of the non-existence of some orthogonal arrays (O-arrays) of strength four with two levels, the number of constraints \( k \) satisfying \( 4 \leq k \leq 32 \), and index set \( \lambda \) where \( 1 \leq \lambda \leq 64 \).

Nirmala B.Limaye1, Dinesh G.Sarvate2, Pantelimon Stanica3, Paul T.Young2
1Dept. of Mathematics, University of Mumbai, Vidyanagari, Mumbai 400 098, India
2Dept. of Mathematics, College of Charleston, Charleston, SC 29424, USA
3Dept. of Mathematics, Auburn University Montgomery, Montgomery, AL 36124, USA
Abstract:

We give a constructive proof that a planar graph on \( n \) vertices with degree of regularity \( k \) exists for all pairs \( (n,k) \) except for two pairs \( (7,4) \) and \( (14,5) \). We continue this theme by classifying all strongly regular planar graphs, and then consider a new class of graphs called \( 2 \)-\({strongly\; regular}\). We conclude with a conjectural classification of all planar \( 2 \)-strongly regular graphs.

Heiko Harborth1, Glenn Hurlbert2
1Diskrete Mathematik Technische Universitat Braunschweig 38023 Braunschweig Arizona State University Germany
2 Department of Mathematics Technische and Statistics Arizona State University Tempe, Arizona 85287-1804 USA
Abstract:

This paper answers the question as to whether every natural number \( n \) is realizable as the number of ones in the top portion of rows of a general binary Pascal triangle. Moreover, the minimum number \( \kappa(n) \) of rows is determined so that \( n \) is realizable.

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;