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.

Cantian Lin1, W.D. Wallis1
1Department of Mathematics Southern Illinois University at Carbondale Carbondale, IL 62901-4408
Abstract:

There are two criteria for optimality of weighing designs. One, which has been widely studied, is that the determinant of \(XX^T\) should be maximal, where \({X}\) is the weighing matrix. The other is that the trace of \((XX^T)^{-1}\) should be minimal. We examine the second criterion. It is shown that Hadamard matrices, when they exist, are optimal with regard to the second criterion, just as they are for the first one.

R. Craigen1
1Dept. of Mathematics and Computer Science University of Lethbridge Lethbridge, Alberta Canada TIK 3M4
Abstract:

In 1988, Sarvate and Seberry introduced a new method of construction for the family of weighing matrices \(W(n^2(n-1), n^2)\), where \(n\) is a prime power. We generalize this result, replacing the condition on \(n\) with the weaker assumption that a generalized Hadamard matrix \(GH(n; G)\) exists with \(|G| = n\), and give conditions under which an analogous construction works for \(|G| < n\). We generalize a related construction for a \(W(13, 9)\), also given by Sarvate and Seberry, producing a whole new class. We build further on these ideas to construct several other classes of weighing matrices.

D. P. Day1
1Ortrud R. Oellermann and Henda C. Swart University of Natal
Abstract:

For an integer \(\ell \geq 2\), the \(\ell\)-connectivity (\(\ell\)-edge-connectivity) of a graph \(G\) of order \(p\) is the minimum number of vertices (edges) that need to be deleted from \(G\) to produce a disconnected graph with at least \(\ell\) components or a graph with at most \(\ell-1\) vertices. Let \(G\) be a graph of order \(p\) and \(\ell\)-connectivity \(\kappa_\ell\). For each \(k \in \{0,1,\ldots,\kappa_\ell\}\), let \(s_k\) be the minimum \(\ell\)-edge-connectivity among all graphs obtained from \(G\) by deleting \(k\) vertices from \(G\). Then \(f_\ell = \{(0, s_0), \ldots, (\kappa_\ell, s_{\kappa_\ell})\}\) is the \(\ell\)-connectivity function of \(G\). The \(\ell\)-connectivity functions of complete multipartite graphs and caterpillars are determined.

EJ. Cockayne1, C.M. Mynhardt2
1Department of Mathematics University of Victoria Box 3045 Victoria, B.C, CANADA V8W 3P4
2Department of Mathematics University of South Africa Box 392 Pretoria 0001 SOUTH AFRICA
Abstract:

An infinite class of graphs is constructed to demonstrate that the difference between the independent domination number and the domination number of \(3\)-connected cubic graphs may be arbitrarily large.

Michael A.Henning1
1University of Natal Pietermaritzburg
Abstract:

The domination number \(\gamma(G)\) and the total domination number \(\gamma_t(G)\) of a graph are generalized to the \(K_n\)-domination number \(\gamma_{k_n}(G)\) and the total \(K_n\)-domination number \(\gamma_{K_n}^t(G)\) for \(n \geq 2\), where \(\gamma(G) = \gamma_{K_2}(G)\) and \(\gamma_t(G) = \gamma_{K_2}^t(G)\). A nondecreasing sequence \(a_2, a_3, \ldots, a_m\) of positive integers is said to be a \(K_n\)-domination (total \(K_n\)-domination, respectively) sequence if it can be realized as the sequence of generalized domination (total domination, respectively) numbers \(\gamma_{K_2}(G), \gamma_{K_3}(G), \ldots, \gamma_{K_m}(G)\) (\(\gamma_{K_2}^t(G), \gamma_{K_3}^t(G), \ldots, \gamma_{K_m}^t(G)\), respectively) of some graph \(G\). It is shown that every nondecreasing sequence \(a_2, a_3, \ldots, a_m\) of positive integers is a \(K_n\)-domination sequence (total \(K_n\)-domination sequence, if \(a_2 \geq 2\), respectively). Further, the minimum order of a graph \(G\) with \(a_2, a_3, \ldots, a_m\) as a \(K_n\)-domination sequence is determined. \(K_n\)-connectivity is defined and for \(a_2 \geq 2\) we establish the existence of a \(K_m\)-connected graph with \(a_2, a_3, \ldots, a_m\) as a \(K_n\)-domination sequence for every nondecreasing sequence \(a_2, a_3, \ldots, a_m\) of positive integers.

Hesham El-Rewini1, Hesham H.Ali1
1Department of Math and Computer Science University of Nebraska at Omaha Omaha, NE 68182-0243
Abstract:

We study the problem of scheduling parallel programs with conditional branching on parallel processors. The major problem in having conditional branching is the non-determinism since the direction of a branch may be unknown until the program is midway in execution. In this paper, we overcome the problem of non-determinism by proposing a probabilistic model that distinguishes between branch and precedence relations in parallel programs. We approach the problem of scheduling task graphs that contain branches by representing all possible execution instances of the program by a single deterministic task graph, called the representative task graph. The representative task graph can be scheduled using one of the scheduling techniques used for deterministic cases. We also show that a schedule for the representative task graph can be used to obtain schedules for all execution instances of the program.

G.M. Hamilton1, A.J. W.Hilton2
1Department of Engineering University of Reading Whiteknights Reading, U.K.
2Department of Mathematics University of Reading Whiteknighis Reading, U.K,
Abstract:

We give a list of all graphs of maximum degree three and order at most sixteen which are critical with respect to the total chromatic number.

Rebecca A.H. Gower1, Sheila Oates-Williams1, Diane Donovan 1, Elizabeth J. Billington1
1 Department of Mathematics The University of Queensland Queensland 4072 Australia
Abstract:

In this paper we give a partial answer to a query of Lindner conceming the quasigroups arising from \(2\)-perfect \(6\)-cycle systems.

W. Gutjahr1
1Institut ftir Statistik und Informatik Universitat Wien A1010 Wien, Universititsstrasse 5/9 AUSTRIA
Abstract:

Consider the paths \(\pi_t(i_1), \ldots, \pi_t(i_k)\) from the root to the leaves \(i_1, \ldots, i_k\) in a random binary tree \(t\) with \(n\) internal nodes, where all such trees are assumed equally likely and the leaves are enumerated from left to right. We investigate, for fixed \(i_1, \ldots, i_k\) and \(n\), the average size of \(\pi_t(i_1)\cup \ldots \cup \pi_t(i_k)\) resp. of \(\pi_t(i_1)\cap \ldots \cap \pi_t(i_k)\) (the latter corresponding to the average depth of the smallest subtree containing \(i_1, \ldots, i_k\)). By a rotation argument, both problems are reduced to the case \(k=1\), for which a solution is known. Furthermore, formulas for the probability distributions of the depth of leaf \(i\), the distance between leaf \(i\) and \(j\) and the length of \(\pi_t(i) \cap \pi_t(j)\) are derived.

R. G. Stanton1, D. M.F. Stone1, E.A. Ruet d’Auteuil1
1Department of Computer Science University of Manitoba Winnipeg, Canada, R3T 2N2

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;