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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 050
- Pages: 47-55
- Published: 31/08/2004
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.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 050
- Pages: 33-46
- Published: 31/08/2004
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) \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 050
- Pages: 17-32
- Published: 31/08/2004
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} \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 050
- Pages: 3-15
- Published: 31/08/2004
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 072
- Pages: 311-318
- Published: 31/07/2004
In this paper, by using the generating function method, we obtain a series of identities involving the generalized Fibonacci and Lucas numbers.
- Research article
- Full Text
- Ars Combinatoria
- Volume 072
- Pages: 307-310
- Published: 31/07/2004
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 072
- Pages: 295-306
- Published: 31/07/2004
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 072
- Pages: 287-293
- Published: 31/07/2004
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 072
- Pages: 277-286
- Published: 31/07/2004
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.
- Research article
- Full Text
- Ars Combinatoria
- Volume 072
- Pages: 263-276
- Published: 31/07/2004
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)\).




