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.

David Bedford1
1Department of Mathematics University of Keele Keele, Staffordshire ST5 58G England
Abstract:

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.

Ralph Faudree1, Odile Favaron2, Hao Li2
1Department of Mathematical Sciences University of Memphis Memphis TN 38152, USA
2 LRI, Bat. 490 Université Paris-Sud 91405 Orsay cedex, France
Abstract:

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.

Thelma West1
1Department of Mathematics University of Southwestern Louisiana Lafayette, Louisiana 70504
Clive N.Galley1
1Department of Computer Science Kings College London University of London
Abstract:

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.

N.K. Thakare1, B.N. Waphare1
1 Department of Mathematics University of Pune Pune -411007 Maharashtra, India
Abstract:

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.

Michael A.Henning1, Grzegorz Kubicki2
1 Department of Mathematics University of Natal Private Bag X01 Pietermaritzburg, 3209 South Africa
2Department of Mathematics University of Louisville Louisville KY 40292 USA
Abstract:

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.

E.J. Farrell1, J.C. Grell1
1The Centre For Graph Polynomials Department of Mathematics and Computer Science The University of the West Indies St. Augustine, Trinidad
Abstract:

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

Peter Dankelmann1, Henda C.Swart1, Ortrud R.Oellermann2
1University of Natal Durban, South Africa
2 Brandon University Brandon, MB Canada
Abstract:

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\).

Rao Li1
1 Department of Mathematical Sciences University of Memphis Memphis, TN 38152
Abstract:

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.

N. Shalaby1, M.A. Al-Gwaiz2
1 Department of Mathematics and Statistics Memorial University of Newfoundland St. John’s, Newfoundland Canada, A1C 587
2Department of Mathematics College of Science King Saud University Riyadh 1145, P.O. Box 2455 Kingdom of Saudi Arabia
Abstract:

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.

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;