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.

THOMAS NIESSEN1
1 Institut fiir Statistik, RWTH Aachen 52056 Aachen, Feyderal Republic of Germany
Abstract:

Let \(G\) be a connected graph of order \(n\) and let \(k\) be a positive integer with \(kn\) even and \(n \geq 8k^2 + 12k + 6\). We show that if \(\delta(G) \geq k\) and \(\max\{d(u), d(v)\} \geq n/2\) for each pair of vertices \(u,v\) at distance two, then \(G\) has a \(k\)-factor. Thereby a conjecture of Nishimura is answered in the affirmative.

R. Yilmaz1, I. CAHIT 1
1 Departrnent of Mathematics and Computer Science Eastern Mediterranean University Gazi Magosa – North Cyprus
Abstract:

A graph \(G = (V, E)\) is called \(E\)-cordial if it is possible to label the edges with the numbers from the set \(N = \{0,1\}\) and the induced vertex labels \(f(v)\) are computed by \(f(v) = \sum_{\forall u} f(u,v) \pmod{2}\), where \(v \in V\) and \(\{u,v\} \in E\), so that the conditions \( |v_f(0)| – |v_f(1)| \leq 1\) and \(\big| |e_f(0)| – |e_f(1)| \leq 1\) are satisfied, where \(|v_f(i)|\) and \(|e_f(i)|\), \(i = 0,1\), denote the number of vertices and edges labeled with \(0\)’s and \(1\)’s, respectively. The graph \(G\) is called \(E\)-cordial if it admits an \(E\)-cordial labeling. In this paper, we investigate \(E\)-cordiality of several families of graphs, such as complete bipartite graphs, complete graphs, wheels, etc.

Xuding Zhu1
1Department of Mathematics and Statistics Simon Fraser University Burnaby, BC V5A 186
Abstract:

Suppose \(G\) and \(G’\) are graphs on the same vertex set \(V\) such that for each \(v \in V\) there is an isomorphism \(\theta_x\) of \(G-v\) to \(G’-v\). We prove in this paper that if there is a vertex \(x \in V\) and an automorphism \(\alpha\) of \(G-x\) such that \(\theta_x\) agrees with \(\alpha\) on all except for at most three vertices of \(V-x\), then \(G\) is isomorphic to \(G’\). As a corollary we prove that if a graph \(G\) has a vertex which is contained in at most three bad pairs, then \(G\) is reconstructible. Here a pair of vertices \(x,y\) of a graph \(G\) is called a bad pair if there exist \(u,v \in V(G)\) such that \(\{u,v\} \neq \{x,y\}\) and \(G-\{x,y\}\) is isomorphic to \(G-\{u,v\}\).

R.P. Swaminathan1
1Department of Computer Science University of Cincinnati Cincinnati, OH 45221-0008
Abstract:

A \(\{0,1\}\)-matrix \(M\) is tree graphic if there exists a tree \(T\) such that the edges of \(T\) are indexed on the rows of \(M\) and the columns are the incidence vectors of the edge sets of paths of \(T\). Analogously, \(M\) is ditree graphic if there exists a ditree \(T\) such that the directed edges of \(T\) are indexed on the rows of \(M\) and the columns are the incidence vectors of the directed-edge sets of dipaths of \(T\). In this paper, a simple proof of an excluded-minor characterization of the class of tree-graphic matrices that are ditree-graphic is given. Then, using the same proof technique, a characterization of a “special” class of tree-graphic matrices (which are contained in the class of consecutive \(1\)’s matrices) is stated and proved.

Guantao Chen1, Yiping Liu2
1 Department of Mathematics North Dakota State University Fargo, ND 58105
2Department of Mathematics Nanjin Normal University Nanjin, China
Abstract:

One of the fundamental results concerning cycles in graphs is due to Ore:
If \(G\) is a graph of order \(n \geq 3\) such that \(d(x) + d(y) \geq n\) for every pair of nonadjacent vertices \(x, y \in V(G)\), then \(G\) is hamiltonian.
We generalize this result using neighborhood unions of \(k\) independent vertices for any fixed integer \(k \geq 1\). That is, for \(A \subseteq V(G)\), let \(N(A) = \cup_{a \in A} N(a),\)
where \(N(a) = \{b : ab \in E(G)\}\) is the neighborhood of \(a\). In particular, we show:
In a \(4(k-1)\)-connected graph \(G\) of order \(n \geq 3\), if \(|N(S)|+|N(T)| \geq n\) for every two disjoint independent vertex sets \(S\) and \(T\) of \(k\) vertices, then \(G\) is hamiltonian.
A similar result for hamiltonian connected graphs is obtained too.

Michael O.Albertson1
1 Mathematics Department Smith College Northampton, MA 01063, USA
Abstract:

The imbalance of edge \((x,y) = | \deg(x) – \deg(y) |\).The sum of all edge imbalances in a graph is called its irregularity.
We determine the maximum irregularity of various classes of graphs.For example, the irregularity of an arbitrary graph with \(n\) vertices is less than \(\frac{4n^3}{27}\), and this bound is tight.

Bert Randerath1, Lutz Volkmann1
1LEHRSTUHL II FOR MaTHEMATIK, RWTH AAcHeEn, 52056 AACHEN, GERMANY
Abstract:

In this paper we show that simplicial graphs, in which every vertex belongs to exactly one simplex, characterize graphs satisfying equality in some graph invariants concerning independence, clique covering, domination or distance.

Marialuisa J.de Resmini1
1 Dipartimento di Matematica Université di Roma “La Sapienza” 1-00185 Rome Italy
Abstract:

The plane in the title is investigated from the combinatorial point of view.Its Baer subplanes are classified and their distribution is studied.Properties of the Fano subplanes are shown.Blocking sets of Rédei type are constructed.
Finally, hyperovals and complete \(14\)-arcs are considered and classified.

Gary Chartrand1, Western Michigan1
1University Grzegorz Kubicki, University of Louisville Christina M. Mynhardt, University of South Africa Farrokh Sabat Western Michigan University
Abstract:

A graph \(G\) is \(H\)-decomposable if \(G\) can be decomposed into graphs, each of which is isomorphic to \(H\).
A graph \(G\) without isolated vertices is a least common multiple of two graphs \(G_1\) and \(G_2\) if \(G\) is a graph of minimum size such that \(G\) is both \(G_1\)-decomposable and \(G_2\)-decomposable.
It is shown that two graphs can have an arbitrarily large number of least common multiples.
All graphs \(G\) for which \(G\) and \(P_3\) (and \(G\) and \(2K_2\)) have a unique least common multiple are characterized.
It is also shown that two stars \(K_{1,r}\) and \(K_{1,s}\) have a unique least common multiple if and only if \(r\) and \(s\) are not relatively prime.

Peter Danziger1
1Department of Mathematics, Physics and Computer Science Ryerson University Toronto, Ontario Canada M5B 2K3
Abstract:

A Restricted Resolvable Design \(R_rRP(p, k)\) is a resolvable design on \(p\) points with block sizes \(r\) and \(r+1\) in which each point appears \(\alpha\) times. An \(RRP\) is called uniform if all resolution classes consist of the blocks of the same size.
We show that a uniform \(R_3RP(p,\frac{p}{2} -2)\) exists for all \(p \equiv 12 \mod 24, p \neq 12\) except possibly when \(p = 84\) or \(156\).
We also show that if \(g \equiv 3 \mod 6, g \notin \{3, 21, 39\}\) and \(p = 4g \mod 8g\) then there exists an \(R_3RP(p, \frac{p}{2}-(r+1))\) for all

  1. \(r \leq \frac{p-4g}{8g}\) if \(\frac{p}{4g}\) is a prime power congruent to \(1 \mod 6\);
  2. \(r \leq \frac{p}{4gq}\) where \(q\) is the smallest proper factor of \(\frac{p}{4g}\) if \(\frac{p}{4g}\) is composite and there exists an \(RT(9, \frac{p}{4gp})\).

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;