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
- Ars Combinatoria
- Volume 036
- Pages: 7-26
- Published: 31/12/1993
A pairwise balanced design (PBD) of index \(I\) is a pair \((V,{A})\) where \(V\) is a finite set of points and \(A\) is a set of subsets (called blocks) of \(V\), each of cardinality at least two, such that every pair of distinct points of \(V\) is contained in exactly one block of \(A\). We may further restrict this definition to allow precisely one block of a given size, and in this case the design is called a PBD \((\{K, k^*\},v)\) where \(k\) is the unique block size, \(K\) is the set of other allowable block sizes, and \(v\) is the number of points in the design.
It is shown here that a PBD \((\{5, 9^*\},v)\) exists for all \(v \equiv 9\) or 17 mod 20, \(v \geq 37\), with the possible exception of \(49\), and that a PBD \((\{5, 13^*\},v)\) exists for all \(v \equiv 13 \mod 20\), \(v \geq 53\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 3-6
- Published: 31/12/1993
A partition \(\mathcal{D} = \{V_1, \ldots, V_m\}\) of the vertex set \(V(G)\) of a graph \(G\) is said to be a star decomposition if each \(V_i\) (\(1 \leq i \leq m\)) induces a star of order at least two.
In this note, we prove that a connected graph \(G\) has a star decomposition if and only if \(G\) has a block which is not a complete graph of odd order.
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 215-219
- Published: 31/12/1993
This note recapitulates the definition of a ‘double Youden rectangle’, which is a particular kind of balanced Graeco-Latin design obtainable by superimposing a second set of treatments on a Youden square, and reports the discovery of examples that are of size \(8 \times 1\). The method by which the examples were obtained seems likely to be fruitful for the construction of double Youden rectangles of larger sizes.
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 309-314
- Published: 31/12/1993
It has been shown that there exists a resolvable spouse-avoiding mixed-doubles round robin tournament for any positive integer \(v \neq 2, 3, 6\) with \(27\) possible exceptions. We show that such designs exist for \(19\) of these values and the only values for which the existence is undecided are: \(10, 14, 46, 54, 58, 62, 66\), and \(70\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 341-350
- Published: 31/12/1993
A graph \(G\) is homogeneously traceable if for each vertex \(v\) of \(G\) there exists a hamiltonian path in \(G\) with initial vertex \(v\). A graph is called claw-free if it has no induced \(K_3\) as a subgraph.
In this paper, we prove that if \(G\) is a \(k\)-connected (\(k > 1\)) claw-free graph of order \(n\) such that the sum of degrees of any \(k+2\) independent vertices is at least \(n-k\), then \(G\) is homogeneously traceable. For \(k=2\), the bound \(n-k\) is best possible.
As a corollary we obtain that if \(G\) is a \(2\)-connected claw-free graph of order \(n\) such that \(NC(G) \geq (n-3)/2\), where \(NC(G) = \min\{|N(u) \cup N(v)|: uv \notin E(G)\}\), then \(G\) is homogeneously traceable. Moreover, the bound \((n-3)/2\) is best possible.
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 335-340
- Published: 31/12/1993
In this note, we consider the problem of constructing magic rectangles of size \(m\) by \(n\), where \(m\) and \(n\) are both multiples of two. What seems to be a new and relatively simple method for constructing many such rectangles is presented.
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 327-334
- Published: 31/12/1993
In [Discrete Math.75(1989)69-99], Bondy conjectured that if \(G\) is a 2-edge-connected simple graph with \(n\) vertices, then \(G\) admits a double cycle cover with at most \(n – 1\) cycles. In this note, we prove this conjecture for graphs without subdivision of \(K_4\) and characterize all the extremal graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 315-326
- Published: 31/12/1993
In this paper, partial answers to some open problems on harmonious labelings of graphs listed in \([2]\) are given.
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 309-314
- Published: 31/12/1993
It has been shown that there exists a resolvable spouse-avoiding mixed-doubles round robin tournament for any positive integer \(v \neq 2, 3, 6\) with \(27\) possible exceptions. We show that such designs exist for \(19\) of these values and the only values for which the existence is undecided are: \(10, 14, 46, 54, 58, 62, 66\), and \(70\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 036
- Pages: 296-308
- Published: 31/12/1993
Partitions of all quadruples of an \(n\)-set into pairwise disjoint packings with no common triples, have applications in the design of constant weight codes with minimum Hamming distance 4. Let \(\theta(n)\) denote the minimal number of pairwise disjoint packings, for which the union is the set of all quadruples of the \(n\)-set. It is well known that \(\theta(n) \geq n-3 \text{ if } n \equiv 2 \text{ or } 4 \text{ (mod } 6),\) \(\theta(n) \geq n-2 \text{ if } n \equiv 0, 1, \text{ or } 3 \text{ (mod } 6),\) and \(\theta(n) \geq n-1 \text{ for } n \equiv 5 \text{ (mod } 6).\) \(\theta(n) = n-3\) implies the existence of a large set of Steiner quadruple systems of order \(n\). We prove that \(\theta(2^k) \leq 2^k-2, \quad k \geq 3,\) and if \(\theta(2n) \leq 2n-2, \quad n \equiv 2 \text{ or } 4 \text{ (mod } 6),\) then \(\theta(4n) \leq 4n-2.\) Let \(D(n)\) denote the maximum number of pairwise disjoint Steiner quadruple systems of order \(n\). We prove that \(D(4n) \geq 2n + \min\{D(2n), n-2\}, \quad n \equiv 1 \text{ or } 5 \text{ (mod } 6), \quad n > 7,\) and \(D(28) \geq 18.\)




