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.

Dan McQuillan1
1Department of Mathematics, Norwich University, Vermont 05663, USA.
Abstract:

Let \( G_1 \) and \( G_2 \) be any two 2-regular graphs, each with \( n \) vertices. Let \( G \) be any cubic graph obtained from \( G_1 \) and \( G_2 \) by adding \( n \) edges, each of which joins a vertex in \( G_1 \) to a vertex in \( G_2 \). We show that \( G \) has a myriad of vertex-magic total labelings, with at least three different magic constants. This class of cubic graphs includes all generalized Petersen graphs.

Rumen N.Daskalov1, T.Aaron Gulliver2
1Department of Mathematics, Technical University, 5300 Gabrovo, Bulgaria
2Department of Electrical and Computer Engeneering, University of Victoria, P.O. Box 3055, STN CSC, Victoria, BC, Canada V8W 3P6
Abstract:

Let \( [n,k,d]_q \) codes be linear codes of length \( n \), dimension \( k \), and minimum Hamming distance \( d \) over \( GF(q) \). In this paper, the existence of the following codes is proven: \([42, 6, 30]_8, [49, 6, 36]_8, [78, 6, 60]_8, [84, 6, 65]_8, [91, 6, 71]_8, [96, 6, 75]_8, [102, 6, 80]_8, [108, 6, 85]_8, [114, 6, 90]_8,\)\(\text{and} \quad [48, 6, 35]_9, [54, 6, 40]_9, [60, 6, 45]_9, [96, 6, 75]_9, [102, 6, 81]_9, [108, 6, 85]_9, [114, 6, 90]_9, [126, 6, 100]_9, [132, 6, 105]_9.\) The nonexistence of five codes over \( GF(9) \) is also proven. All of these results improve the respective upper and lower bounds in Brouwer’s table [2].

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 obtain some necessary existence conditions for bi-level balanced arrays of strength six by using some classical inequalities and by expressing the moments of the weights of the columns of such arrays in terms of its parameters. We present some illustrative examples to compare these results with the earlier known results.

Abstract:

This paper describes a comprehensive approach to the analysis and synthesis of tree-structured communication networks. First, a class of models for tree-structured communication networks is proposed. Then, performance parameters such as communication delays and network reliability are defined, and efficient algorithms for calculating these parameters are provided. Subsequently, an application of a powerful tree-generating algorithm to the synthesis of optimal communication networks is described. The universal approach of this algorithm allows for its use in conjunction with the proposed model and the algorithms for calculating values of performance parameters. The paper shows sample optimal tree-structured networks resulting from applying the synthesis algorithm for various optimization parameters.

Gary Chartrand1, David Erwin2, Garry L.Johns3, Ping Zhang4
1Western Michigan University
2 Trinity College
3Saginaw Valley State University
4 Western Michigan University
Abstract:

A vertex \( v \) of a connected graph \( G \) is an eccentric vertex of a vertex \( u \) if \( v \) is a vertex at greatest distance from \( u \); while \( v \) is an eccentric vertex of \( G \) if \( v \) is an eccentric vertex of some vertex of \( G \). The subgraph of \( G \) induced by its eccentric vertices is the eccentric subgraph of \( G \).

A vertex \( v \) of \( G \) is a boundary vertex of a vertex \( u \) if \( d(u,w) \leq d(u,v) \) for each neighbor \( w \) of \( v \). A vertex \( v \) is a boundary vertex of \( G \) if \( v \) is a boundary vertex of some vertex of \( G \). The subgraph of \( G \) induced by its boundary vertices is the boundary of \( G \). A vertex \( v \) is an interior vertex of \( G \) if for every vertex \( u \) distinct from \( v \), there exists a vertex \( w \) distinct from \( v \) such that \( d(u,w) = d(u,v) + d(v,w) \). The interior of \( G \) is the subgraph of \( G \) induced by its interior vertices. A vertex \( v \) is a boundary vertex of a connected graph if and only if \( v \) is not an interior vertex. For every graph \( G \), there exists a connected graph \( H \) such that \( G \) is both the center and interior of \( H \).

Relationships between the boundary and the periphery, center, and eccentric subgraph of a graph are studied. The boundary degree of a vertex \( v \) in a connected graph \( G \) is the number of vertices \( u \) in \( G \) having \( v \) as a boundary vertex. We study, for each pair \( r,n \) of integers with \( r \geq 0 \) and \( n \geq 3 \), the existence of a connected graph \( G \) of order \( n \) such that every vertex of \( G \) has boundary degree \( r \). We also study the boundary vertices of a connected graph from different points of view.

Purwanto 1
1Department of Mathematics Malang University Jalan Surabaya 6, Malang, 65145, Indonesia
Abstract:

Let \( G \) be a simple graph having a maximum matching \( M \). The deficiency \( \text{def}(G) \) of \( G \) is the number of vertices unsaturated by \( M \). A bridge in a connected graph \( G \) is an edge \( e \) of \( G \) such that \( G-e \) is disconnected. A graph is said to be almost cubic (or almost 3-regular) if one of its vertices has degree \( 3 + e \), \( e \geq 0 \), and the others have degree 3. In this paper, we find the minimum number of bridges of connected almost cubic graphs with a given deficiency.

M. Gruttmuller1, IT. Roberts2, R.G. Stanton3
1DEPARTMENT OF MATHEMATICS, UNIVERSITY oF Ros- ToOCcK, 18051 Rosrock, GERMANY
2Scioon of EXGincenixG, Norrnbrn Tenarrony UNIvir- sry, Darwin, NT, 0909, AUSTRALIA
3 DEPAITEMENT OF COMPUTER SCIENCE, UNIVERSITY OF MAN- lrona, WINNIPEG, Canapa R&T 2N2
Abstract:

The cardinality of the minimal pairwise balanced designs on \( v \) elements with largest block size \( k \) is denoted by \( g^{(k)}(v) \). It is known that \(30 \leq g^{(4)}(18) \leq 33.\)In this note, we show that \(31 \leq g^{(4)}(18).\)

Diane Donovan1, Abdollah Khodkar1
1Centre for Discrete Mathematics and Computing Department of Mathematics The University of Queensland Queensland 4072 Australia
Abstract:

In this paper, we introduce two new classes of critical sets, \( t \)-uniform and \( T \)-uniform (where \( t \) is a positive integer and \( T \) is a partial Latin square). We identify, up to isomorphism, all \( t \)-uniform critical sets of order \( n \), where \( 2 \leq n \leq 6 \). We show that the completable product of two \( T \)-uniform critical sets is a \( T \)-uniform critical set for certain partial Latin squares \( T \), and then apply this theorem to small examples to generate infinite families of \( T \)-uniform critical sets.

Raphael Yuster1
1Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel.
Abstract:

Let \(G\) be a graph with integral edge weights. A function \(d: V(G) \to \mathbb{Z}_p\) is called a nowhere \(0 \mod p\) domination function if each \(v \in V\) satisfies \((\sum_{u \in N(v)} w(u,v)d(u))\neq 0 \mod p\), where \(w(u,v)\) denotes the weight of the edge \((u,v)\) and \(N(v)\) is the neighborhood of \(v\). The subset of vertices with \(d(v) \neq 0\) is called a nowhere \(0 \mod p\) dominating set. It is known that every graph has a nowhere \(0 \mod 2\) dominating set. It is known to be false for all other primes \(p\). The problem is open for all odd \(p\) in case all weights are one.

In this paper, we prove that every unicyclic graph (a graph containing at most one cycle) has a nowhere \(0 \mod p\) dominating set for all \(p > 1\). In fact, for trees and cycles with any integral edge weights, or for any other unicyclic graph with no edge weight of \((-1) \mod p\), there is a nowhere \(0 \mod p\) domination function \(d\) taking only \(0-1\) values. This is the first nontrivial infinite family of graphs for which this property is established. We also determine the minimal graphs for which there does not exist a \(0 \mod p\) dominating set for all \(p > 1\) in both the general case and the \(0-1\) case.

C.Paul Bonnington1, Tomaz Pisanski2
1Department of Mathematics University of Auckland Private Bag 92019 Auckland, New Zealand
2IMFM/TCS University of Ljubljana Jadranska 19 SI-1000, Ljubljana, Slovenia
Abstract:

We apply the technique of patchwork embeddings to find orientable genus embeddings of the Cartesian product of a complete regular tripartite graph with an even cycle. In particular, the orientable genus of \(K_{m,m,m} \times C_{2n}\) is determined for \(m \geq 1\) and for all \(n \geq 3\) and \(n = 1 \). For \(n = 2\) both lower and upper bounds are given.

We see that the resulting embeddings may have a mixture of triangular and quadrilateral faces, in contrast to previous applications of the patchwork method.

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;