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.

Sharon G.Boswell1,2
1 Department of Mathematics, The University of Newcastle, NSW, AUSTRALIA 2308
2Roger B. Eggleton, 4520 Mathematics Department, Illinois State University, Normal, Illinois, U.S.A. 61790-4520
Abstract:

Scheduling graphs are used by algorithms such as PERT/CPM in order to determine an optimal schedule for a given project. It is well-known that dummy tasks (requiring zero processing time) must sometimes be incorporated into a scheduling graph.

The main tool in this paper is a new algorithm, RESOLVE, which creates a scheduling graph, typically with fewer dummy tasks than are produced by Richards’ algorithm (1967). A theoretical framework for scheduling graphs is systematically developed through several theorems, culminating in a demonstration of the validity of RESOLVE. A worked example illustrating the application of RESOLVE concludes the paper.

Morimasa Tsuchiya1
1Department of Mathematical Sciences Tokai University Hiratsuka 259-12, Japan
Abstract:

Let \(\mathcal{A} = \{A_1, \ldots, A_l\}\) be a partition of \([n]\) and \(\mathcal{F} = \{S_1, \ldots, S_m\}\) be an intersecting family of distinct nonempty subsets of \([n]\) such that \(\mathcal{A}\) and \(\mathcal{F}\) are pairwise intersecting families.Then \(|\mathcal{F}| \leq \frac{1}{2} \prod_{i=1}^{l} \left( 2^{|A_i|} – 2 \right) + \sum_{S\subsetneqq[l]} \left(\prod_{i\in S}\left( 2^{|A_i|} – 2 \right)\right).\)From this result and some properties of intersection graphs on multifamilies, we determine the intersection numbers of \(3\), \(4\), and \(5\)-regular graphs and some special graphs.

Dara Moazzami1
1Tehran University, Engineering Science Dept., Fanni, and Center for Theoretical Physics and Mathematics (AEOI)
Abstract:

The concept of tenacity of a graph \(G\) was introduced in References [5,6] as a useful measure of the “vulnerability” of \(G\). In assessing the “vulnerability” of a graph, one determines the extent to which the graph retains certain properties after the removal of vertices or edges. In this paper, we will compare different measures of vulnerability with tenacity for several classes of graphs.

Claudio Arbib1,2, Raffaele Mosca3
1 Universita degli Studi di L’Aquila Dipartimento di Matematica Pura e Applicata via Vetoio, 67010 Coppito (L’ Aquila) Italia,
2 TI Université degli Studi di Roma “Tor Vergata” Centro Vito Volterra viale della Ricerca Scientifica, 00133 Roma Italia
3 II Universita degli Studi di Roma “Tor Vergata” Centro Vito Volterra viale della Ricerca Scientifica, 00133 Roma Italia
Abstract:

Particular balanced bipartite subgraph problems have applications in fields such as VLSI design and flexible manufacturing. An example of such problems is the following: given a graph \(G\) and a positive integer \(m\), does \(G\) contain a balanced complete bipartite subgraph with at least \(2m\) vertices? This problem is NP-complete for several classes of graphs, including bipartite graphs. However, the problem can be solved in polynomial time for particular graph classes. We aim to contribute to the characterization of “easy” classes of instances of the problem, and to individuate graph-theoretic properties that can be useful to develop solution algorithms for the general case. A simple polynomial algorithm can be devised for bipartite graphs with no induced \(P_5\) on the basis of a result of Bacsó and Tuza.
We generalize the result to particular subclasses of

  1. graphs with no odd cycles of given size,
  2. paw-free graphs,
  3. diamond-free graphs.
Uri Blass1, Simon Litsyn1
1Tel-Aviv University, Department of Electrical Engineering — Systems, Ramat-Aviv 69978, Israel
Abstract:

We prove that the smallest covering code of length \(8\) and covering radius \(2\) has exactly \(12\) words. The proof is based on partial classification of even weight codewords, followed by a search for small sets of odd codewords covering the part of the space that has not been covered by the even subcode.

Noga Alon1, Eldar Fischer1
1Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University Tel Aviv, Israel
Abstract:

Alon and Yuster {[4]} have proven that if a fixed graph \(K\) on \(g\) vertices is \((h+1)\)-colorable, then any graph \(G\) with \(n\) vertices and minimum degree at least \(\frac{h}{h+1}n\) contains at least \((1-\epsilon)\frac{n}{g})\) vertex disjoint copies of \(K\), provided \(n>N(\epsilon)\). It is shown here that the required minimum degree of \(G\) for this result to follow is closer to \(\frac{h-1}{h }n\), provided \(K\) has a proper \((h+1)\)-coloring in which some of the colors occur rarely. A conjecture regarding the best possible result of this type is suggested.

Kathleen A.S.Quinn1
1Department of Pure Mathematics, The Open University, Walton Hall, Milton Keynes MK7 6AA
Abstract:

Let \(G\) be a finite group with a normal subgroup \(H\). We prove that if there exist a \((h, r;\lambda, H)\) difference matrix and a \((g/h, r;1, G/H)\) difference matrix, then there exists a \((g, r;\lambda, G)\) difference matrix. This shows in particular that if there exist \(r\) mutually orthogonal orthomorphisms of \(H\) and \(r\) mutually orthogonal orthomorphisms of \(G/H\), then there exist \(r\) mutually orthogonal orthomorphisms of \(G\). We also show that a dihedral group of order \(16\) admits at least \(3\) mutually orthogonal orthomorphisms.

Bolian Liu1, Zhou Bo1
1Department of Mathematics South China Normal University Guangzhou, 510631 P.R. of China
Abstract:

Let \(k\) and \(b\) be integers and \(k > 1\). A set \(S\) of integers is called \((k, b)\) linear-free (or \((k, b)\)-LF for short) if \(2 \in S\) implies \(kx + b \notin S\). Let \(F(n, k, b) = \max\{|A|: A \text{ is } (k, 0)\text{-LF and } A \subseteq [1, n]\}\), where \([1, n]\) denotes all integers between \(1\) and \(n\). A subset \(A\) of \([1, n]\) with \(|A| = F(n, k, b)\) is called a maximal \((k, b)\)-LF subset of \([1, n]\). In this paper, a recurrence relation for \(F(n, k, b)\) is obtained and a method to construct a maximal \((k, b)\)-LF subset of \([1, n]\) is given.

Katja Valentin1
1Mathematisches Institut, Arndtstr. 2, D-35392 Giefen, Katja.
Abstract:

This paper deals with a new kind of graph labeling similar to the well known harmonious, graceful, and elegant labelings. A polychrome labeling of a simple and connected graph \(G = (V, E)\) by an abelian group \(A\) is a bijective map from \(V\) onto \(A\) such that the induced edge labeling \(f^*(uv) = f(v) + f(w), uv \in E\), is injective. Polychrome labelings of a path and a cycle by a large class of abelian groups are designed, and the connection to the above mentioned labelings is shown. In addition, the author presents a conjecture which is similar to a famous conjecture of G. Ringel about graceful trees (see {[9]}).

Joél Puech1
1Département de Mathématiques , Bat. 425, Université de Paris-Sud, 91405 Orsay cedex, France.
Abstract:

A graph is well-covered if it has no isolated vertices and all the maximal independent sets have the same cardinality. If furthermore this cardinality is exactly half the number of vertices, the graph is called very well covered. Sankaranarayana in \({[5]}\) presented a certain subclass of well covered graphs (called Wan) and gave a characterization of this class which generalized the characterization of very well covered graphs given by Favaron \([2]\) . The purpose of this article is to generalize to this new subclass some results concerning the stability, domination, and irredundance parameters proved for very well covered graphs in \([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;