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.

John W.Jones1, Philip A.Leonard1
1Department of Mathematics and Statistics Arizona State University, Tempe, AZ 85287-1804
Abstract:

Expanding upon a comment by P. A. Leonard [9], we exhibit \(\mathbb{Z}\)-cyclic patterned-starter based whist tournaments for \(q^2\) players, where \(g = 4k + 3\) is prime; the cases \(3 < q < 200\) are included herein, with data for \(200 < q < 5,000\) available electronically.

Sin-Min Lee1, Claude Levesque2, Sheng-Ping Bill Lo3, Karl Schaffer4
1Department of Computer Science San Jose State University San Jose, California 95192 U.S.A.
2Département de mathématiques et de statistique Université Laval Québec, QC Canada G1K 7P4
3Cisco Systems, Inc. 170, West Tasman Drive San Jose, CA 95134
4Department of Mathematics De Anza College Cupertino, CA95014
Abstract:

Let \( G \) be a \( (p, q) \)-graph and \( k \geq 0 \). A graph \( G \) is said to be k-edge-graceful if the edges can be labeled by \( k, k+1, \dots, k+q-1 \) so that the vertex sums are distinct, modulo \( p \). We denote the set of all \( k \) such that \( G \) is \( k \)-edge graceful by \( \text{egS}(G) \). The set is called the \textbf{edge-graceful spectrum} of \( G \). In this paper, we are concerned with the problem of exhibiting sets of natural numbers which are the edge-graceful spectra of the cylinder \( C_{n} \times P_{m} \), for certain values of \( n \) and \( m \).

Christopher M. Earles1
1Department of Mathematical Sciences Bethel College 300 E. 27th Street North Newton, KS 67117
Abstract:

The judgment aggregation problem is an extension of the group decision-making problem, wherein each voter votes on a set of propositions which may be logically interrelated (such as \( p \), \( p \to q \), and \( q \)). The simple majority rule can yield an inconsistent set of results, so more complicated rules must be developed. Here, the problem is cast in terms of matroids, and the Greedy Algorithm is modified to obtain a “best” result. An NP-completeness result is also presented for this particular formulation of the problem.

W.C. Shiu1, M.H. Ling1, Richard M.Low2
1Department of Mathematics, Hong Kong Baptist University, 224 Waterloo Road, Kowloon Tong, Hong Kong.
2Department of Mathematics San José State University San José, CA 95192, USA
Abstract:

Let \( G \) be a connected simple \( (p, q) \)-graph and \( k \) a non-negative integer. The graph \( G \) is said to be \( k \)-edge-graceful if the edges can be labeled with \( k, k+1, \dots, k+q-1 \) so that the vertex sums are distinct modulo \( p \). The set of all \( k \) where \( G \) is \( k \)-edge-graceful is called the edge-graceful spectrum of \( G \). In 2004, Lee, Cheng, and Wang analyzed the edge-graceful spectra of certain connected bicyclic graphs, leaving some cases as open problems. Here, we determine the edge-graceful spectra of all connected bicyclic graphs without pendant.

Linda Eroh1, Ralucca Gera2
1Department of Mathematics University of Wisconsin Oshkosh, Oshkosh, WI, 54901
2Department of Applied Mathematics Naval Postgraduate School, Monterey, CA, 93943
Abstract:

Let \( G \) be a connected graph with vertex set \( V(G) \) and edge set \( E(G) \). A (defensive) alliance in \( G \) is a subset \( S \) of \( V(G) \) such that for every vertex \( v \in S \),\(|N[v] \cap S| \geq |N(v) \cap (V(G) – S)|.\) The alliance partition number, \( \psi_a(G) \), was defined (and further studied in [11]) to be the maximum number of sets in a partition of \( V(G) \) such that each set is a (defensive) alliance. Similarly, \( \psi_g(G) \) is the maximum number of sets in a partition of \( V(G) \) such that each set is a global alliance, i.e., each set is an alliance and a dominating set. In this paper, we give bounds for the global alliance partition number in terms of the minimum degree, which gives exactly two values for \( \psi_g(G) \) in trees. We concentrate on conditions that classify trees to have \( \psi_g(G) = i \) (\( i = 1, 2 \)), presenting a characterization for binary trees.

Michal Sramka1
1Center for Cryptology and Information Security, Florida Atlantic University, 777 Glades Road, Boca Raton, FL 33431
Abstract:

E. Stickel proposed a variation of the Diffie-Hellman key exchange scheme based on non-abelian groups, claiming that the underlying problem is more secure than the traditional discrete logarithm problem in cyclic groups. We show that the proposed scheme does not provide a higher level of security in comparison to the traditional Diffie-Hellman scheme.

Alexander Nien-Tsu Lee1, Sin-Min Lee2, Ho Kuen Ng3
1Department of Bioengineering University of California at San Diego La Jolla, California 92092,USA
2Department of Computer Science San Jose State University San Jose, CA 95192, USA
3Department of Mathematics San Jose State University San Jose, CA 95192, USA
Abstract:

Let \( G \) be a graph with vertex set \( V(G) \) and edge set \( E(G) \), and let \( A = \{0, 1\} \). A labeling \( f: V(G) \to A \) induces a partial edge labeling \( f^*: E(G) \to A \) defined by \(f^*(xy) = f(x), \text{ if and only if } f(x) = f(y),\) for each edge \( xy \in E(G) \). For \( i \in A \), let \(v_f(i) = \text{card}\{ v \in V(G) : f(v) = i \}\) and \(e_f^*(i) = \text{card}\{ e \in E(G) : f^*(e) = i \}.\) A labeling \( f \) of a graph \( G \) is said to be friendly if \(|v_f(0) – v_f(1)| \leq 1.\) If \(|e_f(0) – e_f(1)| \leq 1,\)then \( G \) is said to be \textbf{\emph{balanced}}. The \textbf{\emph{balance index set}} of the graph \( G \), \( BI(G) \), is defined as \(BI(G) = \{ |e_f(0) – e_f(1)| : \text{the vertex labeling } f \text{ is friendly} \}.\)Results parallel to the concept of friendly index sets are pr

Dalibor Froncek1
1University of Minnesota Duluth
Abstract:

An orthogonal double cover (ODC) of the complete graph \( K_n \) by a graph \( G \) is a collection \( \mathcal{G} = \{G_i \mid i=1,2,\dots,n\} \) of spanning subgraphs of \( K_n \), all isomorphic to \( G \), with the property that every edge of \( K_n \) belongs to exactly two members of \( \mathcal{G} \) and any two distinct members of \( \mathcal{G} \) share exactly one edge.

A lobster of diameter five is a tree arising from a double star by attaching any number of pendant vertices to each of its vertices of degree one. We show that for any double star \( R(p, q) \) there exists an ODC of \( K_n \) by all lobsters of diameter five (with finitely many possible exceptions) arising from \( R(p, q) \).

Sin-Min Lee1, Dinesh G.Sarvate2
1Department of Computer Science San Jose State University San Jose, CA 95192, USA
2Department of Mathematics College of Charleston Charleston, SC 29424, USA
Abstract:

Let \( G \) be a graph with vertex set \( V(G) \) and edge set \( E(G) \), and let \( A = \{0, 1\} \). A labeling \( f: V(G) \to A \) induces an edge partial labeling \( f^*: E(G) \to A \) defined by \( f^*(xy) = f(x) \) if and only if \( f(x) = f(y) \) for each edge \( xy \in E(G) \). For each \( i \in A \), let \(v_f(i) = |\{v \in V(G) : f(v) = i\}|\) and \(e_f(i) = |\{e \in E(G) : f^*(e) = i\}|.\)The balance index set of \( G \), denoted \( BI(G) \), is defined as \(\{|e_f(0) – e_f(1)|: |v_f(0) – v_f(1)| \leq 1\}.\)In this paper, exact values of the balance index sets of five new families of one-point union of graphs are obtained, many of them, but not all, form arithmetic progressions.

Ebrahim Salehi1, Patrick Bennett1
1Department of Mathematical Sciences University of Nevada Las Vegas Las Vegas, NV 89154-4020. ebrahim.salehiGunlv.edu
Abstract:

For any \( h \in \mathbb{Z} \), a graph \( G = (V, E) \) is said to be \( h \)-magic if there exists a labeling \( l: E(G) \to \mathbb{Z}_h – \{0\} \) such that the induced vertex set labeling \( l^+: V(G) \to \mathbb{Z}_h \), defined by
\[
l^+(v) = \sum_{uv \in E(G)} l(uv)\]
is a constant map. For a given graph \( G \), the set of all \( h \in \mathbb{Z}_+ \) for which \( G \) is \( h \)-magic is called the integer-magic spectrum of \( G \) and is denoted by \( IM(G) \). In this paper, we will determine the integer-magic spectra of trees of diameter five.

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;