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.

A.J.W. Hilton1, Matthew Johnson2
1Department of Mathematics University of Reading Whiteknights P.O. Box 220 Reading RG6 6AX U.K.
2Department of Mathematics London School of Economics Houghton Street London WC2A 2AE U.K.
Abstract:

For a positive integer \(n\), let \(G\) be \(K_n\) if \(n\) is odd and \(K_n\) less a one-factor if \(n\) is even. In this paper it is shown that, for non-negative integers \(p\), \(q\) and \(r\), there is a decomposition of \(G\) into \(p\) \(4\)-cycles, \(q\) \(6\)-cycles and \(r\) \(8\)-cycles if \(4p + 6q + 8r = |E(G)|\), \(q = 0\) if \(n < 6\), and \(r = 0\) if \(n < 8\).

Chunlin Liu1
1Department of Mathematics, National University of Defense Technology, Changsha, Hunan 410073 P. R. China
Abstract:

This paper introduces a bijection between RNA secondary structures and bicoloured ordered trees.

Arie Bialostocki 1, Mark J.Nielsen1
1University of Idaho
Abstract:

For a given triangle \(T\), consider the problem of finding a finite set \(S\) in the plane such that every two-coloring of \(S\) results in a monochromatic set congruent to the vertices of \(T\). We show that such a set \(S\) must have at least seven points. Furthermore, we show by an example that the minimum of seven is achieved.

Nancy E.Clarke1, Emma L.Connon2
1Acadia University Wolfville, Nova Scotia
2University of Waterloo Waterloo, Ontario
Abstract:

The two games considered are mixtures of Searching and Cops and Robber. The cops have partial information, provided first via selected vertices of a graph, and then via selected edges. This partial information includes the robber’s position, but not the direction in which he is moving. The robber has perfect information. In both cases, we give bounds on the amount of such information required by a single cop to guarantee the capture of the robber on a cop-win graph.

Nam-Po Chiang1, Chien-Kuo Tzeng1
1Department of Applied Mathematics Tatung University, Taipei, Taiwan, ROC.
Zihong Tian1, Yanke Du2, Qingde Kang1
1Institute of Math., Hebei Normal University, Shijiazhuang 050016, P. R. China
2Dept. of Basic Courses, Ordnance Engineering College, Shijiazhuang 050003, P. R. China
Abstract:

Let \(K_v\) be the complete multigraph with \(v\) vertices. Let \(G\) be a finite simple graph. A \(G\)-design of \(K_v\), denoted by \(G\)-GD(\(v\)), is a pair of (\(X\), \(\mathcal{B}\)), where \(X\) is the vertex set of \(K_v\), and \(\mathcal{B}\) is a collection of subgraphs of \(K_v\), called blocks, such that each block is isomorphic to \(G\) and any two distinct vertices in \(K_v\) are joined in exactly one block of \(\mathcal{B}\). In this paper, the discussed graphs are sixteen graphs with six vertices and seven edges. We give a unified method for constructing such \(G\)-designs.

Andrea Vietri1
1Universita La Sapienza, Roma
Abstract:

Graceful labellings have both a mathematical beauty in their own right and considerable connections with pure and applied combinatorics (edge-decomposition of graphs, coding systems, communication networks, etc.). In the present paper, we exhibit a graceful labelling for each generalized Petersen graph \(P_{8t,3}\) with \(t \geq 1\). As a consequence, we obtain, for any fixed \(t\), a cyclic edge-decomposition of the complete graph \(K_{48t+1}\) into copies of \(P_{8t,3}\). Due to its extreme versatility, the technique employed looks promising for finding new graceful labellings, not necessarily involving generalized Petersen graphs.

Krystyna T.Balinska1, Louis V.Quintas2, Krzysztof T. Zwierzynski3
1The Technical University of Poznaii, pl. M. Skicdowskiej-Curie 5, 60-965 Poznazi, Poland
2Pace University, Pace Plaza, New York, NY 10038, U.S.A.
3The Technical University of Poznaii, pl. M. Skicdowskiej-Curie 5, 60-965 Poznazi, Poland,
Abstract:

A graph on \(n\) vertices having no vertex of degree greater than \(f\), \(2 \leq f \leq n – 2\), is called an \(f\)-graph of order \(n\). For a given \(f\), the vertices of degree less than \(f\) are called orexic. An \(f\)-graph to which no edge can be added without violating the \(f\)-degree restriction is called an edge maximal \(f\)-graph (EM \(f\)-graph). An upper bound, as a function of \(n\) and \(f\), for the number of orexic vertices in an EM \(f\)-graph and the structure of the subgraph induced by its orexic vertices is given. For any \(n\) and \(f\), the maximum size, minimum size, and realizations of extremal size EM \(f\)-graphs having \(m\) orexic vertices and order \(n\) are obtained. This is also done for any given \(n\) and \(f\) independent of \(m\). The number of size classes of EM \(f\)-graphs of order \(n\) and fixed \(m\) is determined. From this, the maximum number of size classes over all \(m\) follows. These results are related to the study of \((f + 1)\)-star-saturated graphs.

Iwao Sato1
1Oyama National College of Technology, Oyama, Tochigi 323-0806, JAPAN
Abstract:

We give a decomposition formula for the edge zeta function of a regular covering \(\overrightarrow{G}\) of a graph \(G\). Furthermore, we present a determinant expression for some \(Z\)-function of an oriented line graph \(\overrightarrow{L}(G)\) of \(G\). As a corollary, we obtain a factorization formula for the edge zeta function of \(\overrightarrow{G}\) by \(L\)-functions of \(\overrightarrow{L}(G)\).

Shin-Shin Kao1, Cheng-Kuan Lin2, Hua-Min Huang2, Lih-Hsing Hsu3
1Department of Ap- plied Mathematics, Chung-Yuan Christian University, Chong-li City, Tao- Yuan, Taiwan 320, R.O.C.
2Department of Mathematics, National Central University
3Information Engineering Department, Ta Hwa Institute of Technology
Abstract:

A hamiltonian graph \(G\) is panpositionable if for any two different vertices \(x\) and \(y\) of \(G\) and any integer \(k\) with \(d_G(x,y) \leq k \leq |V(G)|/2\), there exists a hamiltonian cycle \(C\) of \(G\) with \(d_C(x,y) = k\). A bipartite hamiltonian graph \(G\) is bipanpositionable if for any two different vertices \(x\) and \(y\) of \(G\) and for any integer \(k\) with \(d_G(x,y) \leq k \leq |V(G)|/2\) and \((k – d_G(x,y))\) is even, there exists a hamiltonian cycle \(C\) of \(G\) such that \(d_C(x,y) = k\). In this paper, we prove that the hypercube \(Q_n\) is bipanpositionable hamiltonian if and only if \(n \geq 2\). The recursive circulant graph \(G(n;1,3)\) is bipanpositionable hamiltonian if and only if \(n \geq 6\) and \(n\) is even; \(G(n; 1,2)\) is panpositionable hamiltonian if and only if \(n \in \{5,6,7,8,9, 11\}\), and \(G(n; 1, 2,3)\) is panpositionable hamiltonian if and only if \(n \geq 5\).

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;