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.

Pierluigi Crescenzi1, Sergio De Agostino2, Riccardo Silvestri3
1Dipartimento di Sistemi ed Informatica, Universita di Firenze 50134 Firenze, Italy
2Computer Science Department Armstrong Atlantic State University Savannah, Georgia 31419-1997, USA
3Dipartimento di Matematica Pura ed Applicata Universita de L’Aquila 67100 L’ Aquila, Italy
Abstract:

We introduce the notion of BP-spatial representation of a biconnected graph \(G = (V, E)\). We show that the spatiality degree of a BP-spatial representable graph is \(2(|E| – |V|)\). From this result, we derive the spatiality degree for planar and hamiltonian graphs.

Ljiljana Brankovic1, Mirka Miller1, Peter Horak2, Alexander Rosa3
1University of Newcastle
2Kuwait University
3McMaster University
Abstract:

We introduce the notion of premature partial Latin squares; these cannot be completed, but if any of the entries is deleted, a completion is possible. We study their spectrum, i.e., the set of integers \(t\) such that there exists a premature partial Latin square of order \(n\) with exactly \(t\) nonempty cells.

Suh-Ryung Kim1, Fred S.Roberts2
1Department of Mathematics Kyung Hee University Seoul, Korea
2Department of Mathematics and DIMACS Rutgers University Piscataway, NJ, USA
Abstract:

Given a digraph \(D\), its competition graph has the same vertex set and an edge between two vertices \(x\) and \(y\) if there is a vertex \(u\) so that \((x,u)\) and \((y,u)\) are arcs of \(D\). Motivated by a problem of communications, we study the competition graphs of the special digraphs known as semiorders. This leads us to define a condition on digraphs called \(C(p)\) and \(C^*(p)\) and to study the graphs arising as competition graphs of acyclic digraphs satisfying conditions \(C(p)\) or \(C^*(p)\).

Brett Stevens1, Alan Ling2, Eric Mendelsohn3
1Department of Mathematics and Statistics Simon Fraser University Burnaby BC V5L 186 Canada
2Department of Mathematical Sciences Michigan Technological University 1400 Townsend Drive Houghton, MI U.S.A. 49931-1295
3Department of Mathematics University of Toronto 100 St. George St. Toronto ON M6G 3G83 Canada
Abstract:

A transversal cover is a set of \(gk\) points in \(k\) disjoint groups of size \(g\) and, ideally, a minimal collection of transversal subsets, called blocks, such that any pair of points not contained in the same group appears in at least one block. In this article we present a direct construction method for transversal covers using group divisible designs. We also investigate a particular infinite family of group divisible designs that yield particularly good covers.

Jeh Gwon Lee1
1Department of Mathematics Sogang University Seoul 121-742 Korea
Abstract:

For an ordered set \(A\) and \(B\) whose orders agree on its intersection, the gluing of \(A\) and \(B\) is defined to be the ordered set on the union of its underlying sets whose order is the transitive closure of the union of the orders of \(A\) and \(B\). The gluing number of an ordered set \(P\) is the minimum number of induced semichains (suborders of dimension at most two) of \(P\) whose consecutive gluing is \(P\). In this paper we investigate this parameter on some special ordered sets.

Ruth Haas1
1Smith College Northampton, MA USA
Abstract:

The aim of this paper is to give several characterizations for the following two classes of graphs: (i) graphs for which adding any \(l\) edges produces a graph which is decomposable into \(k\) spanning trees and (ii) graphs for which adding some \(l\) edges produces a graph which is decomposable into \(k\) spanning trees.

M.M. Parmenter1
1 Department of Mathematics & Statistics Memorial University of Newfoundland St. John’s, Newfoundland, Canada
Selda Kucukcifci1, C.C. Lindner1
1 Department of Discrete and Statistical Sciences 120 Math Annex Auburn University Auburn, Alabama 36849-5307 USA
Abstract:

A kite is a triangle with a tail consisting of a single edge. A kite system of order \(n\) is a pair \((X,K)\), where \(K\) is a collection of edge disjoint kites which partitions the edge set of \(K_n\) (= the complete undirected graph on \(n\) vertices) with vertex set \(X\). Let \((X,B)\) be a block design with block size 4. If we remove a path of length 2 from each block in \(B\), we obtain a partial kite-system. If the deleted edges can be assembled into kites the result is a kite system, called a \emph{metamorphosis} of the block design \((X,B)\). There is an obvious extension of this definition to \(\lambda\)-fold block designs with block size 4. In this paper we give a complete solution of the following problem: Determine all pairs \((\lambda, n)\) such that there exists a \(\lambda\)-fold block design of order \(n\) with block size 4 having a metamorphosis into a \(\lambda\)-fold kite system.

S.Q. Zheng1, K. Li2, Y. Pan3, H. Shen4, G.H. Young5
1 Department of Computer Science University of Texas at Dallas Richardson, TX 75083-0688
2Department of Computer Science State University of New York New Paltz, NY 12561-2499
3Department of Computer Science Georgia State University Atlanta, GA 30303
4 School of Computing and Information Technology Griffith University Nathan, QLD 4111, Australia
5 Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, Hong Kong
Abstract:

We introduce the concept of equal chromatic partition of networks. This concept is useful for deriving lower bounds and upper bounds for performance ratios of dynamic tree embedding schemes that arise in a wide range of tree-structured parallel computations. We provide necessary and sufficient conditions for the existence of equal chromatic partitions of several classes of interconnection networks which include \(X\)-Nets, folded hypercubes, \(X\)-trees, \(n\)-dimensional tori and \(k\)y \(n\)-cubes. We use the pyramid network as an example to show that some networks do not have equal chromatic partitions, but may have near-equal chromatic partitions.

S. Georgiou1, C. Koukouvinos1
1Department of Mathematics National Technical University of Athens Zografou 15773, Athens, Greece
Abstract:

Let \(X_1,X_2,X_3,X_4\) be four type 1 \((1,-1)\) matrices on the same group of order \(n\) (odd) with the properties: (i) \((X_i – I)^T = -(X_i – I)\), \(i=1,2\), (ii) \(X_i^T = X_i\), \(i = 3,4\) and the diagonal elements are positive, (iii) \(X_iX_j = X_jX_i\), and (iv) \(X_1X_1^T + X_2X_2^T + X_3X_3^T + X_4X_4^T = 4nI_n\). Call such matrices \(G\)-matrices. If there exist circulant \(G\)-matrices of order \(n\) it can be easily shown that \(4n – 2 = a^2 + b^2\), where \(a\) and \(b\) are odd integers. It is known that they exist for odd \(n \leq 27\), except for \(n = 11,17\) for which orders they can not exist. In this paper we give for the first time all non-equivalent circulant \(G\)-matrices of odd order \(n \leq 33\) as well as some new non-equivalent circulant \(G\)-matrices of order \(n = 37,41\). We note that no \(G\)-matrices were previously known for orders 31, 33, 37 and 41. These are presented in tables in the form of the corresponding non-equivalent supplementary difference sets. In the sequel we use \(G$-matrices to construct some \(F\)-matrices and orthogonal designs.

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;