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 070
- Pages: 207-220
- Published: 31/01/2004
A connected graph \(G(V, E)\) is said to be \((a, d)\)-antimagic if there exist positive integers \(a\) and \(d\) and a bijection \(f: E \to \{1, 2, \ldots, |E|\}\) such that the induced mapping \(g_f: V \to \mathbb{N}\) defined by \(g_f(v) = \sum\{f(u,v) | (u, v) \in E(G)\}\) is injective and \(g_f(V) = \{a, a+d, a+2d, \ldots, a+(|V|-1)d\}\). In this paper, we mainly investigate \((a, d)\)-antimagic labeling of some special trees, complete bipartite graphs \(K_{m,n}\), and categorize \((a, d)\)-antimagic unicyclic graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 197-205
- Published: 31/01/2004
A graph \(G = (V, E)\) is said to be an \(integral \;sum \;graph\) ( respectively, \(sum \;graph\)) if there is a labeling \(f\) of its vertices with distinct integers ( respectively, positive integers) , so that for any two vertices \(u\) and \(v\), \(uv\) is an edge of \(G\) if and only if \(f(u) + f(v) = f(w)\) for some other vertex \(w\). For a given graph \(G\), the \(integral\; sum\; number\) \(\zeta = \zeta(G)\) (respectively, \(sum\; number\) \(\sigma = \sigma(G)\) ) is defined to be the smallest number of isolated vertices which when added to \(G\) result in an integral sum graph (respectively, sum graph). In a graph \(G\), a vertex \(v \in V(G)\) is said to a \(hanging\; vertex\) if the degree of it \(d(v) = 1\). A path \(P \subseteq G\), \(P = x_ox_1x_2\ldots x_t\), is said to be a \(hanging\; path\) if its two end vertices are respectively a hanging vertex \(x_o\) and a vertex \(x_t\) whose degree \(d(x_t) \neq 2\) where \(d(x_j) = 2 (j = 1,2,\ldots,t – 1)\) for every other vertex of \(P\). A hanging path \(P\) is said to be a tail of \(G\), denoted by \(t(G)\), if its length \(|t(G)|\) is a maximum among all hanging paths of \(G\). In this paper, we prove \(\zeta(T_3) = 0\), where \(T_3\) is any tree with \(|t(T_3)| \geq 3\). The result improves a previous result for integral sum trees from identification of Chen\((1998)\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 191-196
- Published: 31/01/2004
Let \(H = K_{k_1,k_2,\ldots,k_t}\) be a complete multipartite graph having \(t \geq 3\) parts. Extending the well-known result that a simple graph \(G\) or its complement, \({G}\), is connected, it is proved that in any coloring of the edges of \(H\) with two colors, blue and red, at least one of the subgraphs induced by the blue edges or by the red edges, is connected.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 183-190
- Published: 31/01/2004
Given a collection of points in the plane, a circle is drawn around each point with radius equal to the smallest distance from that point to any other in the collection. The sphere-of-influence graph is the intersection graph of the open balls given by these circles. Any graph isomorphic to such a graph is a SIG realizable in a plane. Similarly, one can define a SIG realizable on a sphere by selecting a collection of points on a sphere. We show that \(K_9\) is realizable as a SIG on a sphere and that the family of graphs realizable as SIGs on a sphere is at least as large as the family of SIGs in the plane.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 169-181
- Published: 31/01/2004
In this paper, we construct many Hadamard matrices of order \(44\) and we use a new efficient algorithm to investigate the lower bound of inequivalent Hadamard matrices of order \(44\). Using four \((1, -1)\)-circulant matrices of order \(11\) in the Goethals-Seidel array, we obtain many new Hadamard matrices of order \(44\) and we show that there are at least \(6018\) inequivalent Hadamard matrices for this order. Moreover, we use a known method to investigate the existence of double even self-dual codes \([88, 44, d]\) over \(\text{GF}(2)\) constructed from these Hadamard matrices.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 161-168
- Published: 31/01/2004
Given positive integers \(m, k,\) and \(t\). Let \(D_{m,[k,k+i]} = \{1,2,\ldots,m\} – \{k,k+1,\ldots,k+i\}\). The distance graph \(G(\mathbb{Z}, D_{m,[k,k+i]})\) has vertex set all integers \(\mathbb{Z}\) and edges connecting \(j\) and \(j’\) whenever \(|j-j’| \in D_{m,[k,k+i]}\). The fractional chromatic number, the chromatic number, and the circular chromatic number of \(G(\mathbb{Z}, D_{m,k,i})\) are denoted by \(\chi_f(\mathbb{Z}, D_{m[k,k+i]}), \chi(\mathbb{Z}, D_{m,[k,k+i]}),\) and \(\chi_c(\mathbb{Z}, D_{m,[k,k+i]})\), respectively. For \(i=0\), we simply denote \(D_{m,[k,k+0]}\) by \(D_{m,k}\). \(X(\mathbb{Z}, D_{m,k})\) was studied by Eggleton, Erdős and Skilton [5], Kemnitz and Kolberg [8], and Liu [9], and was completely solved by Chang, Liu and Zhu [1] who also determined \(\chi_c(\mathbb{Z}, D_{m,k})\) for any \(m\) and \(k\). The value of \(\chi_c(\mathbb{Z}, D_{m,k})\) was studied by Chang, Huang and Zhu [2] who finally determined \(\chi_c(\mathbb{Z}, D_{m,k})\) for any \(m\) and \(k\). This paper extends the study of \(G(\mathbb{Z}, D_{m,[k,k+i]})\) to values \(i\) with \(1 \leq i \leq k-1\). We completely determine \(\chi_f(\mathbb{Z}, D_{m,[k,k+i]})\) and \(\chi(\mathbb{Z}, D_{m,k,i})\) for any \(m\) and \(k\) with \(1 \leq i \leq k-1\). However, for \(\chi_c(\mathbb{Z}, D_{m,[k,k+i]})\), only some special cases are determined.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 149-159
- Published: 31/01/2004
We introduce graphs \(G\) with at least one maximum independent set of vertices \(I\), such that \(\forall v \in V(G) \setminus I\), the number of vertices in \(N_G(v) \cap I\) is constant. When this number of vertices is equal to \(\lambda\), we say that \(I\) has the \(\lambda\)-property and that \(G\) is \(\lambda\)-regular-stable. Furthermore, we extend the study of this property to the well-covered graphs (that is, graphs where all maximal independent sets of vertices have the same cardinality). In this study, we consider well-covered graphs for which all maximal independent sets of vertices have the \(\lambda\)-property, herein called well-covered \(\lambda\)-regular-stable graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 139-147
- Published: 31/01/2004
Isometric subgraphs of hypercubes are known as partial cubes. Edge-critical partial cubes are introduced as the partial cubes \(G\) for which \(G – e\) is not a partial cube for any edge \(e\) of \(G\). An expansion theorem is proved by means of which one can generate many edge-critical partial cubes. Edge-critical partial cubes are characterized among the Cartesian product graphs. We also show that the \(3\)-cube and the subdivision graph of \(K_4\) are the only edge-critical partial cubes on at most \(10\) vertices.
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 135-138
- Published: 31/01/2004
This paper discusses the enumeration of rooted labelled spanning forests of the complete bipartite graph \(K_{m,n}\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 070
- Pages: 129-133
- Published: 31/01/2004
A set of edges \(D\) in a graph \(G\) is a dominating set of edges if every edge not in \(D\) is adjacent to at least one edge in \(D\). The minimum cardinality of an edge dominating set of \(G\) is the edge domination number of \(G\), denoted by \(D_E(G)\). In this paper, we investigate the edge domination number for the cartesian product of an \(n\)-colorable graph \(G\) and the complete graph \(K_n\).




