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.

Michel Moliard1, Charles Payan1
1 LSD (IMAG) BP 53X 38041 Grenoble CEDEX France
Abstract:

A graph \(G = (V, E)\) is said to be elegant if it is possible to label its vertices by an injective mapping \(g\) into \(\{0, 1, \dots, |E|\}\) such that the induced labeling \(h\) on the edges defined for edge \(x, y\) by \(h(x, y) = g(x) + g(y) \mod (|E| + 1)\) takes all the values in \(\{1, \dots, |E|\}\). In the first part of this paper, we prove the existence of a coloring of \(K_n\) with a omnicolored path on \(n\) vertices as subgraph, which had been conjectured by Hastman [2].
In the second part we prove that the cycle on \(n\) vertices is elegant if and only if \(n \neq 1 \pmod{4}\) and we give a new construction of an elegant labeling of the path \(P_n\), where \(n \neq 4\).

W. Ananchuen1, L. Caccetta1
1 School of Mathematics and Statistics Curtin University of Technology GPO Box U1987 Perth 6001 Western Australia
Abstract:

A round robin tournament on \(q\) players in which draws are not permitted is said to have property \(P(n, k)\) if each player in any subset of \(n\) players is defeated by at least \(k\) other players. We consider the problem of determining the minimum value \(F(n, k)\) such that every tournament of order \(q \geq F(n, k)\) has property \(P(n, k)\). The case \(k = 1\) has been studied by Erdős, G. and E. Szekeres, Graham and Spencer, and Bollobás. In this paper we present a lower bound on \(F(n, k)\) for the case of Paley tournaments.

Abstract:

Upper and lower bounds are established for the toughness of the generalized Petersen graphs \(G(n,2)\) for \(n \geq 5\), and all non-isomorphic disconnecting sets that achieve the toughness are presented for \(5 \leq n \leq 15\). These results also provide an infinite class of \(G(n,2)\) for which the toughness equals \(\frac{5}{4}\), namely when \(n \equiv 0 (\mod 7)\).

Laurence Ghier1
1Département de Mathématiques et Informatique Université du Maine 72017 Le Mans Cédex France
Abstract:

Let \(m\) be a double occurrence word (i.e., each letter occurring in \(m\) occurs precisely twice). An alternance of \(m\) is a non-ordered pair \(uw\) of distinct letters such that we meet alternatively \(\dots v \dots w \dots v \dots w \dots\) when reading \(m\). The alternance graph \(A(m)\) is the simple graph whose vertices are the letters of \(m\) and whose edges are the alternances of \(m\). We define a transformation of double occurrence words such that whenever \(A(m) = A(n)\), \(m\) and \(n\) are related by a sequence of these transformations.

Erich Prisner1
1Mathematisches Seminar Universitat Hamburg Bundesstr. 55, 2000 Hamburg 13 FR. Germany
Abstract:

We define the class of \({hereditary \; clique-Helly \; graphs}\) or HCH \({graphs}\). It consists of those graphs, where the cliques of every induced subgraph obey the so-called `Helly-property’, namely, the total intersection of every family of pairwise intersecting cliques is nonempty. Several characterization and an \(O(|V|^2|E|)\) recognition algorithm for HCH graphs \(G = (V, E)\) are given. It is shown that the clique graph of every HCH graph is a HCH graph, and that conversely every HCH graph is the clique graph of some HCH graph. Finally, it is shown that HCH graphs \(G = (V, E)\) have at most \(|E|\) cliques, whence a maximum cardinality clique can be found in time \(O(|V||E|^2)\) in such a HCH graph.

Cheng Zhao1
1Department of Mathematics West Virginia University Morgantown, WV 26506 U.S.A.
Abstract:

A weight \(w: E(G) \rightarrow \{1, 2\}\) is called a \((1, 2)\)-eulerian weight of graph \(G\) if the total weight of each edge-cut is even. A \((1, 2)\)-eulerian weight \(w\) of \(G\) is called smallest if the total weight \(w\) of \(G\) is minimum. In this note, we prove that if graph \(G\) is \(2\)-connected and simple, and \(w_0\) is a smallest \((1, 2)\)-eulerian weight, then either \(|E_{w_0 = \text{even}}|\leq|V(G)| – 3\) or \(G = K_4\).

G. Kong1, R. Wei2
1Mathematics Teaching-Research Section Nanjing Institute of Posets and Telecommunications Nanjing, 210003 P.R. China
2Department of Mathematics Suzhou University Suzhou, 215006 P.R. China
Abstract:

In this paper we prove that a \((v, u; \{4\}, 3)\)-IPBD exists when \(v, u \equiv 2\) or \(3 \pmod{4}\) and \(v \geq 3u + 1\), and then solve the problem of the existence of \((v, u; \{4\}, \lambda)\)-IPBD completely, which generalizes the result of \([7]\).

Lane Clark1
1Southern Illinois University at Carbondale Carbondale, Hlinois 62901-4408
Abstract:

For a wide range of \(p\), we show that almost every graph \(G\epsilon\mathcal{G}(n,p)\) has no perfect dominating set and for almost every graph \(G\epsilon\mathcal{G}(n,p)\) we bound the cardinality of a set of vertices which can be perfectly dominated. We also show that almost every tree \(T\epsilon\mathcal{T}(n)\) has no perfect dominating set.

Charles J.Colbourn1
1Department of Combinatorics and Optimization University of Waterloo Waterloo, Ontario CANADA N2L 3G1
Abstract:

Necessary conditions for the existence of group divisible designs with block size three are developed. A computation is described that establishes the sufficiency of these conditions for sixty and fewer elements.

Dragomir Z.Dokovié1
1Department of Pure Mathematics | University of Waterloo Waterloo, Ontario, Canada N2L 3G1
Abstract:

Four \(\{\pm1\}\)-matrices \(A, B, C, D\) of order \(n\) are called good matrices if \(A – I_n\) is skew-symmetric, \(B, C\), and \(D\) are symmetric, \(AA^T + BB^T + CC^T + DD^T = 4nI_n\), and, pairwise, they satisfy \(XY^T = YX^T\). It is known that they exist for odd \(n \leq 31\). We construct four sets of good matrices of order \(33\) and one set for each of the orders \(35\) and \(127\).

Consequently, there exist \(4\)-Williamson type matrices of order \(35\), and a complex Hadamard matrix of order \(70\). Such matrices are constructed here for the first time. We also deduce that there exists a Hadamard matrix of order \(1524\) with maximal excess.

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;