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.

A. Antonysamy1, G. Arumugam2, C. Xavier3
1Department of Mathematics St Joseph’s (Autonomous) College Tiruchirapalli – 620 002 India
2 Department of Computer Science Madurai – Kamaraj University Madurai – 625 021 India
3 Department of Computer Science St. Xavier’s (Autonomous) College Palayamkottai – 627 002 India
Abstract:

The core of a graph was defined by Morgan and Slater [MS80] as a path in the graph minimizing the sum of the distance of all vertices of the graph from the path. A linear algorithm to find the core of a tree has been given in [MS80]. For the general graph the problem can be shown to be NP-hard using a reduction from the Hamiltonian path problem.
A graph with no chordless cycle of length exceeding three is called a chordal graph. Every chordal graph is the intersection graph of a family of subtrees of a tree. The intersection graph of a family of undirected paths of a tree is called a UV graph. The intersection graph of an edge disjoint family of paths of a tree is called a CV graph [AAPX91]. We have characterised that the CV graphs are nothing but block graphs. CV graphs form a proper subclass of UV graphs which in turn form a proper subclass of chordal graphs.
In this paper, we present an \( {O}(ne)\) algorithm to find the core of a CV graph, where \(n\) is the number of vertices and \(e\) is the number of edges.

Timothy R.Walsh1
1 Department. of Computer Science UQAM Montreal, Quebec, Canada
Abstract:

The worst-case time-complexity of Read’s edge-addition/contraction algorithm for computing the chromatic polynomial of an \(n\)-vertex graph is shown to be \({O}(n^2B(n))\), where \(B(n)\) is the \(n\)th Bell number, which grows faster than \(c^n\) for any \(c\) but slower than \(n!\). The factor \(n^2\) can be reduced to \(n\), and the space-complexity from \({O}(n^3)\) to \({O}(n^2)\), by storing in arrays the information needed to reverse each transformation made on the graph.

R.G. Stanton1
1Department of Computer Science University of Manitoba Winnipeg, Canada R3T 2N2
Abstract:

This paper provides an expository account, from a design-theoretic point of view, of the important result of Ryser that covering of the complete graph \(K_v\) a total of \(\lambda\) times by \(v\) complete subgraphs can only be done in a very limited number of ways.

L.H. Clark1, T.D. Porter2
1
2Southern Illinois University at Carbondale Carbondale, IL 62901
Abstract:

We give an exponential lower bound for the maximum number of chords in a cycle of a graph \(G\) in terms of the minimum degree of \(G\) and the girth of \(G\). We also give regular graphs having no small cycles where the maximum number of chords possible in any cycle of the graph is approximately the fourth power of our lower bound. An immediate consequence is a recent result of Ali and Staton.

Lowell W.Beineke1, Wayne Goddard2, Mare J.Lipman3
1Indiana-Purdue University at Fort Wayne Fort Wayne, IN 46805 USA
2 University of Natal Durban 4000 South Africa
3 Office of Naval Research Arlington VA 22217 USA
Abstract:

The edge-integrity of a graph \(G\) is given by the minimum of \(|S|+m(G-S)\) taken over all \(S \subseteq E(G)\), where \(m(G-S)\) denotes the maximum order of a component of \(G-S\). An honest graph is one with maximum edge-integrity (viz. its order). In this paper, lower and upper bounds on the edge-integrity of a graph with given order and diameter are investigated. For example, it is shown that the diameter of an honest graph on \(n\) vertices is at most \(\sqrt{8n}-3\), and this is sharp. Also, a lower bound for the edge-integrity of a graph in terms of its eigenvalues is established. This is used to show that for \(d\) sufficiently large, almost all \(d\)-regular graphs are honest.

Manoel Lemos1
1 Departamento de Matematica Universidade Federal de Pernambuco Cidade Universitaria Recife, PE, 50740-540, Brazil
Abstract:

An element \(e\) of a matroid \(M\) is called non-binary when \(M\backslash e\) and \(M/e\) are both non-binary matroids. Oxley in \({6}\) gave a characterization of the \(3\)-connected non-binary matroids without non-binary elements. In {4}, we constructed all the \(3\)-connected matroids having exactly \(1\), \(2\) or \(3\) non-binary elements. In this paper, we will give a characterization of the \(3\)-connected matroids having exactly four non-binary elements.

Josef Lauri1
1 University of Malta, Msida, Malta
R. Bodendiek1, G. Walther1
1Institute of Mathematics and its Didactics University of Kiel OlshausenstraBe 75 D-24118 Kiel
Abstract:

In \([2, 3]\), the authors dealt with the problem of determining the set \(\Gamma(G)\) of all \((a, d)\)-antimagic graphs, \(a, d \in \mathbb{N}\), where the concept of an \((a, d)\)-antimagic graph is a variation of the concept of an antimagic graph given in [4]. A connected graph \(G = (V, E) \in \Gamma=\) set of all finite undirected graphs without loops and multiple edges on \(n = |V| \geq 3\) vertices and \(m = |E| \geq 2\) edges is said to be \((a, d)\)-antimagic iff its edges can be assigned mutually distinct nonnegative integers from \(\{1, 2, \ldots, m\}\) so that the values of the vertices obtained as the sums of the numbers assigned to the edges incident to them can be arranged in the arithmetic progression \(a, a + d, \ldots, a + (n – 1)d\). In [2], the authors obtained some interesting general results on \((a, d)\)-antimagic graphs from \(\Gamma(G)\) by applying the theory of linear Diophantine equations and other number theoretical topics. Applying these general results to wheels \(W_{g , b} = 1 \ast C_{g + b}, g \geq 3, b \geq 1, C_{g + b} =\) cycle of order \(g + b\), and parachutes \(P_{g, b}\) as the spanning subgraph of \(W_{g+b}\) arising from \(W_{g+b}\) by removing \(b\) successive spokes of \(W_{g+b}\), we succeeded in proving that every wheel \(W_{g+b}\) cannot be \((a, d)\)-antimagic and, for every \(g \geq 3\) or \(g \geq 4\), there are the five integers \(b_1 = 2g^2 – 3g – 1, b_2 = g^2 – 2g – 1, b_3 = g – 1, b_4 = g – 3\) and \(b_5 = \frac{1}{2}(g^2 – 3g – 2)\) with the property that the corresponding parachute \(P_{g, b_i}, i = 1, 2, \ldots, 5\), can be \((a, d)\)-antimagic. If \(\Gamma_i(P)\) denotes the set \(\Gamma_i(P)= \{P_{g, b_i} \in \Gamma(P) \mid g \geq 3\}, i = 1, 2, \ldots, 5\), the main result in [2] says that \(\Gamma_3(P) = \{P_{3, 2}, P_{4, 3},\ldots, P_{8,7}, P_{10,9}, P_{11, 10}\}\) and \(\Gamma_4(P) = \{P_{4, 1}, P_{5, 2}, \ldots, P_{10, 7}\}\). Concerning \(\Gamma_1(P), \Gamma_2(P)\) and \(\Gamma_5(P)\) the authors conjecture that they are infinite. Here, we continue [2] and prove the conjecture given in [2] for \(\Gamma_1(P)\) and \(\Gamma_2(P)\). Instead of \(\Gamma(P)\) we prove the infiniteness of \(\Gamma'(P) = \{P_g,\frac{1}{3} (2g^2 – 5g – 3) \in \Gamma(P) \mid g \equiv 0(3) \text{ or } g \equiv 1(3)\}\). Furthermore, we succeed in showing the existence of integers \(b_{min} \in \{\frac{g^2 – 3g – 2}{2}, \frac{g^2 – 4g – 3}{3},\frac{g^2 – 5g – 4}{4}, \frac{2g^2 – 7g – 5}{5}, \}\) with respect to \(g \geq 26\) with the property that the parachute \(P_{g, b}\) is not \((a, d)\)-antimagic for each positive integer \(b \leq b_{min}\). The immediate consequence of this fact is that for every \(g \geq 26\) there are at most \(8\) different integers \(b \geq b_{min}\) such that the corresponding parachute \(P_{g, b}\) could be \((a, d)\)-antimagic.

Ulrich Teschner 1
1Lehrstuhl IT fir Mathematik, RWTH Aachen
Abstract:

Let \(\gamma(G)\) be the domination number of a graph \(G\). The bondage number \(b(G)\) of a nonempty graph \(G\) is the minimum cardinality among all sets of edges \(X\) for which \(\gamma(G – X) > \gamma(G)\).

In this paper we show that \(b(G) \leq \Delta(G)\) for any block graph \(G\), and we characterize all block graphs with \(b(G) = \Delta(G).\)

Mark Ramras 1
1 Department of Mathematics Northeastern University Boston, MA 02115

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;