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.

Noboru Hamada1, Tor Helleseth2, Oyvind Ytrehus2
1Department of Applied Mathematics, Osaka Women’s University, Sakai, Osaka, Japan 590.
2Department of Infor- matics, University of Bergen, Thormghlensgt. 55, N-S008 Bergen, Norway.
Abstract:

It is unknown whether or not there exists a \([51, 5, 33; 3]\)-code (meeting the Griesmer bound). The purpose of this paper is to show that there is no \([51, 5, 33; 3]\)-code.

Dionysios Kountanis1, Jiuqiang Liu1, Kenneth Williams1
1Western Michigan University Kalamazoo, Michigan 49008
Abstract:

The Hitting Set problem is investigated in relation to restrictions imposed on the cardinality of subsets and the frequency of element occurences in the subsets. It is shown that the Hitting Set subproblem where each subset has cardinality \(C\) for fixed \(C \geq 2\) and the frequency of each element is exactly \(f\) for fixed \(f \geq 3\) remains NP-complete, but the problem becomes polynomial when \(f \leq 2\). The restriction of the Vertex Cover problem to \(f\)-regular graphs for \(f \geq 3\) remains NP-complete.

Noboru Hamada1, Tor Helleseth2, Oyvind Ytrehus2
1Department of Applied Mathematics, Osaka Women’s University, Sakai, Osaka, Japan 590
2Department of Infor- matics, University of Bergen, Thormghlensgt. 55, N-5008 Bergen, Norway.
Abstract:

Hill and Newton showed that there exists a \([20, 6, 12; 3]\)-code, and that the weight distribution of a \([20,5, 12; 3]\)-code is unique. However, it is unknown whether or not a code with these parameters is unique. Recently, Hamada and Helleseth showed that a \([19, 4, 12; 3]\)-code is unique up to equivalence, and characterized this code using a characterization of \(\{21, 6; 3, 3\}\)-minihypers. The purpose of this paper is to show, using the geometrical structure of the \([19, 4, 12; 3]\)-code, that exactly two non-isomorphic \([20, 5, 12; 3]\)-codes exist.

Abdol-Hossein Esfahanian1, Ortrud R. Ocllermann2
1Computer Science Department Michigan State University
2Computer Science Department University of Natal
Abstract:

A graph \(G\) is istance-hereditary if for every connected induced subgraph \(H\) of \(G\) and every pair \(u,v\) of vertices of \(H\), we have \(d_H(u,v) = d_G(u,v)\). A frequently occurring communication problem in a multicomputer is to determine the most efficient way of routing a message from a processor (called the source) to a number of other processors (called the destinations). When devising a routing from a source to several destinations it is important that each destination receives the source message in a minimum number of time steps and that the total number of messages generated be minimized. Suppose \(G\) is the graph that models a multicomputer and let \(M = \{s, v_1, v_2, \ldots, v_k\}\) be a subset of \(V(G)\) such that \(s\) corresponds to the source node and the nodes \(v_1, v_2, \ldots, v_k\) correspond to the destinations nodes. Then an optimal communication tree (OCT) \(T\) for \(M\) is a tree that satisfies the following conditions:

  1. \(M \subseteq V(T)\),
  2. \(d_T(s, v_i) = d_G(s, v_i)\) for \(1 \leq i \leq k\),
  3. no tree \(T’\) satisfying (a) and (b) has fewer vertices than \(T\).

It is known that the problem of finding an OCT is NP-hard for graphs \(G\) in general, and even in the case where \(G\) is the \(n\)-cube, or a graph whose maximum degree is at most three. In this article, it is shown that an OCT for a given set \(M\) in a distance-hereditary graph can be found in polynomial time. Moreover, the problem of finding the minimum number of edges in a distance-hereditary graph \(H\) that contains a given graph \(G\) as spanning subgraph is considered, where \(H\) is isomorphic to the \(n\)-cycle, the \(s\)-cube or the grid.

S. R. Campbell1, M. N. Ellingham2, Gordon F. Royle3
1Department of Mathematics and Computer Science Belmont University, 1900 Belmont Blvd Nashville, Tennessee 37212, U.S.A.
2Department of Mathematics, 1326 Stevenson Center Vanderbilt University, Nashville, Tennessee 37240, U.S.A.
3Department of Computer Science, University of Western Australia Nedlands, Western Australia 6009, Australia
Abstract:

A graph is said to be \({well-covered}\) if all maximal independent sets of vertices in the graph have the same cardinality. Determining whether a graph is well-covered has recently been shown (independently by Chvátal and Slater and by Sankaranarayana and Stewart) to be a co-NP-complete problem. In this paper, we characterise all well-covered cubic (\(3\)-regular) graphs. Our characterisation yields a polynomial time algorithm for recognising well-covered cubic graphs.

Shen Hao1
1Department of Applied Mathematics, Shanghai Jiao Tong University Shanghai 200030, The People’s Republic of China
Abstract:

It is proved in this paper that there exists a simple \(B[4 ,6; v]\) for every \(v \geq 6\). It is also proved that there exists an indecomposable simple \(B[4, 6; v]\) for every \(v \geq 6, v \notin \{12, 13, 16, 17, 20\}\).

Gary Haggard1
1 Bucknell University Lewisburg, Pennsylvania U.S.A. 17837
Abstract:

An efficient algorithm for calculating the chromatic polynomial of large graphs relative to the tree basis is presented. As an application of this algorithm, the degree thirty-two chromatic polynomial of the dual of the truncated icosahedron is calculated. Before this algorithm, only the by-hand calculations of Hall, Siry, and Vander-slice, completed in 1965, had produced this chromatic polynomial.

Otokar GroSek1, Robert Jajcay2
1Department of Mathematics Slovak Technical University Bratislava, 812 19, Ilkovigova 3 Czechoslovakia
2Department of Mathematics University of Nebraska Lincoln, NE 68588-0323
Abstract:

Generalized difference sets are difference sets with prescribed (and possibly different) multiplicities for every element. In this paper, constructions will be given for generalized difference sets on the semigroup of positive integer for almost every possible multiplicity function (sequence of multiplicities).

Gary L.Mullen1, David Purdy1
1Department of Mathematics The Pennsylvania State University University Park, PA 16802
Robert A.Liebler1
1Colorado State University Fort Collins, Colorado 80523
Abstract:

A version of the discrete Fourier transform that is valid in noncommutative groups is presented together with examples and an application to the study of difference sets in groups of order \(4p^2\).

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;