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.

Rao Li1
1 School of Computer and Information Sciences Georgia Southwestern State University Americus, GA 31709
Abstract:

A graph \(G\) is called an \(L_1\)-graph if, for each triple of vertices \(x, y,\) and \(z\) with \(d(x,y) = 2\) and \(z \in N(x) \cap N(y)\), \(d(x) + d(y) \geq |N(x) \cup N(y) \cup N(z)| – 1\). Let \(G\) be a \(3\)-connected \(L_1\)-graph of order \(n \geq 18\). If \(\delta(G) \geq n/3\), then every pair of vertices \(u\) and \(v\) in \(G\) with \(d(u,v) \geq 3\) is connected by a Hamiltonian path of \(G\).

Paul Erdés1, Ralph Faudree2, Edward T.Ordman2, Cecil Rousseau2, Richard Schelp2
1 Hungarian Academy of Sciences
2Department of Mathematical Sciences The University of Memphis Memphis, Tennessee 38152-3240
Abstract:

How many vertices must we delete from a graph so that it no longer contains a path \(P_k\) on \(k\) vertices? We explore this question for various special graphs (hypercubes, square lattice graphs) as well as for some general families.

Marston Conder1, Peter Dobcsanyi1
1Department of Mathematics University of Auckland Private Bag 92019 Auckland NEW ZEALAND
Abstract:

A complete list is given of all finite trivalent arc-transitive connected graphs on up to \(768\) vertices, completing and extending the Foster census. Several previously undiscovered graphs appear, including one on \(448\) vertices which is the smallest arc-transitive trivalent graph having no automorphism of order 2 which reverses an arc. The graphs on the list are classified according to type (as described by Djokovic and Miller in terms of group amalgams), and were produced with the help of a parallel program which finds all normal subgroups of low index in a finitely-presented group. Further properties of each graph are also given: its girth, diameter, Hamiltonicity, and whether or not it is bipartite.

A. Panayotopoulos1, A. Sapounakis1
1 Department of Informatics University of Piraeus 80 Karaoli & Dimitriou, 185 34 Piraeus Greece
Abstract:

In this paper the decomposition of Dyck words into a product of Dyck prime subwords is studied. The set of Dyck words which are decomposed into \(k\) components is constructed and its cardinal number is evaluated.

Christopher Poisson1, Ping Zhang1
1Department of Mathematics and Statistics Western Michigan University Kalamazoo, MI 49008
Abstract:

For an ordered set \(W = \{w_1, w_2, \ldots, w_k\}\) of vertices and a vertex \(v\) in a graph \(G\), the representation of \(v\) with respect to \(W\) is the \(k\)-vector \(r(v|W) = (d(v, w_1), d(v, w_2), \ldots, d(v, w_k))\), where \(d(x,y)\) represents the distance between the vertices \(x\) and \(y\). The set \(W\) is a resolving set for \(G\) if distinct vertices of \(G\) have distinct representations. A resolving set containing a minimum number of vertices is called a basis for \(G\) and the number of vertices in a basis is the (metric) dimension \(\dim G\). A connected graph is unicyclic if it contains exactly one cycle. For a unicyclic graph \(G\), tight bounds for \(\dim G\) are derived. It is shown that all numbers between these bounds are attainable as the dimension of some unicyclic graph.

D. DiMarco1
1 New York City Technical College
Abstract:

It is an established fact that some graph-theoretic extremal questions play an important part in the investigation of communication network vulnerability. Questions concerning the realizability of graph invariants are generalizations of the extremal problems. We define a \((p,q, \kappa,\delta)\) graph as a graph having \(p\) vertices, \(q\) edges, vertex connectivity \(\kappa\) and minimum degree \(\delta\). An arbitrary quadruple of integers \((a,b, c, d)\) is called \((p,q, \kappa, \delta)\) realizable if there is a \((p,q, \kappa, \delta)\) graph with \(p=a, q=b, \kappa=c\) and \(\delta=d\). Necessary and sufficient conditions for a quadruple to be \((p,q, \kappa, \delta)\) realizable are derived. In earlier papers, Boesch and Suffel gave necessary and sufficient conditions for \((p,q, \kappa), (p,q, \lambda), (p,4, \delta), (p, \Delta,\delta, \lambda)\) and \((p, \Delta, \delta, \kappa)\) realizability, where \(\Delta\) denotes the maximum degree for all vertices in a graph and \(\lambda\) denotes the edge connectivity of a graph.

Kevin Ferland1
1 Bloomsburg University, Bloomsburg, PA 17815
Abstract:

Upper and lower bounds are given for the toughness of generalized Petersen graphs. A lower bound of \(1\) is established for \(t(G(n,k))\) for all \(n\) and \(k\). This bound of \(1\) is shown to be sharp if \(n = 2k\) or if \(n\) is even and \(k\) is odd. The upper bounds depend on the parity of \(k\). For \(k\) odd, the upper bound \(\frac{n}{n-\frac{n+1}{2}}\) is established. For \(k\) even, the value \(\frac{2k}{2k-1}\) is shown to be an asymptotic upper bound. Computer verification shows the reasonableness of these bounds for small values of \(n\) and \(k\).

Chiang Lin1, Jenq-Jong Lin2, Hung-Chih Lee3
1Department of Mathematics National Central University Chung-Li. Taiwan 320, R.O.C.
2Department of Commercial Design Ling Tung College Taichung, Taiwan 408, R.O.C.
3Department of Information Management Ling Tung College Taichung, Taiwan 408, R.O.C.
Abstract:

Suppose \(G\) is a graph. The minimum number of paths (trees, forests, linear forests, star forests, complete bipartite graphs, respectively) needed to decompose the edges of \(G\) is called the path number (tree number, arboricity, linear arboricity, star arboricity and biclique number, respectively) of \(G\). These numbers are denoted by \(p(G), t(G), a(G), la(G), sa(G), r(G)\), respectively. For integers \(1 \leq k \leq n\), let \(C_{n,k}\) be the graph with vertex set \(\{a_1,a_2,\ldots,a_n,b_1,b_2,\ldots,b_n\}\) and edge set \(\{a_ib_j :i=1,2,\ldots ,n,j \equiv i+1,i+2, \ldots ,i+k \text{(mod n)}\}\). We call \(C_{n,k}\) a crown. In this paper, we prove the following results:

  1. \(p(C_{n,k}) = \begin{cases}
    n & \text{if \(k\) is odd}, \\
    {(\frac{k}{2})+1} & \text{if \(k\) is even}.
    \end{cases}\)
  2. \(a(C_{n,k}) = t(C_{n,k}) = la(C_{n,k}) = \left\lceil \frac{k+1}{2} \right\rceil\) if \(k \geq 2\).
  3. For \(k \geq 3\) and \(k \in \{3,5\} \cup \{n-3,n-2,n-1\}\),
    \[sa(C_{n,k}) = \begin{cases}
    \left\lceil \frac{k}{2} \right\rceil + 1 & \text{if \(k\) is odd}, \\
    \left\lceil \frac{k}{2} \right\rceil + 2 & \text{if \(k\) is even}.
    \end{cases}\]
  4. \(r(C_{n,k}) = n\) if \(k \leq \frac{n+1}{2}\) or \(\gcd(k,n) = 1\).

Due to (3), (4), we propose the following conjectures.

\(\textbf{Conjecture A}\). For \(3 \leq k \leq n-1\),
\[sa(C_{n,k}) = \begin{cases}
\left\lceil \frac{k}{2} \right\rceil + 1 & \text{if \(k\) is odd}, \\
\left\lceil \frac{k}{2} \right\rceil + 2 & \text{if \(k\) is even}.
\end{cases}\]
\(\textbf{Conjecture B}\). For \(1 \leq k \leq n-1\), \(r(C_{n,k}) = n\).

Hong-Jian Lai1, Xiankun Zhang1
1Department of Mathematics West Virginia University, Morgantown, WV26505
Abstract:

Let \(G = (V, E)\) be a graph and \(A\) a non-trivial Abelian group, and let \(\mathcal{F}(G, A)\) denote the set of all functions \(f: E(G) \to A\). Denote by \(D\) an orientation of \(E(G)\). Then \(G\) is \(A\)-colorable if and only if for every \(f \in \mathcal{F}(G, A)\) there exists an \(A\)-coloring \(c: V(G) \to A\) such that for every \(e = (x,y) \in E(G)\) (assumed to be directed from \(x\) to \(y\)), \(c(x) – c(y) \neq f(e)\). If \(G\) is a graph, we define its group chromatic number \(\chi_1(G)\) to be the minimum number \(m\) for which \(G\) is \(A\)-colorable for any Abelian group \(A\) of order \(\geq m\) under the orientation \(D\). In this paper, we investigated the properties of the group chromatic number, proved the Brooks Type theorem for \(\chi_1(G)\), and characterized all bipartite graphs with group chromatic number at most \(3\), among other things.

Igor E.Zverovich1
1RUTCOR 640 Bartholomew Road Piscataway, NJ USA 08854
Abstract:

A signed graph is an unoriented graph with a given partition \(E = E^+ \bigcup E^-\) of its edge-set. We define the arc signed graph \({A}(G)\) of an oriented graph \(G\) (G has no multiple arcs, opposite arcs, and loops). The arc signed graphs are similar to the line graphs. We prove both a Krausz-type characterization and a forbidden induced subgraph characterization (like the theorem of Beineke and Robertson on line graphs). Unlike line graphs, there are infinitely many minimal forbidden induced subgraphs for the arc signed graphs. Nevertheless, the arc signed graphs are polynomially recognizable. Also, we obtain a result similar to Whitney’s theorem on line graphs.

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;