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.

Jens-P. Bode1, Heiko Harborth, Martin Harborth2
1Diskrete Mathematik Technische Universitat Braunschweig AckerstraBe 22 38023 Braunschweig, Germany 38126
2Siemens Transportation Systems Braunschweig, Germany
Abstract:

A king graph \( KG_n \) has \( n^2 \) vertices corresponding to the \( n^2 \) squares of an \( n \times n \) chessboard. From one square (vertex) there are edges to all squares (vertices) being attacked by a king. For given graphs \( G \) and \( H \), the Ramsey number \( r(G, H) \) is the smallest \( n \) such that any 2-coloring of the edges of \( KG_n \) contains \( G \) in the first or \( H \) in the second color. Results on existence and nonexistence of \( r(G, H) \) and some exact values are presented.

Michelle Schultz1, Michael Watson1
1Department of Mathematical Sciences University of Nevada Las Vegas Las Vegas NV 89154-4020
Abstract:

A set \( \{a_1,a_2,\ldots,a_n\} \) of positive integers with \( a_1 < a_2 < \cdots < a_n \) is said to be equi-graphical if there exists a graph with exactly \( a_i \) vertices of degree \( a_i \) for each \( i \) with \( 1 \leq i \leq n \). It is known that such a set is equi-graphical if and only if \( \sum_{i=1}^{n} a_i \) is even and \( a_n \leq \sum_{i=1}^{n-1} a_i^2 \). This concept is generalized to the following problem: Given a set \( S \) of positive integers and a permutation \( \pi \) on \( S \), determine when there exists a graph containing exactly \( a_i \) vertices of degree \( \pi(a_i) \) for each \( i \) (\( 1 \leq i \leq n \)). If such a graph exists, then \( \pi \) is called a graphical permutation. In this paper, the graphical permutations on sets of size four are characterized and using a criterion of Fulkerson, Hoffman, and McAndrew, we show that a permutation \( \pi \) of \( S = \{a_1,a_2,\ldots,a_n\} \), where \( 1 \leq a_1 < a_2 < \cdots < a_n \) and such that \( \pi(a_n) = a_n \), is graphical if and only if \( \sum_{i=1}^{n} a_i\pi(a_i) \) is even and \( a_n \leq \sum_{i=1}^{n-1} a_i\pi(a_i) \).

Thomas Porter1
1Department of Mathematics, Southern Illinois University, Carbondale. IL 62901-4408
Abstract:

The formula for the number of spanning trees in \( K_{t_1,\ldots,t_P} \) is well known. In this paper, we give an algorithm that generates the list of spanning trees in \( K_{s,t} \).

Sin-Min Lee1, Ebrahim Salehi2, Hugo Sun3
1Department of Computer Science San Jose State University San Jose, CA 95192
2Department. of Mathematical Sciences University of Nevada, Las Vegas Las Vegas, NV 89154-4020
3Department of Mathematics California State University Fresno Fresno, CA 93740
Abstract:

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

Feng-Zhen Zhao1, Tianming Wang1
1(Dalian University of Technology, Dalian 116024, China)
Abstract:

In this paper, by using the generating function method, we obtain a series of identities involving the generalized Fibonacci and Lucas numbers.

Peter J.Slater1, Steven J.Winters2
1Mathematical Sciences Department University of Alabama in Huntsville Huntsville, Alabama USA 35899
2Mathematics Department University of Wisconsin Oshkosh Oshkosh, Wisconsin USA 54901
Abstract:

This paper introduces the problem of finding a permutation \(\phi\) on the vertex set \(V(G)\) of a graph \(G\) such that the sum of the distances from each vertex to its image under \(\phi\) is maximized. We let \(\mathcal{S}(G) = \max \sum_{v\in V(G)} d(v, \phi(v))\), where the maximum is taken over all permutations \(\phi\) of \(V(G)\). Explicit formulae for several classes of graphs as well as general bounds are presented.

Angelika Hellwig 1, Lutz Volkmann 1
1Lehrstuhl II fiir Mathematik, RWTH Aachen, 52056 Aachen, Germany
Abstract:

The local-edge-connectivity \((u,v)\) of two vertices \(u\) and \(v\) in a graph or digraph \(D\) is the maximum number of edge-disjoint \(u-v\) paths in \(D\), and the edge-connectivity of \(D\) is defined as \(\lambda(D) = \min\{\lambda(u, v) | u,v \in V(D)\}\). Clearly, \(\lambda(u,v) \leq \min\{d^+(u),d^-(v)\}\) for all pairs \(u\) and \(v\) of vertices in \(D\). We call a graph or digraph \(D\) maximally local-edge-connected when

\[\lambda(u, v) = \min\{d^+(u),d^-(v)\}\]

for all pairs \(u\) and \(v\) of vertices in \(D\).

Recently, Fricke, Oellermann, and Swart have shown that some known sufficient conditions that guarantee equality of \(\lambda(G)\) and minimum degree \(\delta(G)\) for a graph \(G\) are also sufficient to guarantee that \(G\) is maximally local-edge-connected.
In this paper we extend some results of Fricke, Oellermann, and Swart to digraphs and we present further sufficient conditions for
graphs and digraphs to be maximally local-edge-connected.

Florian Pfender1
1Department of Mathematics and Computer Science, Emory University, Atlanta, GA 30322,
Abstract:

We show that every hamiltonian claw-free graph with a vertex \(x\) of degree \(d(x) \geq 7\) has a \(2\)-factor consisting of exactly two cycles.

Yi-Chih Hsieh1, Han-Suk Sohn2, Dennis L.Bricker2
1Department of Industrial Management, National Huwei Institute of Technology Huwei, Yunlin 632, Taiwan
2Department of Industrial Engineering, The University of lowa Iowa City, IA 52242, USA
Abstract:

This paper presents two new algorithms for generating \((n,2)\) de Bruijn sequences which possess certain properties. The sequences generated by the proposed algorithms may be useful for experimenters to systematically investigate intertrial repetition effects. Characteristics are compared with those of randomly sampled \((n,2)\) de Bruijn sequences.

P. Paulraja1, N. Varadarajan1
1Department of Mathematics, Annamalai University, Annamalai Nagar — 608 002. India.
Abstract:

Let \(\alpha(G)\) and \(\tau(G)\) denote the independence number and matching number of a graph \(G\), respectively. The tensor product of graphs \(G\) and \(H\) is denoted by \(G \times H\). Let \(\underline{\alpha}(G \times H) = \max \{\alpha(G) \cdot n(H), \alpha(H) \cdot n(G)\}\) and \(\underline{\tau}(G \times H) = 2\tau(G) \cdot \tau(H)\), where \(\nu(G)\) denotes the number of vertices of \(G\). It is easy to see that \(\alpha(G \times H) \geq \underline{\alpha}(G \times H)\) and \(\beta(G \times H) \geq \underline{\tau}(G \times H)\). Several sufficient conditions for \(\alpha(G \times H) > \underline{\alpha}(G \times H)\) are established. Further, a characterization is established for \(\alpha(G \times H) = \underline{\tau}(G \times H)\). We have also obtained a necessary condition for \(\alpha(G \times H) = \underline{\alpha}(G \times H)\). Moreover, it is shown that neither the hamiltonicity of both \(G\) and \(H\) nor large connectivity of both \(G\) and \(H\) can guarantee the equality of \(\alpha(G \times H)\) and \(\underline{\alpha}(G \times H)\).

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;