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 131
- Pages: 11-21
- Published: 31/01/2017
We consider the relationship between the minimum degree \(\delta(G\) of a graph and the complexity of recognizing if a graph is \(T\)-tenacious. Let \(T \geq 1\) be a rational number. We first show that if \(\delta(G) \geq \frac{Tn}{T+1}\) then \(G\) is \(T\)-tenacious. On the other hand, for any fixed \(\epsilon > 0\), we show that it is NP-hard to determine if \(G\) is \(T\)-tenacious, even for the class of graphs with \(\delta(G) \geq (\frac{T}{T+1} – \epsilon)n\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 131
- Pages: 3-9
- Published: 31/01/2017
Let \(G\) be a finite group and let \(S\) be a nonempty subset of \(G\). For any positive integer \(k\), let \(S^k\) be the subset product given by the set \(\{s_1 \cdots s_k \mid s_1, \ldots, s_k \in S\}\). If there exists a positive integer \(n\) such that \(S^n = G\), then \(S\) is said to be exhaustive. Let \(e(S)\) denote the smallest positive integer \(n\), if it exists, such that \(S^n = G\). We call \(e(S)\) the exhaustion number of the set \(S\). If \(S^n \neq G\) for any positive integer \(n\), then \(S\) is said to be non-exhaustive. In this paper, we obtain some properties of exhaustive and non-exhaustive subsets of finite groups.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 417-425
- Published: 31/01/2017
A graph \(G\) is called \(H\)-equipackable if every maximal \(H\)-packing in \(G\) is also a maximum \(H\)-packing in \(G\). In 2012, \(P_k\)-equipackable paths and cycles, \(M_k\)-equipackable paths and cycles are characterized. In this paper, \(P_m \cup P_k\)-equipackable paths and cycles are characterized.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 395-416
- Published: 31/01/2017
If \(X\) is a geodesic metric space and \(x_1, x_2, x_3 \in X\), a geodesic triangle \(T = \{x_1, x_2, x_3\}\) is the union of the three geodesics \([x_1x_2]\), \([x_2x_3]\) and \([x_3x_1]\) in \(X\). The space \(X\) is \(\delta\)-hyperbolic (in the Gromov sense) if any side of \(T\) is contained in a \(\delta\)-neighborhood of the union of the two other sides, for every geodesic triangle \(T\) in \(X\). The study of hyperbolic graphs is an interesting topic since the hyperbolicity of a geodesic metric space is equivalent to the hyperbolicity of a graph related to it. Regular graphs are a very interesting class of graphs with many applications. The main aim of this paper is to obtain information about the hyperbolicity constant of regular graphs. We obtain several bounds for this parameter; in particular, we prove that \(\delta(G) \leq \frac{\Delta n}{8(\Delta-1)+1}\) for any \(4\)-regular graph \(G\) with \(n\) vertices. Furthermore, we show that for each \(\Delta \geq 2\) and every possible value \(t\) of the hyperbolicity constant, there exists a \(\Delta\)-regular graph \(G\) with \(\delta(G) = t\). We also study the regular graphs \(G\) with \(\delta(G) \leq 1\), i.e., the graphs which are like trees (in the Gromov sense). Besides, we prove some inequalities involving the hyperbolicity constant and domination numbers for regular graphs.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 381-393
- Published: 31/01/2017
When \(G\) and \(F\) are graphs, \(v \in V(G)\) and \(\varphi\) is an orbit of \(V(F)\) under the action of the automorphism group of \(F\), \(s(F,G,v,\varphi)\) denotes the number of induced subgraphs of \(G\) isomorphic to \(F\) such that \(v\) lies in orbit \(\theta\) of \(F\). Vertices \(v \in V(G)\) and \(w \in V(H)\) are called \(k\)-vertex subgraph equivalent (\(k\)-SE), \(2 \leq k < n = |V(G)|\), if for each graph \(F\) with \(k\) vertices and for every orbit \(\varphi\) of \(F\), \(s(F,G,v,\varphi) = s(F,H,w,\varphi)\), and they are called similar if there is an isomorphism from \(G\) to \(H\) taking \(v\) to \(w\). We prove that \(k\)-SE vertices are \((k-1)\)-SE and several parameters of \((n-1)\)-SE vertices are equal. It is also proved that in many situations, “(n-1)-SE between vertices is equivalent to their similarity'' and it is true always if and only if Ulam's Graph Reconstruction Conjecture is true.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 373-379
- Published: 31/01/2017
External Difference Families \((EDFs)\) are a new type of combinatorial designs originated from cryptography. In this paper, some constructions of \(EDFs\) are presented by using Gauss sums. Several classes of \(EDFs\) and related combinatorial designs are obtained.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 357-371
- Published: 31/01/2017
The crossing number problem is in the forefront of topological graph theory. At present, there are only a few results concerning crossing numbers of join of some graphs. In this paper, for the special graph \(Q\) on six vertices, we give the crossing numbers of its join with \(n\) isolated vertices, as well as with the path \(P_n\) on \(n\) vertices and with the cycle \(C_n\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 333-356
- Published: 31/01/2017
In this article, we give a generalization of the multiparameter non-central Stirling numbers of the first and second kinds, Lah numbers, and harmonic numbers. Some new combinatorial identities, new explicit formulas, and many relations between different types of Stirling numbers and generalized harmonic numbers are found. Moreover, some interesting special cases of the generalized multiparameter non-central Stirling numbers are deduced. Furthermore, a matrix representation of the results obtained is given and a computer program is written using Maple and executed for calculating \(GMPNSN-1\) and their inverse \((GMPNSN-2)\), along with some of their interesting special cases.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 319-331
- Published: 31/01/2017
Suppose \(G\) is a graph. Let \(u\) be a vertex of \(G\). A vertex \(v\) is called an \(i\)-neighbor of \(u\) if \(d_G(u,v) = i\). A \(1\)-neighbor of \(u\) is simply called a neighbor of \(u\). Let \(s\) and \(t\) be two nonnegative integers. Suppose \(f\) is an assignment of nonnegative integers to the vertices of \(G\). If the following three conditions are satisfied, then \(f\) is called an \((s, t)\)-relaxed \(L(2,1)\)-labeling of \(G\): (1) for any two adjacent vertices \(u\) and \(v\) of \(G\), \(f(u) \neq f(v)\); (2) for any vertex \(u\) of \(G\), there are at most \(s\) neighbors of \(u\) receiving labels from \(\{f(u) – 1, f(u)+ 1\}\); (3) for any vertex \(u\) of \(G\), the number of \(2\)-neighbors of \(u\) assigned the label \(f(u)\) is at most \(t\). The minimum span of \((s, t)\)-relaxed \(L(2,1)\)-labelings of \(G\) is called the \((s,t)\)-relaxed \(L(2,1)\)-labeling number of \(G\), denoted by \(\lambda_{2,1}^{s,t}(G)\). It is clear that \(\lambda_{2,1}^{0,0}(G)\) is the so-called \(L(2, 1)\)-labeling number of \(G\). In this paper, the \((s, t)\)-relaxed \(L(2, 1)\)-labeling number of the hexagonal lattice is determined for each pair of two nonnegative integers \(s\) and \(t\). And this provides a series of channel assignment schemes for the corresponding channel assignment problem on the hexagonal lattice.
- Research article
- Full Text
- Ars Combinatoria
- Volume 130
- Pages: 303-318
- Published: 31/01/2017
As an additive weight version of the Harary index, the reciprocal degree distance of a simple connected graph \(G\) is defined as \(RDD(G) = \sum\limits_{u,v \subseteq V(G)} \frac{d_G(u)+d_G(v)}{d_G(u,v)}\), where \(d_G(u)\) is the degree of \(u\) and \(d_G(u,v)\) is the distance between \(u\) and \(v\) in \(G\). In this paper, we respectively characterize the extremal graphs with the maximum \(RDD\)-value among all the graphs of order \(n\) with given number of cut vertices and cut edges. In addition, an upper bound on the reciprocal degree distance in terms of the number of cut edges is provided.




