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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 141-148
- Published: 24/05/2007
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 \).
- Research article
- Full Text
- Ars Combinatoria
- Volume 061
- Pages: 135-140
- Published: 31/05/2007
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}]\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 129-134
- Published: 31/05/2007
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 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 111-127
- Published: 31/05/2007
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) \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 97-110
- Published: 31/05/2007
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 81-95
- Published: 31/05/2007
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 73-80
- Published: 31/05/2007
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 65-71
- Published: 31/05/2007
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 59-63
- Published: 31/05/2007
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 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 061
- Pages: 33-57
- Published: 31/05/2007
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.




