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.

David C.Fisher1, Shannon L.Fitzpatrick2
1 University of Colorado Denver, Colorado 80217-3364
2University of Prince Edward Island Charlottetown, Prince Edward Island C1A 4P3
Abstract:

An isometric path is merely any shortest path between two vertices. Inspired by the game of `Cops and Robber’ and a result by Aigner \(\&\) Fromme [1], we are interested in determining the minimum number of isometric paths required to cover the vertices of a graph. We find a lower bound on this number in terms of the diameter of a graph and find the exact number for trees and grid graphs.

W.C. Shiut1, Sin-Min Lee2, Karl Schaffer3
1Department of Mathematics Hong Kong Baptist University 224 Waterloo Road, Kowloon Tong Hong Kong, China.
2Department of Mathematics and Computer Science San José State University One Washington Square, San José, CA 95192-0108, U.S.A.
3Department of Mathematics De Anza College Cupertino, CA 95014, U.S.A.
Abstract:

An edge-graceful \((p, q)\)-graph \(G = (V, E)\) is a graph with \(p\) vertices and \(q\) edges for which there is a bijection \(f : E \to \{1,2,\ldots,q\}\) such that the induced mapping \(f^+ : V \to \mathbb{Z}_p\), defined by \(f^+(u) \equiv \sum\limits_{uv \in E} f(uv) \pmod{p}\), for \(u \in V\), is a bijection. In this paper, some results on edge-gracefulness of trees are extended to \(k\)-fold graphs based on graphs with \(p\) vertices and \(p – 1\) edges. A \(k\)-fold multigraph \(G[k]\) derived from a graph \(G\) is one in which each edge of \(G\) has been replaced by \(k\) parallel edges with the same vertices as the original edge. Certain classes of \(k\)-fold multigraphs derived from paths, combs, and spiders are shown to be edge-graceful, as well as other graphs constructed by combining these graphs in specified ways.

Giulio Salerni1
1 Piazza A. Zamorani 4, I-00157 Rome, Italy
Abstract:

We determine solutions to the problem of gossiping in minimum time (briefly: minimum time problem or MTP) which require less calls than the previously known solutions for infinitely many values of the number \(n\) of persons and optimal solutions to the MTP, i.e. solutions of the MTP which minimize the number of calls, for some values of \(n\). We conjecture that our methods provide optimal solutions of the MTP for all \(n\).

Narong Punnim1
1Department of Mathematics Srinakharinwirot University Sukhumvit Soi 23, Bangkok 10110, Thailand
Abstract:

Erdős and Gallai (1963) showed that any \(r\)-regular graph of order \(n\), with \(r < n-1\), has chromatic number at most \({3n}/{5}\), and this bound is achieved by precisely those graphs with complement equal to a disjoint union of 5-cycles.

We are able to generalize this result by considering the problem of determining a \((j-1)\)-regular graph \(G\) of minimum order \(f(j)\) such that the chromatic number of the complement of \(G\) exceeds \({f(j)}/{2}\). Such a graph will be called an \(F(j)\)-\({graph}\). We produce an \(F(j)\)-graph for all odd integers \(j \geq 3\) and show that \(f(j) = {5(j – 1)}/{2}\) if \(j \equiv 3 \pmod{4}\), and \(f(j) = 1 + {5(j – 1)}/{2}\) if \(j \equiv 1 \pmod{4}\).

Zhibo Chen1
1Department of Mathematics Penn State University, McKeesport PA 15132, U.S.A.
Abstract:

A lemma of Enomoto, Llado, Nakamigawa and Ringel gives an upper bound for the edge number of a super edge-magic graph with \(p > 1\) vertices. In this paper we give some results which come out from answering some natural questions suggested by this useful lemma.

Jerzy Wojdylo1
1Department of Mathematics Southeast Missouri State University One University Plaza Cape Girardeau, MO 63701, U.S.A.
Abstract:

The scheme associated with a graph is an association scheme if and only if the graph is strongly regular. Consider the problem of extending such an association scheme to a superscheme in the case of a colored, directed graph. The obstacles can be expressed in terms of \(t\)-vertex conditions. If a graph does not satisfy the \(t\)-vertex condition, a prescheme associated with it cannot be erected beyond the \((t-3)\)rd-level.

Rolf S.Rees1
1 Department of Mathematics and Statistics Memorial University of Newfoundland St. John’s, Newfoundland Canada A1C 587
Abstract:

A mandatory representation design MRD \((K; v)\) is a pairwise balanced design PBD \((K; v)\) in which for each \(k \in K\) there is at least one block in the design of size \(k\). The study of the mandatory representation designs is closely related to that of subdesigns in pairwise balanced designs. In this paper, we survey the known results on MRDs and pose some open questions.

Spencer P.Hurd1, Dinesh G.Sarvate2
1 Department of Mathematics and Computer Science The Citadel, Charleston, SC, 29409
2 Department of Mathematics, University of Charleston, Charleston, SC, 29424
Abstract:

It is shown that the necessary conditions are sufficient for the existence of all \(c\)-BRDs\((v, 3, \lambda)\) for negative \(c\)-values. This completes the study of \(c\)-BRDs with block size three as previously the authors and J. Seberry have shown that the necessary conditions are sufficient for \(c \geq -1\).

N. Ananchuen1
1 Department of Mathematics Silpakorn University Nakorn Pathom 73000 Thailand
Abstract:

Let \(G\) be a simple connected graph on \(2n\) vertices with a perfect matching. For a positive integer \(k\), \(1 \leq k \leq n-1\), \(G\) is \(k\)-\emph{extendable} if for every matching \(M\) of size \(k\) in \(G\), there is a perfect matching in \(G\) containing all the edges of \(M\). For an integer \(k\), \(0 \leq k \leq n – 2\), \(G\) is \emph{strongly \(k\)-extendable} if \(G – \{u, v\}\) is \(k\)-extendable for every pair of vertices \(u\) and \(v\) of \(G\). The problem that arises is that of characterizing \(k\)-extendable graphs and strongly \(k\)-extendable graphs. The first of these problems has been considered by several authors whilst the latter has been investigated only for the case \(k = 0\). In this paper, we focus on the problem of characterizing strongly \(k\)-extendable graphs for any \(k\). We present a number of properties of strongly \(k\)-extendable graphs including some necessary and sufficient conditions for strongly \(k\)-extendable graphs.

Michael Scott McClendon1, Thelma West2
1 Department of Mathematics and Statistics University of Central Oklahoma Edmond, Oklahoma 73034
2Department of Mathematics University of Louisiana at Lafayette Lafayette, LA 70504
Abstract:

In this paper we count the number of non-homeomorphic continua in a certain collection of continua. The continua in these collections are trees with certain restrictions on them. We refer to a continuum in one of these collections as a caterpillar continuum.

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;