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
- Ars Combinatoria
- Volume 119
- Pages: 135-141
- Published: 31/01/2015
A cyclic edge-cut of a graph \(G\) is an edge set whose removal separates two cycles. If \(G\) has a cyclic edge-cut, it is said to be cyclically separable. For a cyclically separable graph \(G\), the cyclic edge-connectivity \(c\lambda(G)\) is the cardinality of a minimum cyclic edge-cut of \(G\). Let \(\zeta(G) = \min\{w(X) \mid X \text{ induces a shortest cycle in } G\}\), where \(w(X)\) is the number of edges with one end in \(X\) and the other end in \(V(G) – X\). A cyclically separable graph \(G\) with \(c\lambda(G) = \zeta(G)\) is said to be cyclically optimal. In this work, we discuss the cyclic edge connectivity of regular double-orbit graphs. Furthermore, as a corollary, we obtain a sufficient condition for mixed Cayley graphs, introduced by Chen and Meng \([3]\), to be cyclically optimal.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 129-133
- Published: 31/01/2015
Let \(G = (V, E)\) be a graph of order \(p\) and size \(q\). It is known that if \(G\) is a super edge-magic graph, then \(q \leq 2p – 3\). Furthermore, if \(G\) is super edge-magic and \(q = 2p – 3\), then the girth of \(G\) is \(3\). Additionally, if the girth of \(G\) is at least \(4\) and \(G\) is super edge-magic, then \(q \leq 2p – 5\). In this paper, we demonstrate that there are infinitely many graphs that are super edge-magic, have girth \(5\), and \(q = 2p – 5\). Hence, we conclude that for super edge-magic graphs of girths \(4\) and \(5\), the size is upper bounded by twice the order of the graph minus \(5\), and this bound is tight.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 117-127
- Published: 31/01/2015
The game of Nim as played on graphs was introduced in \([3]\) and extended in \([4]\) by Masahiko Fukuyama. His papers detail the calculation of Grundy numbers for graphs under specific circumstances. We extend these results and introduce the strategy for even cycles. This paper examines a more general class of graphs by restricting the edge weight to one. We provide structural conditions for which there exist a winning strategy. This yields the solution for the complete graph.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 97-116
- Published: 31/01/2015
Given positive integers \(j\) and \(k\) with \(j \geq k\), an {L\((j,k)\)-labeling} of a graph \(G\) assigns nonnegative integers to \(V(G)\) such that adjacent vertices’ labels differ by at least \(j\), and vertices distance two apart have labels differing by at least \(k\). The span of an L\((j,k)\)-labeling is the difference between the maximum and minimum assigned integers. The \(\lambda_{j,k}\)-number of \(G\) is the minimum span over all L\((j,k)\)-labelings of \(G\). This paper investigates the \(\lambda_{j,k}\)-numbers of Cartesian products of three complete graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 71-95
- Published: 31/01/2015
An \(L(2,1)\)-labeling of a graph \(G = (V, E)\) is a function \(f\) from its vertex set \(V\) to the set of nonnegative integers such that \(|f(x) – f(y)| \geq 2\) if \(xy \in E\) and \(|f(x) – f(y)| \geq 1\) if \(x\) and \(y\) are at distance two apart. The span of an \(L(2,1)\)-labeling \(f\) is the maximum value of \(f(x)\) over all \(x \in V\). The \emph{\(L(2,1)\)-labeling number} of \(G\), denoted \(\lambda(G)\), is the least integer \(k\) such that \(G\) has an \(L(2,1)\)-labeling of span \(k\). Chang and Kuo [1996, SIAM J. Discrete
Mathematics, Vol 9, No. 2, pp. \(309 — 316]\) proved that \(\lambda(G) \leq 2\Delta(G)\) and conjectured that \(\lambda(G) \leq \Delta(G) + \omega(G)\) for a strongly chordal graph \(G\), where \(\Delta(G)\) and \(\omega(G)\) are the maximum degree and maximum clique size of \(G\), respectively. In this paper, we propose an algorithm for \(L(2,1)\)-labeling a block graph \(G\) with \(\Delta(G) + \omega(G) + 1\) colors. As block graphs are strongly chordal graphs, our result proves Chang and Kuo’s conjecture for block graphs. We also obtain better bounds of \(\lambda(G)\) for some special subclasses of block graphs. Finally, we investigate finding the exact value of \(\lambda(G)\) for a block graph \(G\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 125
- Pages: 271-285
- Published: 31/01/2016
There are \(267\) nonisomorphic groups of order \(64\). It was known that \(259\) of these groups admit \((64, 28, 12)\) difference sets. In \([4]\), the author found all \((64, 28, 12)\) difference sets in \(111\) groups. In this paper, we find all \((64, 28, 12)\) difference sets in all the remaining groups of order \(64\) that admit \((64, 28, 12)\) difference sets. Also, we find all nonisomorphic symmetric \((64, 28, 12)\) designs that arise from these difference sets. We use these \((64, 28, 12)\) difference sets to construct all \((64, 27, 10, 12)\) and \((64, 28, 12, 12)\) partial difference sets. Finally, we examine the corresponding strongly regular graphs with parameters \((64, 27, 10, 12)\) and \((64, 28, 12, 12)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 65-69
- Published: 31/01/2015
In terms of Sears’ transformation formula for \(_4\phi_3\)-series, we provide standard proofs of a summation formula for \(_4\phi_3\)-series due to Andrews [Andrews, Adv. Appl. Math. \(46 (2011), 15-24]\) and another summation formula for \(_4\phi_3\)-series conjectured in the same paper. Meanwhile, several other related results are also derived.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 47-64
- Published: 31/01/2015
In the book embedding of an ordered set, the elements of the set are embedded along the spine of a book to form a linear extension. The pagenumber (or stack number) is the minimum number of pages needed to draw the edges as simple curves such that
edges drawn on the same page do not intersect. The pagenumber problem for ordered sets is known to be NP-complete, even if the order of the elements on the spine is-fixed. In this paper, we investigate this problem for some classes of ordered sets. We provide an efficient algorithm for embedding bipartite interval orders in a book with the minimum number of pages. We also give an upper bound for the pagenumber of general bipartite ordered sets and the pagenumber of complete multipartite ordered sets. At the end of this paper we discuss the effect of a number of diagram operations on the pagenumber of ordered sets. We give an answer to an open question by Nowakowski and Parker \([7]\) and we provide several known and new open questions we consider worth investigating.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 33-45
- Published: 31/01/2015
Let \(\Gamma\) be a \(d\)-bounded distance-regular graph with diameter \(d \geq 2\).In this paper, we give some counting formulas of subspaces in \(\Gamma\) and construct an authentication code with perfect. secrecy.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 23-31
- Published: 31/01/2015
We determine the full friendly index sets of spiders and disprove a conjecture by Lee and Salehi \([4]\) that the friendly index set of a tree forms an arithmetic progression.




