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 067
- Pages: 141-152
- Published: 30/04/2003
The distance \(d(u,v)\) between a pair of vertices \(u\) and \(v\) is the length of a shortest path joining \(u\) and \(v\). The eccentricity \(e(v)\) of vertex \(v\) is the distance to a vertex farthest from \(v\). In a graph \(G\), an eccentric vertex of \(v\) is a vertex farthest from \(v\), that is, a vertex \(u\) for which \(d(u,v) = e(v)\). Given a set \(X\) of vertices in \(G\), the vertices of \(X\) are mutually eccentric provided that for any pair of vertices \(u\) and \(v\) in \(X\), \(u\) is an eccentric vertex of \(v\) and \(v\) is an eccentric vertex of \(u\). In this paper, we discuss problems concerning sets of mutually eccentric vertices in graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 129-139
- Published: 30/04/2003
A \(k\)-circular-distance-two labeling (or \(k\)-c-labeling) of a simple graph \(G\) is a vertex-labeling, using the labels \(0, 1, 2, \ldots, k-1\), such that the “circular difference” (mod \(k\)) of the labels for adjacent vertices is at least two, and for vertices of distance-two apart is at least one. The \(\sigma\)-number, \(\sigma(G)\), of a graph \(G\) is the minimum \(k\) of a \(k\)-c-labeling of \(G\). For any given positive integers \(n\) and \(k\), let \(\mathcal {G}^{\sigma}(n, k)\) denote the set of graphs \(G\) on \(n\) vertices and \(\sigma(G) = k\). We determine the maximum size (number of edges) and the minimum size of a graph \(G \in \mathcal {G}^{\sigma}(n, k)\). Furthermore, we prove that for any value \(p\) between the maximum and the minimum size, there exists a graph \(G \in \mathcal {G}^{\sigma}(n, k)\) of size \(p\). These results are analogues of the ones by Georges and Mauro [4] on distance-two labelings.
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 115-128
- Published: 30/04/2003
We give a parametric representation for generic magic squares. This makes it relatively easy to construct magic squares having desired properties. It also suggests a convenient method for generating and classifying all the magic squares of every given order.
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 105-114
- Published: 30/04/2003
A vertex \(v\) in a digraph \(D\) out-dominates itself as well as all vertices \(u\) such that \((v,u)\) is an arc of \(D\); while \(v\) in-dominates both itself and all vertices \(w\) such that \((w,v)\) is an arc of \(D\). A set \(S\) of vertices of \(D\) is a twin dominating set of \(D\) if every vertex of \(D\) is out-dominated by some vertex of \(S\) and in-dominated by some vertex of \(S\). The minimum cardinality of a twin dominating set is the twin domination number \(\gamma^*(D)\) of \(D\). It is shown that \(\gamma^*(D) \leq \frac{2p}{3}\) for every digraph \(D\) of order \(p\) having no vertex of in-degree \(0\) or out-degree \(0\). Moreover, we give a Nordhaus-Gaddum type bound for \(\gamma^*\), and for transitive digraphs we give a sharp upper bound for the twin domination number in terms of order and minimum degree.
For a graph \(G\), the upper orientable twin domination number \(DOM^*(G)\) is the maximum twin domination number \(\gamma^*(D)\) over all orientations \(D\) of \(G\); while the lower orientable twin domination number \(dom^*(G)\) of \(G\) is the minimum such twin domination number. It is shown that for each graph \(G\) and integer \(c\) with \(dom^*(G) \leq c \leq DOM^*(G)\), there exists an orientation \(D\) of \(G\) such that \(\gamma^*(D) = c\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 97-103
- Published: 30/04/2003
For positive integers \(k \leq n\), the crown \(C_{n,k}\) is the graph with vertex set \(\{a_1, a_2, \ldots, a_n, b_1, b_2, \ldots, b_n\}\) and edge set \(\{a_ib_j: 1 \leq i \leq n, j = i,i+1,\ldots, i+k-1 \pmod{n}\}\). In this paper, we give a necessary and sufficient condition for the existence of a \(P_1\) decomposition of \(C_{n,k}\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 89-95
- Published: 30/04/2003
We use an array given in H. Kharaghani, “Arrays for orthogonal designs”, J. Combin. Designs, \(8 (2000), 166-173\), to obtain infinite families of \(8\)-variable Kharaghani type orthogonal designs, \(OD(8t; k_1, k_1, k_1, k_1, k_2, k_2, k_2, k_2)\), where \(k_1\) and \(k_2\) must be the sum of two squares. In particular, we obtain infinite families of \(8\)-variable Kharaghani type orthogonal designs, \(OD(8t; k, k, k, k, k, k, k, k)\). For odd \(t\), orthogonal designs of order \(\equiv 8 \pmod{16}\) can have at most eight variables.
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 65-87
- Published: 30/04/2003
We introduce semi quadrangles, which are finite partial linear spaces with a constant number of points on each line, having no ordinary triangles and containing, as minimal circuits, ordinary quadrangles and pentagons, with the additional property that every two non-collinear points are collinear with at least one other point of the geometry. A semi quadrangle is called thick if every point is incident with at least three lines and if every line is incident with at least three points. Thick semi quadrangles generalize (thick) partial quadrangles (see [4]). We will emphasize the special situation of the semi quadrangles which are subgeometries of finite generalized quadrangles. Some particular geometries arise in a natural way in the theory of symmetries of finite generalized quadrangles and in the theory of translation generalized quadrangles, as certain subgeometries of generalized quadrangles with concurrent axes of symmetry; these subgeometries have interesting automorphism groups, see [17] and also [19]. Semi quadrangles axiomatize these geometries. We will present several examples of semi quadrangles, most of them arising from generalized quadrangles or partial quadrangles. We will prove an inequality for semi quadrangles which generalizes the inequality of Cameron [4] for partial quadrangles, and the inequality of Higman [7,8] for generalized quadrangles. The proof also gives information about the equality. Some other inequalities and divisibility conditions are computed. Also, we will characterize the linear representations of the semi quadrangles, and we will have a look at the point graphs of semi quadrangles.
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 37-63
- Published: 30/04/2003
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 33-36
- Published: 30/04/2003
Let \(G\) be a graph, \(\overline{G}\) its complement, \(L(G)\) its line graph, and \(\chi(G)\) its chromatic number. Then we have the following
THEOREM Let \(G\) be a graph with \(n\) vertices. (i) If \(G\) is triangle
free, then
\[n-4 \leq \chi\left(\overline{L(\overline{G})}\right)\leq n-2\]
(ii) If G is planar and every triangle bounds a disk, then
\[n-3 \leq \chi\left(\overline{L(\overline{G})}\right)\leq n-2\]
- Research article
- Full Text
- Ars Combinatoria
- Volume 067
- Pages: 27-31
- Published: 30/04/2003
Let \(G\) be a simple graph on \(n\) vertices with list chromatic number \(\chi_\ell = s\). If each vertex of \(G\) is assigned a list of \(t\) colours, Albertson, Grossman, and Haas [1] asked how many of the vertices, \(\lambda_{t,s}\), are necessarily colourable from these lists? They conjectured that \(\lambda_{t,s} \geq \frac{tn}{s}\). Their work was extended by Chappell [2]. We improve the known lower bounds for \(\lambda_{t,s}\).




