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.

Jian-Hua Yin1, Gang Chen2, Guo-Liang Chen3
1Department of Computer Science, Hainan Normal University, Haikou 571158, China College of Information Science and Technology, Hainan University, Haikou 570228, China
2Department of Mathematics, Ningxia University, Yinchuan 750021, China
3Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China
Abstract:

For given integers \( k \) and \( \ell \), \( 3 \leq k \leq \ell \), a graphic sequence \( \pi = (d_1, d_2, \dots, d_n) \) is said to be potentially \({}_{k}C_\ell\)-graphic if there exists a realization of \( \pi \) containing \( C_r \), for each \( r \), where \( k \leq r \leq \ell \) and \( C_r \) is the cycle of length \( r \). Luo (Ars Combinatoria 64(2002)301-318) characterized the potentially \( C_\ell \)-graphic sequences without zero terms for \( r = 3, 4, 5 \). In this paper, we characterize the potentially \({}_{k}C_\ell\)-graphic sequences without zero terms for \( k = 3, 4 \leq \ell \leq 5 \) and \( k = 4, \ell = 5 \).

William F.Klostermeyer1
1Dept. of Computer and Information Sciences University of North Florida Jacksonville, FL 32224-2669
Abstract:

We show that deciding if a set of vertices is an eternal \(1\)-secure set is complete for \(\text{co-}NP^{\text{NP}}\), solving a problem stated by Goddard, Hedetniemi, and Hedetniemi \([JCMCC, \text{vol. 52}, \text{pp. 160-180}]\).

R.G. Stanton1
1Department of Computer Science University of Manitoba Winnipeg, MB, Canada R3T 2N2
Abstract:

A Sarvate-Beam type of triple system is defined in the case \( v \equiv 2 \pmod{3} \) and an enumeration is given of such systems for \( v = 5 \).

Mark Anderson1, Christian Barrientos2, Robert C.Brigham2, Julie R.Carrington1, Richard P.Vitray1, Jay Yellen1
1Department of Mathematical Sciences, Rollins College, Winter Park, FL 32789
2Department of Mathematics, University of Central Florida, Orlando, FL 32816
Abstract:

Informally, a set of guards positioned on the vertices of a graph \( G \) is called eternally secure if the guards are able to respond to vertex attacks by moving a single guard along a single edge after each attack regardless of how many attacks are made. The smallest number of guards required to achieve eternal security is the eternal security number of \( G \), denoted \( es(G) \), and it is known to be no more than \( \theta_v(G) \), the vertex clique cover number of \( G \). We investigate conditions under which \( es(G) = \theta_v(G) \).

Tlias S.Kotsireas1, Christos Koukouvinos2
1Wilfrid Laurier University, Department of Physics and Computer Science, 75 University Avenue West, Waterloo, Ontario N2L 3C5, Canada.
2Department of Mathematics, National Technical University of Athens, Zografou 15773, Athens, Greece.
Abstract:

We apply Computational Algebra methods to the construction of Hadamard matrices from two circulant submatrices, given by C. H. Yang. We associate Hadamard ideals to this construction, to systematize the application of Computational Algebra methods. Our approach yields an exhaustive search for Hadamard matrices from two circulant submatrices for this construction, for the first eight admissible values \(2, 4, 8, 10, 16, 18, 20, 26\) and partial searches for the next three admissible values \(32, 34, 40\). From the solutions we found, for the admissible values \(26\) and \(34\), we located new inequivalent Hadamard matrices of orders \(52\) and \(68\) with two circulant submatrices, thus improving the lower bounds for the numbers of inequivalent Hadamard matrices of orders \(52\) and \(68\). We also propose a heuristic decoupling of one of the equations arising from this construction, which can be used together with the PSD test to search for solutions more efficiently.

Italo J.Dejter1, Abel A.Delgado1
1University of Puerto Rico University of Puerto Rico Rio Piedras, PR 00931-3355 Rio Piedras, PR 00931-3355
Abstract:

A Hamilton cycle in an \( n \)-cube is said to be \( k \)-warped if its \( k \)-paths have their edges running along different parallel \( 1 \)-factors. No Hamilton cycle in the \( n \)-cube can be \( n \)-warped. The equivalence classes of Hamilton cycles in the \( 5 \)-cube are represented by the circuits associated to their corresponding minimum change-number sequences, or minimum \( H \)-circuits. This makes feasible an exhaustive search of such Hamilton cycles allowing their classification according to class cardinalities, distribution of change numbers, duplicity, reversibility, and \( k \)-warped representability, for different values of \( k < n \). This classification boils down to a detailed enumeration of a total of \( 237675 \) equivalence classes of Hamilton cycles in the \( 5 \)-cube, exactly four of which do not traverse any sub-cube. One of these four classes is the unique class of \( 4 \)-warped Hamilton cycles in the \( 5 \)-cube. In contrast, there is no \( 5 \)-warped Hamilton cycle in the \( 6 \)-cube. On the other hand, there is exactly one class of Hamilton cycles in the graph of middle levels of the \( 5 \)-cube. A representative of this class possesses an elegant geometrical and symmetrical disposition inside the \( 5 \)-cube.

KM. Kathiresan1, G. Marimuthu1
1Department of Mathematics Ayya Nadar Janaki Ammal College (Autonomous) Sivakasi West- 626 124, Tamilnadu, India.
Abstract:

The main objective of this paper is to introduce a generalization of distance called superior distance in graphs. For two vertices \( u \) and \( v \) of a connected graph, we define \( \text{D}_{u,v} = \text{N}[u] \cup \text{N}[v] \). We define a \( \text{D}_{u,v} \)-walk as a \( u \)-\( v \) walk that contains every vertex of \( \text{D}_{u,v} \). The superior distance \( \text{d}_D(u,v) \) from \( u \) to \( v \) is the length of a shortest \( \text{D}_{u,v} \)-walk. In this paper, first we give the bounds for the superior diameter of a graph and a property that relates the superior eccentricities of adjacent vertices. Finally, we investigate those graphs that are isomorphic to the superior center of some connected graph and those graphs that are isomorphic to the superior periphery of some connected graph.

Ebrahim Salehi1, Patrick Bennett1
1Department of Mathematical Sciences University of Nevada Las Vegas Las Vegas, NV 89154-4020.
Abstract:

For any \( h \in \mathbb{N} \), a graph \( G = (V, E) \) is said to be \( h \)-magic if there exists a labeling \( l: E(G) \to \mathbb{Z}_h – \{0\} \) such that the induced vertex set labeling \( l^+: V(G) \to \mathbb{Z}_h \) defined by

\[l^+(v) = \sum_{uv \in E(G)} l(uv)\]

is a constant map. For a given graph \( G \), the set of all \( h \in \mathbb{Z}_+ \) for which \( G \) is \( h \)-magic is called the integer-magic spectrum of \( G \) and is denoted by \( IM(G) \). The concept of integer-magic spectrum of a graph was first introduced in [4]. But unfortunately, this paper has a number of incorrect statements and theorems. In this paper, first we will correct some of those statements, then we will determine the integer-magic spectra of caterpillars.

Chunhui Lai1
1Department of Mathematics Zhangzhou Teachers College, Zhangzhou Fujian 363000, P. R. of CHINA.
Abstract:

A sequence \( S \) is potentially \( K_{m}-C_4 \)-graphical if it has a realization containing a \( K_m-C_4 \) as a subgraph. Let \( \sigma(K_m-C_4,n) \) denote the smallest degree sum such that every \( n \)-term graphical sequence \( S \) with \( \sigma(S) \geq \sigma(K_m-C_4,n) \) is potentially \( K_m-C_4 \)-graphical. In this paper, we prove that \( \sigma(K_m-C_4,n) \geq (2m-6)n-(m-3)(m-2)+2 \), for \( n \geq m \geq 4 \). We conjecture that equality holds for \( n \geq m \geq 4 \). We prove that this conjecture is true for \( m = 5 \).

Bill Calhoun1, Kevin Ferland1, Lisa Lister1, John Polhill1
1Department of Mathematics, Computer Science, and Statistics Bloomsburg University, Bloomsburg, PA 17815
Abstract:

In 1975, Leech introduced the problem of finding trees whose edges can be labeled with positive integers in such a way that the set of distances (sums of weights) between vertices is \(\{1, 2, \dots, \binom{n}{2}\}\), where \(n\) is the number of vertices. We refer to such trees as perfect distance trees. More generally, we define a distinct distance tree to be a weighted tree in which the distances between vertices are distinct. In this article, we focus on identifying minimal distinct distance trees. These are the distinct distance trees on \(n\) vertices that minimize the maximum distance between vertices. We determine \(M(n)\), the maximum distance in a minimal distinct distance tree on \(n\) vertices, for \(n \leq 10\), and give bounds on \(M(n)\) for \(n \geq 11\). This includes a determination of all perfect distance trees for \(n < 18\). We then consider trees according to their diameter and show that there are no further perfect distance trees with diameter at most \(3\). Finally, generalizations to graphs, forests, and distinct distance sets are considered.

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;