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 063
- Pages: 65-79
- Published: 30/11/2007
In this paper, we establish a doubling method to construct inequivalent Hadamard matrices of order \( 2n \), from Hadamard matrices of order \( n \). Our doubling method uses heavily the symmetric group \( S_n \), where \( n \) is the order of a Hadamard matrix. We improve the efficiency of the method by introducing some group-theoretical heuristics. Using the doubling method in conjunction with the standard 4-row profile criterion, we have constructed several millions of new inequivalent Hadamard matrices of orders \(48, 56, 64, 72, 80, 88, 96,\) and several hundreds of inequivalent Hadamard matrices of orders 672 and 856. The Magma code segments, included in this paper, allow one to compute many more inequivalent Hadamard matrices of the above orders and all other orders of the form \( 8t \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 063
- Pages: 47-63
- Published: 30/11/2007
In this paper, we determine analytically the number of balanced, unlabelled, 3-member covers of an unlabelled finite set, which is then used to find the number of non-isomorphic optimal lottery sets of cardinality three. We also determine numerically the number of non-isomorphic optimal playing sets for lotteries in which a single correct number is required to win a prize.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 063
- Pages: 37-45
- Published: 30/11/2007
A fire breaks out on a graph \( G \) and then \( f \) firefighters protect \( f \) vertices. At each subsequent interval, the fire spreads to all adjacent unprotected vertices, and firefighters protect \( f \) unburned vertices. Let \( f_G \) be the minimum number of firefighters needed to contain a fire on graph \( G \). If the triangular grid goes unprotected to time \( t = k \) when \( f_G \) firefighters arrive and begin protecting vertices, the fire can be contained by time \( t = 18k + 3 \) with at most \( 172k^2 + 58k + 5 \) vertices burned.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 063
- Pages: 33-35
- Published: 30/11/2007
A construction is given for a Restricted Sarvate-Beam Triple System in the case \( v = 8 \). This is the extremal case, since a Restricted SB Triple System cannot exist for \( v > 8 \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 063
- Pages: 17-32
- Published: 30/11/2007
A \( t \)-\((v, k, \lambda) \) covering is a set of blocks of size \( k \) such that every \( t \)-subset of a set of \( v \) points is contained in at least \( \lambda \) blocks. The cardinality of the set of blocks is the size of the covering. The covering number \( C_\lambda(v, k, t) \) is the minimum size of a \( t \)-\((v, k, \lambda) \) covering. In this article, we find upper bounds on the size of \( t \)-\((v, k, 2) \) coverings for \( t = 3, 4 \), \( k = 5, 6 \), and \( v \leq 18 \). Twelve of these bounds are the exact covering numbers.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 063
- Pages: 3-15
- Published: 30/11/2007
A tournament \(T = (V, A)\) is \({arc-traceable}\) if for each arc \(xy \in A\), \(xy\) lies on a directed path containing all the vertices of \(V\), i.e., a hamiltonian path. In this paper, we give two extremal results related to arc-traceability in tournaments. First, we show that a non-arc-traceable tournament \(T\) which is \(m\)-arc-strong must have at least \(2^{m+1}+4m-3\) vertices, and we construct an example that shows that this result is best possible. Next, we consider the maximum number of arcs in a strong tournament that are not part of any hamiltonian path. We use the structure of non-arc-traceable tournaments to prove that no strong tournament contains more than \(\frac{n^2-4n+3}{8}\) arcs that are not part of a hamiltonian path, and we give the unique example that shows that this bound is best possible.
- Research article
- Full Text
- Ars Combinatoria
- Volume 085
- Pages: 43-48
- Published: 31/10/2007
Minimal blocking sets of class \([h,k]\) with respect to the external lines to an elliptic quadric of \(\text{PG}(3,q)\), \(q \geq 5\) prime, are characterized.
- Research article
- Full Text
- Ars Combinatoria
- Volume 085
- Pages: 33-42
- Published: 31/10/2007
For every integer \(c\) and every positive integer \(k\), let \(n = r(c, k)\) be the least integer, provided that it exists, such that for every coloring
\[\Delta: \{1,2,\ldots,n\} \rightarrow \{0,1\},\]
there exist three integers, \(x_1, x_2, x_3\), (not necessarily distinct) such that
\[\Delta(x_1) = \Delta(x_2) = \Delta(x_3)\]
and
\[x_1+x_2+c= kx_3.\]
If such an integer does not exist, then let \(r(c, k) = \infty\). The main result of this paper is that
\[r(c,2) =
\begin{cases}
|c|+1 & \text{if } c \text{ is even} \\
\infty & \text{if } c \text{ is odd}
\end{cases}\]
for every integer \(c\). In addition, a lower bound is found for \(r(c, k)\) for all integers \(c\) and positive integers \(k\) and linear upper and lower bounds are found for \(r(c, 3)\) for all positive integers \(c\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 085
- Pages: 361-368
- Published: 31/10/2007
Let \(C_n\) denote the cycle with \(n\) vertices, and \(C_n^{(t)}\) denote the graphs consisting of \(t\) copies of \(C_n\) with a vertex in common. Koh et al. conjectured that \(C_n^{(t)}\) is graceful if and only if \(nt \equiv 0,3 \pmod 4\). The conjecture has been shown true for \(n = 3,5,6,7,4k\). In this paper, the conjecture is shown to be true for \(n = 9\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 085
- Pages: 405-413
- Published: 31/10/2007
In this paper, we define the hyperbolic modified Pell functions by the modified Pell sequence and classical hyperbolic functions. Afterwards, we investigate the properties of the modified Pell functions.




