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.

Richard Bilous1
1Concordia University Department of Computer Science
Abstract:

It is known that if a \( (22,33,12,8,4) \)-BIBD exists, then its incidence matrix is contained in a \( (33,16) \) doubly-even self-orthogonal code (that does not contain a coordinate of zeros). There are 594 such codes, up to equivalence. It has been theoretically proven that 116 of these codes cannot contain the incidence matrix of such a design. For the remaining 478 codes, an exhaustive clique search may be tried, on the weight 12 words of a code, to determine whether or not it contains such an incidence matrix. Thus far, such a search has been used to show 299 of the 478 remaining codes do not contain the incidence matrix of a \( (22,33,12,8,4) \)-BIBD.

In this paper, an outline of the method used to search the weight 12 words of these codes is given. The paper also gives estimations on the size of the search space for the remaining 179 codes. Special attention is paid to the toughest cases, namely the 11 codes that contain 0 weight 4 words and the 21 codes that contain one and only one weight 4 word.

Heiko Harborth1, Markus Seemann1
1Technische Universitat Braunsclweig D-38023 Braunschweig, Germany
Abstract:

Given a polyomino \( P \) with \( n \) cells, two players \( A \) and \( B \) alternately color the cells of the square tessellation of the plane. In the case of \( A \)-achievement, player \( A \) tries to achieve a copy of \( P \) in his color and player \( B \) tries to prevent \( A \) from achieving a copy of \( P \). The handicap number \( h(P) \) denotes the minimum number of cells such that a winning strategy exists for player \( A \). For all polyominoes that form a square of \( n = s^2 \) square cells, the handicap number will be determined to be \( s^2 – 1 \).

Gennian Ge1, Malcolm Greig2, Jennifer Seberry3
1Department of Mathematics, Suzhou University, Suzhou, 215006, P. R. China
2Greig Consulting, 317-130 East 11th St., North Vancouver, BC, Canada V7L 4R3
3School of Information Technology and Computer Science, University of Wollongong, Wollongong, NSW 2522, Australia.
Abstract:

De Launey and Seberry have looked at the existence of Generalized Bhaskar Rao designs with block size 4 signed over elementary Abelian groups and shown that the necessary conditions for the existence of a \( (v, 4, \lambda; EA(g)) \) GBRD are sufficient for \( \lambda > g \) with 70 possible basic exceptions. This article extends that work by reducing those possible exceptions to just a \( (9, 4, 18h; EA(9h)) \) GBRD, where \( \gcd(6, h) = 1 \), and shows that for \( \lambda = g \) the necessary conditions are sufficient for \( v > 46 \).

Robert C.Brigham1, Julie R.Carrington2, Richard P.Vitray2, Donna J.Williams3, Jay Yellen2
1Department of Mathematics University of Central Florida, Orlando FL 32816
2Department of Mathematical Sciences Rollins College, Winter Park FL 32789
3Department of Mathematics and Computer Science Stetson University, DeLand FL 32724
Abstract:

Let \(G = (V,E)\) be an n-vertex graph and \(f : V \rightarrow \{1,2,\ldots,n\}\) be a bijection. The additive bandwidth of \(G\), denoted \(B^+(G)\), is given by \(B^+(G) = \min_{f} \max_{u,v\in E} |f(u) + f(v) – (n+1)|\), where the minimum ranges over all possible bijections \(f\). The additive bandwidth cannot decrease when an edge is added, but it can increase to a value which is as much as three times the original additive bandwidth. The actual increase depends on \(B^+(G)\) and n and is completely determined.

Spencer P.Hurd1, Dinesh G.Sarvate2
1Dept. of Mathematics and Computer Science, The Citadel, Charleston, SC, 29409,
2Department of Mathematics, University of Charleston, Charleston, SC, 29424,
Abstract:

In Minimal Enclosings of Triple Systems I, we solved the problem of minimal enclosings of \(\text{BIBD}(v, 3, \lambda)\) into \(\text{BIBD}(v+1, 3, \lambda+m)\) for \(1 \leq \lambda \leq 6\) with a minimal \(m \geq 1\). Here we consider a new problem relating to the existence of enclosings for triple systems for any \(v\), with \(1 < 4 < 6\), of \(\text{BIBD}(v, 3, \lambda)\) into \(\text{BIBD}(v+s, 3, \lambda+1)\) for minimal positive \(s\). The non-existence of enclosings for otherwise suitable parameters is proved, and for the first time the difficult cases for even \(\lambda\) are considered. We completely solve the case for \(\lambda \leq 3\) and \(\lambda = 5\), and partially complete the cases \(\lambda = 4\) and \(\lambda = 6\). In some cases a \(1\)-factorization of a complete graph or complete \(n\)-partite graph is used to obtain the minimal enclosing. A list of open cases for \(\lambda = 4\) and \(\lambda = 6\) is attached.

Zhizheng Zhang 1, Hong Feng1
1Department of Applied Mathematics, Dalian University of Technology Dalian 116024, P.R.China
Dan Archdeacon1, C.Paul Bonnington2, Marisa Debowsky1, Michael Prestidge3
1Dept. of Math. and Stat. University of Vermont Burlington, VT 05405 USA
2Dept. of Mathematics University of Auckland Auckland, New Zealand
3Dept. of Mathematics University of Auckland ‘Auckland, New Zealand
Abstract:

Halin’s Theorem characterizes those locally finite infinite graphs that embed in the plane without accumulation points by giving a set of six topologically-excluded subgraphs. We prove the analogous theorem for graphs that embed in an open Möbius strip without accumulation points. There are \(153\) such obstructions under the ray ordering defined herein. There are \(350\) obstructions under the minor ordering. There are \(1225\) obstructions under the topological ordering. The relationship between these graphs and the obstructions to embedding in the projective plane is similar to the relationship between Halin’s graphs and \(\{K_5, K_{3,3}\}.^1\)

Arne Hoffmann1
1Lehrstuhl C fiir Mathematik RWTH Aachen
Abstract:

In [5] Pila presented best possible sufficient conditions for a regular \(\sigma\)-connected graph to have a \(1\)-factor, extending a result of Wallis [7]. Here we present best possible sufficient conditions for a \(\sigma\)-connected regular graph to have a \(k\)-factor for any \(k \geq 2\).

Martin Kochol1
1MU SAV, Stefénikova 49, 814 73 Bratislava 1, Slovakia
Abstract:

We find a maximal number of directed circuits (directed cocircuits) in a base of a cycle (cut) space of a digraph. We show that this space has a base composed of directed circuits (directed cocircuits) if and only if the digraph is totally cyclic (acyclic). Furthermore, this basis can be considered as an ordered set so that each element of the basis has an arc not contained in the previous elements.

Mage Z. Youssef1
1Department of Mathematics, Faculty of Science Ain Shams University, Abbassia, Cairo, Egypt.
Abstract:

In this paper, we show that if \(G\) is a harmonious graph, then \((2n+1)G\) (the disjoint union of \(2n+1\) copies of \(G\)) and \(G ^{(2n+1)}\) (the graph consisting of \(2n+1\) copies of \(G\) with one fixed vertex in common) are harmonious for all \(n \geq 0\).

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;