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.

Jan Kristian Haugland1
1Norwegian National Security Authority, Postboks 814, 1306 Sandvika, Norway
Abstract:

The generalized Petersen graph \(G(n,k)\) is a cubic graph with vertex set \(V(G(n,k))=\{v_i\}_{0 \leq i < n} \cup \{w_i\}_{0 \leq i < n}\) and edge set \(E(G(n,k))=\{v_i v_{i+1}\}_{0 \leq i < n} \cup \{w_i w_{i+k}\}_{0 \leq i < n} \cup \{v_i w_i\}_{0 \leq i < n}\) where the indices are taken modulo \(n\). Schwenk found the number of Hamiltonian cycles in \(G(n,2)\), and in this article we present initial conditions and linear recurrence relations for the number of Hamiltonian cycles in \(G(n,3)\) and \(G(n,4)\). This is attained by introducing \(G'(n,k)\), which is a modified version of \(G(n,k)\), and a subset of its subgraphs which we call admissible, and which are partitioned into different classes in such a manner that we can find relations between the number of admissible subgraphs of each class. The classes and their relations define a directed graph such that each strongly connected component is of a manageable size for \(k=3\) and \(k=4\), which allows us to find linear recurrence relations for the number of admissible subgraphs in each class in these cases. The number of Hamiltonian cycles in \(G(n,k)\) is a sum of the number of admissible subgraphs of \(G'(n,k)\) over a certain subset of the classes.

I. J. Dejter1, L. R. Fuentes2, C. A. Araujo3
1University of Puerto Rico, Rio Piedras, PR 00936-8377
2Universidad Abierta y a Distancia, Cartagena, Colombia
3Universidad del Atlantico, Barranquilla, Colombia
Abstract:

Perfect codes in the \(n\)-dimensional grid \(\Lambda_n\) of the lattice \(\mathbb{Z}^n\) (\(0<n\in\mathbb{Z}\)) and its quotient toroidal grids were obtained via the truncated distance in \(\mathbb{Z}^n\) given between \(u=(u_1,\cdots,u_n)\) and \(v=(v_1, \ldots,v_n)\) as the graph distance \(h(u,v)\) in \(\Lambda_n\), if \(|u_i-v_i|\le 1\), for all \(i\in\{1, \ldots,n\}\), and as \(n+1\), otherwise. Such codes are extended to superlattice graphs \(\Gamma_n\) obtained by glueing ternary \(n\)-cubes along their codimension 1 ternary subcubes in such a way that each binary \(n\)-subcube is contained in a unique maximal lattice of \(\Gamma_n\). The existence of an infinite number of isolated perfect truncated-metric codes of radius 2 in \(\Gamma_n\) for \(n=2\) is ascertained, leading to conjecture such existence for \(n>2\) with radius \(n\).

Yuzhuo Li 1,2,3
1Key Laboratory of Digital Earth Science, Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing, 100094, China
2International Research Center of Big Data for Sustainable Development Goals, Beijing, 100094, China
3University of Chinese Academy of Sciences, Beijing, 100049, China
Teng Zhang1, Guoqiang Hao1, Zhenhua Zhang2, Chenyu Song2, Chenxin Cui2
1Economics and Management School, Taiyuan University of Technology, Taiyuan, Shanxi, 030024, China
2Software School, Taiyuan University of Technology, Taiyuan, Shanxi, 030024, China
Runze Wang1
1Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152, USA
Abstract:

A graph \(G=(V,E)\) is said to be a \(k\)-threshold graph with thresholds \(\theta_1<\theta_2<…<\theta_k\) if there is a map \(r: V \longrightarrow \mathbb{R}\) such that \(uv\in E\) if and only if the number of \(i\in[k]\) with \(\theta_i\le r(u)+r(v)\) is odd. The threshold number of \(G\), denoted by \(\Theta(G)\), is the smallest positive integer \(k\) such that \(G\) is a \(k\)-threshold graph. In this paper, we determine the exact threshold numbers of cycles by proving \[\Theta(C_n)=\begin{cases} 1 & if\ n=3, \\ 2 & if\ n=4, \\ 4 & if\ n\ge 5, \end{cases}\] where \(C_n\) is the cycle with \(n\) vertices.

Reginaldo M. Marcelo1, Mark Anthony C. Tolentino1, Agnes D. Garciano1, Jude C. Buot1
1Department of Mathematics, Ateneo de Manila University, Quezon City, Philippines
Abstract:

Let G = (V, E) be a simple connected graph and W ⊆ V. For v ∈ V, the representation multiset or m-code of v is the multiset rm(v) = {d(v, w) ∣ w ∈ W}. If no two vertices in G have equal m-codes, then W is called an m-resolving set of G. The multiset dimension md(G) of G is the minimum possible cardinality of an m-resolving set of G, if such a set exists. If G does not possess an m-resolving set, then we say that G has infinite multiset dimension. In this paper, we show that all cylindrical graphs PmCn, where m, n ≥ 3, have finite multiset dimension. In particular, we show that md(PmCn) ≤ 4 if m ≥ 6 and n ≥ 3, or if m ≥ 3 and n ≥ 12. Moreover, if m ≥ 3 and n ≥ 8m + 1, we show that PmCn has multiset dimension 3.

A. N. Bhavale1, B. P. Aware1
1Department of Mathematics, PES Modern College of Arts, Science and Commerce(Autonomous), Shivajinagar, Pune 411005(affiliated to Savitribai Phule Pune University, Pune 411007), Maharashtra State, India
Abstract:

In 2020 Bhavale and Waphare introduced the concept of a nullity of a poset as nullity of its cover graph. According to Bhavale and Waphare, if a dismantlable lattice of nullity k contains r reducible  elements then 2 ≤ r ≤ 2k. In 2003 Pawar and Waphare counted all non-isomorphic lattices on n elements having nullity one, containing exactly two reducible elements. Recently, Bhavale and Aware counted all non-isomorphic lattices on n elements having nullity two, containing up to three  reducible elements. In this paper, we count up to isomorphism the class of all lattices on n elements having nullity two, containing exactly four reducible elements.

Tareq Abed Mohammed1, Ahmed K. Abbas2, Rasha Qays Aswad3
1College of Computer Science and Information Technology, University of Kirkuk, Iraq
2Collage of Education for Pure Science, University of Diyala, Iraq
3Collage of Education Al-Muqdad, University of Diyala, Iraq
Abstract:

In the era of big data, classical computing techniques face challenges in handling large and complex datasets. Quantum computing offers a transformative solution, especially in terms of real-time data processing speed. This study compares the performance of quantum and classical algorithms for large-scale data tasks. Results show that quantum algorithms achieve up to 70% faster processing and 30% greater computational efficiency, with scalability and an accuracy rate of 95% outperforming classical methods. Despite current limitations such as decoherence and error rates, ongoing advancements in quantum hardware and error correction highlight the potential of quantum computing to revolutionize data processing.

Mark Cooke1, Chris North2, Megan Dewar3, Brett Stevens3
1Network Appliance 495 East Java Drive Sunnyvale, CA 94089. U.S.A
2Tutte Institute for Mathematics and Computer Science 1929 Ogilvie Road Ottawa ON K1J 0B9, Canada
3School of Mathematics and Statistics Carleton University 1125 Colonel By Drive Ottawa ON K1S 5B6, Canada
Abstract:

In this paper we introduce a natural mathematical structure derived from Samuel Beckett’s play “Quad”. We call this structure a binary Beckett-Gray code. We enumerate all codes for \(n \leq 6\) and give examples for \(n=7,8\). Beckett-Gray codes can be realized as successive states of a queue data structure. We show that the binary reflected Gray code can be realized as successive states of two stack data structures.

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;