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: 339-352
- Published: 31/01/2015
Let \(D\) be a directed graph with \(n\) vertices and \(m\) edges. A function \(f: V(D) \to \{1, 2, 3, \ldots, k\}\), where \(k \leq n\), is said to be a harmonious coloring of \(D\) if for any two edges \(xy\) and \(uv\) of \(D\), the ordered pair \((f(x), f(y)) \neq (f(u), f(v))\). If the pair \((i, i)\) is not assigned, then \(f\) is said to be a proper harmonious coloring of \(D\). The minimum \(k\) is called the proper harmonious coloring number of \(D\). We investigate the proper harmonious coloring number of various graphs, including unidirectional paths, unicycles, inward-spoken (outward-spoken) wheels, \(n\)-ary trees of different levels, and others.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 331-337
- Published: 31/01/2015
A vertex subset \(S\) of a digraph \(D = (V, A)\) is called an out-dominating (resp.,in-dominating) set of \(D\) if every vertex in \(V – S\) is adjacent from (resp., to) some vertex in \(S\). The out-domination (resp., in-domination) number of \(D\), denoted by \(\gamma^+(D)\) (resp.,\(\gamma^-(D)\)), is the minimum cardinality of an out-dominating (resp., in-dominating) set of \(D\). In 1999, Chartrand et al. proved that \(\gamma^+(D) + \gamma^-(D) \leq \frac{4n}{3}\) for every digraph \(D\) of order \(n\) with no isolated vertices. In this paper, we determine the values of \(\gamma^+(D) + \gamma^-(D)\) for rooted trees and connected contrafunctional digraphs \(D\), based on which we show that \(\gamma^+(D) + \gamma^-(D) \leq \frac{(2k+2)n}{2k+1}\) for every digraph \(D\) of order \(n\) with minimum out-degree or in-degree no less than \(1\), where \(2k + 1\) is the length of a shortest odd directed cycle in \(D\). Our result partially improves the result of Chartrand et al. In particular, if \(D\) contains no odd directed cycles, then \(\gamma^+(D) + \gamma^-(D) \leq n\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 321-329
- Published: 31/01/2015
Given graphs \(G\) and \(H\), an \(H\)-decomposition of \(G\) is a partition of the edge set of \(G\) such that each part is either a single edge or forms a graph isomorphic to \(H\). Let \(\gamma_H(n)\) denote the smallest number \(k\) such that any graph \(G\) of order \(n\) admits an \(H\)-decomposition with at most \(k\) parts. Here, we study the case when \(H = C_7\), the cycle of length \(7\), and prove that \(\gamma_{C_7}(n) = \left\lceil \frac{nZ^2}{4} \right\rceil\) for all \(n \geq 10\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 293-319
- Published: 31/01/2015
Given a (directed) graph \(G = (V, A)\), a subset \(X\) of \(V\) is an interval of \(G\) provided that for any \(a, b \in X\) and \(x \in V – X\), \((a, x) \in A\) if and only if \((b, x) \in A\) and \((x, a) \in A\)if and only if \((x, b) \in A\). For example, \(\emptyset\), \(\{x\}\) (\(z \in V\)), and \(V\) are intervals of \(G\), called trivial intervals. A graph, all of whose intervals are trivial, is indecomposable; otherwise, it is decomposable. A vertex \(x\) of an indecomposable graph is critical if \(G – x\) is decomposable. In 1998, J.H. Schmerl and W.T. Trotter characterized the indecomposable graphs, all of whose vertices are critical, called critical graphs. In this article, we characterize the indecomposable graphs that admit a single non-critical vertex, which we term (-1)-critical graphs, answering a question posed by Y. Boudabbous and P. Ille in a recent article studying critical vertices in indecomposable graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 289-292
- Published: 31/01/2015
Let \(G\) be a graph with minimum degree \(\delta(G)\). R.P. Gupta proved two interesting results: 1) A bipartite graph \(G\) has a 5-edge-coloring in which all 6 colors appear at each vertex. 2) If \(G\) is a simple graph with \(\delta(G) > 1\), then \(G\) has a \((\delta – 1)\)-edge-coloring in which all \((\delta – 1)\) colors appear at each vertex. Let \(t\) be a positive integer. In this paper, we extend the first result by showing that for every bipartite graph, there exists a \(t\)-edge coloring such that at each vertex \(v\), \(\min\{t, d(v)\}\) colors appear. Additionally, we demonstrate that if \(G\) is a graph, then the edges of \(G\) can be colored using \(t\) colors, where for each vertex \(v\), the number of colors appearing at \(v\) is at least \(\min\{t, d(v) – 1\}\), generalizing the second result.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 275-287
- Published: 31/01/2015
The Zarankiewicz number \(z(m, n; s, t)\) is the maximum number of edges in a subgraph of \(K_{m,n}\) that does not contain \(K_{s,t}\) as a subgraph. The \emph{bipartite Ramsey number} \(b(n_1, \ldots, n_k)\) is the least positive integer \(b\) such that any coloring of the edges of \(K_{b,b}\) with \(k\) colors will result in a monochromatic copy of \(K_{n_i,n_i}\) in the \(i\)-th color, for some \(i\), \(1 \leq i \leq k\). If \(n_i = m\) for all \(i\), we denote this number by \(b_k(m)\). In this paper, we obtain the exact values of some Zarankiewicz numbers for quadrilaterals (\(s = t = 2\)), and derive new bounds for diagonal multicolor bipartite Ramsey numbers avoiding quadrilaterals. Specifically, we prove that \(b_4(2) = 19\) and establish new general lower and upper bounds on \(b_k(2)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 263-273
- Published: 31/01/2015
Given non-negative integers \(r\), \(s\), and \(t\), an \({[r, s, t]-coloring}\) of a graph \(G = (V(G), E(G))\) is a function \(c\) from \(V(G) \cup E(G)\) to the color set \(\{0, 1, \ldots, k-1\}\) such that \(|c(v_i) – c(v_j)| \geq r\) for every two adjacent vertices \(v_i\), \(v_j\), \(|c(e_i) – c(e_j)| \geq s\) for every two adjacent edges \(e_i\), \(e_j\), and \(|c(v_i) – c(e_j)| \geq t\) for all pairs of incident vertices \(v_i\) and edges \(e_j\). The [\(r\), \(s\), \(t\)]-chromatic number \(\chi_{r,s,t}(G)\) is the minimum \(k\) such that \(G\) admits an [\(r\), \(s\), \(t\)]-coloring. In this paper, we examine [\(r\), \(s\), \(t\)]-chromatic numbers of fans for every positive integer \(r\), \(s\), and \(t\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 257-262
- Published: 31/01/2015
A new hemisystem of the generalized quadrangle \(\mathcal{H}(3, 49)\) admit-
ting the linear group \(PSL_2(7)\) has been found.
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 247-256
- Published: 31/01/2015
A graph is termed Laplacian integral if its Laplacian spectrum comprises integers. Let \(\theta(n_1, n_2, \ldots, n_k)\) be a generalized \(\theta\)-graph (see Figure 1). Denote by \(\mathcal{G}_{k-1}\) the set of \((k-1)\)-cyclic graphs, each containing some generalized \(\theta\)-graph \(\theta(n_1, n_2, \ldots, n_{k})\) as its induced subgraph. In this paper, we establish an edge subdividing theorem for Laplacian eigenvalues of a graph (Theorem 2.1), from which we identify all Laplacian integral graphs in the class \(\mathcal{G}_{ k-1}\) (Theorem 3.2).
- Research article
- Full Text
- Ars Combinatoria
- Volume 119
- Pages: 235-246
- Published: 31/01/2015
We determine the Ramsey numbers \(R(S_{2,m} K_{2, q})\) for \(m \in \{3, 4, 5\}\) and \(q \geq 2\). Additionally, we obtain \(R(tS_{2, 3}, sK_{2, 2})\) and \(R(S_{2, 3}, sK_{2, 2})\) for \(s \geq 2\) and \(t \geq 1\). Furthermore, we also establish \(R(sK_2, \mathcal{H})\), where \( \mathcal{H}\) is the union of graphs with each component isomorphic to the connected spanning subgraph of \(K_{s} + C_n\), for \(n \geq 3\) and \(s \geq 1\).




