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.

LeRoy B. Beasley1
1Department of Mathematics and Statistics, Utah State University, Logan, Utah
Abstract:

A mapping of the set of undirected simple (loopless) graphs to itself is a linear operator if it maps the edgeless graph to the edgeless graph and maps the union of graphs to the union of their images. A linear operator preserves a set if it maps that set to itself. We study linear operators that map sets defined by the restriction of their chromatic number. For example the set of all graphs whose chromatic number is at least \(k\) for some fixed \(3\leq k\leq n\). We show these linear operators must be vertex permutations.

Rao Li1
1Department of Computer Science, Engineering and Mathematics, University of South Carolina Aiken Aiken, SC 29801, USA
Abstract:

The first Zagreb index of a graph \(G\) is defined as \(\sum\limits_{u \in V} d_G^2(u)\), where \(d_G(u)\) is the degree of vertex \(u\) in \(G\). The algebraic connectivity of a graph \(G\) is defined as the second smallest eigenvalue of the Laplacian matrix of \(G\). Using Wagner’s inequality, we in this paper first obtain an upper bound for the algebraic connectivity that involves the first Zagreb index of a graph. Following the ideas of obtaining the upper bound, we present sufficient conditions involving the first Zagreb index and the algebraic connectivity for some Hamiltonian properties of graphs.

Johann Cigler1, Hans-Christian Herbig2
1Department of Mathematics, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria
2Departamento de Matematica Aplicada, Universidade Federal do Rio de Janeiro, Av. Athos da Silveira Ramos 149, Centro de Tecnologia – Bloco C, CEP: 21941-909, Rio de Janeiro, Brazil
Abstract:

We present a proof of a conjecture of Goh and Wildberger on the factorization of the spread polynomials. We indicate how the factors can be effectively calculated and exhibit a connection to the factorization of Fibonacci numbers into primitive parts.

Yuina Tanaka1,2
1Hosei University, 3-7-2 Kajino-cho, Koganei-shi, Tokyo, 184-8584, Japan
2Liberty University, Lynchburg, VA 24515, USA
Abstract:

For a graph \(G\), let \(la(G)\) denote the linear arboricity of \(G\) and \(\Delta(G)\) denote the maximum degree of \(G\). The famous linear arboricity conjecture was made by Akiyama, Exoo, and Harary [Covering and packing in graphs. IV. Linear arboricity] in 1981. It asserts that \(la(G) \leq \Bigl\lceil\frac{\Delta(G)+1}{2}\Bigr\rceil\). In this paper, we prove the linear arboricity conjecture for products of a path and a complete graph, and for products of a path and a tree.

Manoj Changat1, Antony Mathews2, Prasanth G. Narasimha-Shenoi3,4, Jayasree Thomas5
1Department of Future Studies, University of Kerala, Trivandrum – 695581, India
2Department of Mathematics, St Berchmans College (Autonomous), Changanassery – 686101, India
3Department of Mathematics, Government College Chittur, Palakkad – 678104, India
4Department of Collegiate Education, Government of Kerala, Thiruvananthapuram, India
5Department of Mathematics, Assumption College (Autonomous), Changanassery- 686101, India
Abstract:

Let \(G\) be a connected graph. The center function defined on \(G\) yields a set of vertices that minimizes the maximum distance from the given input vertices. Through axiomatic characterization of the center function, we identify the specific axioms that characterize its behavior on connected graphs. Universal axioms encompass the properties satisfied by the center function on all connected graphs. However, for some graphs, the center function cannot be fully characterized using universal axioms alone. To address this, a set of graph class-specific axioms, known as non-universal axioms, was introduced. In the case of book graphs (Cartesian product of star graph \(K_{1,n}\) and path \(P_2\)), the center function cannot be adequately characterized using known universal axioms. Therefore, in this context, we find an axiomatic characterization of the center function on book graphs using the universal axioms and one newly introduced Cycle Consensus \((CC)\) axiom.

Dalibor Froncek1
1University of Minnesota Duluth
Abstract:

A supermagic labeling (often also called vertex-magic edge labeling) of a graph \(G(V,E)\) with \(|E|=q\) is a bijection from \(E\) to the set of first \(k\) positive integers such that the sum of labels of all incident edges of every vertex \(x\in V\) is equal to the same integer \(c\). An existence of a supermagic labeling of Cartesian product of two cycles, \(C_{n}\Box C_m\) for \(n,m\geq4\) and both \(n,m\) even and for any \(C_n\Box C_n\) with \(n\geq3\) was proved by Ivančo. Ivančo also conjectured that such labeling is possible for any \(C_n\Box C_m\) with \(n,m\geq3\). We prove his conjecture for all \(n,m\) odd that are not relatively prime.

Zongtian Wei1,2, Weijie Fu2
1School of Computer Science, Xijing University, Xi’an, Shaanxi 710123, P.R.~China
2 Department of Mathematics, Xi’an University of Architecture and Technology, Xi’an, Shaanxi 710055, P.R.~China
Abstract:

Let \(G=(V,E)\) be a graph. For a vertex \(u\) of \(V(G)\), its closed neighborhood, \(N[S]\), is defined as \(N[u]=\{u\}\cup\{v|v\in V(G), v\neq u, u\) and \(v\) are adjacent in \(G \}\). A vertex subset \(S\) of \(V(G)\) is called a subversion strategy of \(G\) if each of the vertices in \(N[S]\) is deleted from \(G\). By \(G/S\) we denote the survival subgraph \(G-N[S]\). A subversion strategy \(S\) is called a cut strategy of \(G\) if \(G/S\) is disconnected, or is a clique, or is empty. In this paper, we revise the definition of neighbor-isolated scattering number, which was introduced by Aslan, as \(NIS(G)=\max\{i(G/S)-|S|\}\), where \(S\) represents a cut strategy of \(G\) such that every component of \(G/S\) is an isolated vertex or a clique, and \(i(G/S)\) represents the number of the components of \(G/S\). We discuss the relationship between this parameter and the structure of graphs. Some tight bounds and extremal graphs with given order and neighbor-isolated scattering number are determined.

Osamu Shimabukuro1
1Department of Mathematics, Faculty of Education, Gifu Shotoku Gakuen University, Gifu 500-8288, Japan
Abstract:

Let \(k\) be an odd prime and choose \(s\in\mathbb{Z}_k^\times\) with \(s^2\not\equiv \pm1\pmod{k}\) (hence \(k\ge7\)). We give a deterministic, purely algebraic construction of compound pandiagonal (Nasik) magic squares of order \(k^{2}\) with consecutive entries \(\{0,1,\dots,k^{4}-1\}\). The input is the \(k\times k\) Modular Inverse Shift (MIS) kernel \(M_s(i,j)=si+s^{-1}j\in\mathbb{Z}_k\), a classical linear Latin square. Our contribution is not a new Latin-square object, but a closed-form integration of: (i) orthogonality of \((M_s,M_s^{\mathsf T})\), (ii) toroidal diagonal-regularity, and (iii) a two-level base-\(k\) digit superposition producing a \(k^2\times k^2\) square with closed-form evaluation of entries. We encode four \(\mathbb{Z}_k\)-digits coming from \((M_s,M_s^{\mathsf T})\) at both the block level and the within-block level, obtaining an explicit formula \(P_s(I,J)\in\{0,\dots,k^{4}-1\}\). Orthogonality yields bijectivity, while a carry-sensitive diagonal decomposition proves that every broken diagonal of both slopes sums to the magic constant. Finally, evaluating block sums shows that the induced \(k\times k\) block-sum array is itself pandiagonal magic, establishing the compound property.

Francesco Fidaleo1
1Dipartimento di Matematica, Università di Roma Tor Vergata Via della Ricerca Scientifica 1, Roma 00133, Italy
Abstract:

We provide a hierarchy of “nonconventional ergodic theorems” in quantum setting involving operators and unitaries acting on the Hilbert space of the Gelfand-Naimark-Segal covariant representation associated to a reference \(C^*\)-dynamical system. The first two levels correspond to the Mean Ergodic Theorem by J. von Neumann involving a unitary, and the ergodic theorem by Kovács and Szúcs relative to unitarily implemented automorphisms of von Neumann algebras, respectively. As a consequence, we provide multiple correlation results concerning the ergodic behaviour of “three-operator” expectations.

Khaled Jawhar1, Evangelos Kranakis1
1School of Computer Science, Carleton University, Ottawa, ON, Canada
Abstract:

We study a search problem on capturing a moving target on an infinite real line. Two autonomous mobile robots (which can move with a maximum speed of 1) are initially placed at the origin, while an oblivious moving target is initially placed at distance d from the origin. The robots can move along the line in either direction, but the target is oblivious, cannot change direction, and moves either away from or toward the origin at a constant speed v. Our aim is to design efficient algorithms for two robots to capture the target. The target is captured only when both robots are co-located with it. The robots communicate only face-to-face (F2F), meaning they can exchange information only when co-located. We design algorithms under various knowledge scenarios regarding d, v, and the target’s direction of movement. We analyze competitive ratios, i.e., the capture time versus the optimal full-knowledge scenario, and show that our strategies use at most three direction changes.

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;