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 046
- Pages: 53-64
- Published: 31/08/2003
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 046
- Pages: 47-52
- Published: 31/08/2003
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 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 046
- Pages: 3-45
- Published: 31/08/2003
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 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 068
- Pages: 283-317
- Published: 31/07/2003
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 068
- Pages: 263-282
- Published: 31/07/2003
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 068
- Pages: 257-262
- Published: 31/07/2003
- Research article
- Full Text
- Ars Combinatoria
- Volume 068
- Pages: 243-256
- Published: 31/07/2003
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\)
- Research article
- Full Text
- Ars Combinatoria
- Volume 068
- Pages: 235-242
- Published: 31/07/2003
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\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 068
- Pages: 231-234
- Published: 31/07/2003
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 068
- Pages: 225-230
- Published: 31/07/2003
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\).




