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 026
- Pages: 213-224
- Published: 28/02/1998
We introduce a generalisation of the concept of a complete mapping of a group, which we call a quasi-complete mapping, and which leads us to a generalised form of orthogonality in Latin squares. In particular, the existence of a quasi-complete mapping of a group is shown to be sufficient for the existence of a pair of Latin squares such that if they are superimposed so as to form an array of unordered pairs, each unordered pair of distinct elements occurs exactly twice. We call such a pair of Latin squares quasi-orthogonal and prove that an abelian group possesses a quasi-complete mapping if and only if it is not of the form \(\mathbb{Z}_{4m+2} \oplus G\), \(|G|\) odd. In developing the theory of quasi-complete mappings, we show that the well-known concept of a quasi-complete Latin square arises quite naturally in this setting. We end the paper by giving a sufficient condition for the existence of a pair of quasi-orthogonal Latin squares which are also quasi-row-complete.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 193-212
- Published: 28/02/1998
For different properties \(\mathcal{P}\) of a connected graph \(G\), we characterize the connected graphs \(F\) (resp. the pairs \((X,Y)\) of connected graphs) such that \(G\) has Property \(\mathcal{P}\) if \(G\) does not admit \(F\) (resp. neither \(X\) nor \(Y\)) as an induced subgraph.We consider here the lower independence, domination, and irredundance parameters, which are related by the well-known inequalities \(ir \leq \gamma \leq i \leq \alpha \leq \Gamma \leq IR\), and the properties \(\mathcal{P}\) correspond to the equality between some
of these parameters.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 177-192
- Published: 28/02/1998
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 165-176
- Published: 28/02/1998
Given that an array \(A[i_{1}, \ldots, i_{d}]\), \(1 \leq i_1 \leq m, \ldots 1 \leq i_d \leq m\), has a \({period}\) \(A[p_{1}, \ldots, p_{d}]\) of dimension \(p_1 \times \cdots p_{d}\) if \(A[i_{1}, \ldots, i_{d}] = A[i_{1} + p_{1}, \ldots, i_{d} + p_{d}]\) for \(i_{1}, \ldots, i_{d} = 1, \ldots, m – (p_{1}, \ldots, p_{d})\). The \({period}\) of the array is \(A[p_{1}, \ldots, p_{d}]\) for the shortest such \(q = p_{1}, \ldots, p_{d}\).Consider this array \(A\); we prove a lower bound on the computation of the period length less than \(m^{d}/2^d\) of \(A\) with time complexity
\[
\Omega({\log \log_a m}), \text{ where } a = m^{d^2}
\]
for \(O(m^d)\) work on the CRCW PRAM model of computation.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 161-164
- Published: 28/02/1998
This paper contains a characterization of Baer \(^*\)-rings with finitely many elements in terms of matrix rings over finite fields. As an application, one can easily verify whether a given matrix ring over a finite field is a Baer \(^*\)-ring or not.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 147-160
- Published: 28/02/1998
A function \(f: V \rightarrow \mathbb{R}\) is defined to be an \(\mathbb{R}\)-dominating function of graph \(G = (V, E)\) if the sum of the function values over any closed neighbourhood is at least 1. That is, for every \(v \in V\),
\(f(N(v) \cup \{v\}) \geq 1\).The \(\mathbb{R}\)-domination number \(\gamma_{\mathbb{R}}(G)\) of \(G\) is defined to be the infimum of \(f(V)\) taken over all \(\mathbb{R}\)-dominating functions \(f\) of \(G\).In this paper, we investigate necessary and sufficient conditions for \(\gamma_{\mathbb{R}}(G) = \gamma(G)\), where \(\gamma(G)\) is the standard domination number.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 139-146
- Published: 28/02/1998
It is shown that the determinant of the variable adjacency matrix, and hence the determinant of the adjacency matrix of a graph, are circuit polynomials. From this, it is deduced that determinants of symmetric matrices are indeed circuit polynomials of associated graphs.The results are then extended to general matrices
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 131-137
- Published: 28/02/1998
In this paper, we consider three conjectures of the computer program GRAFFITI. Moreover, we prove that every connected graph with minimum degree \(\delta\) and diameter \(d_m\) contains a matching of size at least \(\frac{\delta(d_m + 1)}{6}\). This inequality improves one of the conjectures under the additional assumption that \(\delta \geq 6\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 129-130
- Published: 28/02/1998
Let \(G\) be a \(1\)-tough graph of order \(n\). If \(|N(S)| \geq \frac{n + |S| – 1}{3}\) for every non-empty subset \(S\) of the vertex set \(V(G)\) of \(G\), then \(G\) is hamiltonian.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 026
- Pages: 113-128
- Published: 28/02/1998
We introduce generalized hooked, extended, and near-Skolem sequences and determine necessary conditions for their existence, the minimum number of hooks, and their permissible locations. We also produce computational results for small orders in each case.




