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 040
- Pages: 65-88
- Published: 31/08/1995
For any double sequence \((q_{k,n})\) with \(q_{k,0} = 0\), the “summatorial sequence” \((P_{k,n}) = \sum(q_{k,n})\) is defined by \(p_{0,0} = 1\) and \(P_{k,} = \sum_{j=0}^k \sum_{m=1}^n q_{ j,m}P_{k-j,n-m}\) If \(q_{k,n} = 0\) for \(k < n-1\) then there exists a unique sequence \((c_j)\) satisfying the recurrence \(P_{k,n} = \sum_{j=0}^k c_j P_{k-j,k-j,n-m}\) for \(k < n\). We apply this combinatorial recursion to certain counting functions on finite posets. For example, given a set \(A\) of positive integers, let \(P_{k,n}\) denote the number of unlabeled posets with \(n\) points and exactly \(k\) antichains whose cardinality belongs to \(A\), and let \(q_{k,n}\) denote the corresponding number of ordinally indecomposable posets. Then \((P_{k,n})\) is the summatorial sequence of \((q_{k,n})\). If \(2 \in A\) then \((P_{k,n})\) enjoys the above recurrence for \(k < 1\). In particular, for fixed \(k\), there is a polynomial \(p_k\) of degree \(k\) such that \(P_{n,k} = p_k(n)\) for all \(n \geq k\), and \(p_{k,n}\) is asymptotically equal to \(\binom{n-1}{k}\). For some special classes \(A\) and small \(k\), we determine the numbers \(c_k\) and the polynomials \(p_k\) explicitly. Moreover, we show that, at least for small \(k\), the remainder sequences \(p_{k,n} – p_k(n)\) satisfy certain Fibonacci recursions, proving a conjecture of Culberson and Rawlins. Similar results are obtained for labeled posets and for naturally ordered sets.
- Research article
- Full Text
- Ars Combinatoria
- Volume 040
- Pages: 59-64
- Published: 31/08/1995
The paper \([2]\) claimed that a disconnected graph with at least two nonisomorphic components is determined by some three of its vertex deleted subgraphs. While this statement is true, the proof in \([2]\) is incorrect. We give a correct proof of this fact.
- Research article
- Full Text
- Ars Combinatoria
- Volume 040
- Pages: 49-58
- Published: 31/08/1995
It is shown that the necessary conditions for the existence of a \(k\)-cycle system of order \(n\) are sufficient for \(k \in \{20, 24, 28, 30, 33, 35, 36, 39, 40, 42, 44, 45, 48\}\), thus settling the problem for all \(k \leq 50\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 040
- Pages: 3-48
- Published: 31/08/1995
In this paper we study competition graphs of digraphs of restricted degree.
We introduce the notion of restricted competition numbers of graphs.
We complete the characterization of competition graphs of indegree at most 2 and their restricted competition numbers.
We characterize interval \((2,3)\)-graphs and give a recognition algorithm for interval \((2,3)\)-digraphs.
We characterize competition graphs and interval competition graphs of digraphs of outdegree at most \(2\).
The relationship between restricted competition numbers and ordinary competition numbers are studied for several classes of graphs.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 018
- Pages: 245-254
- Published: 30/06/1995
The total chromatic number \(\chi_T(G)\) of a graph \(G\) is the least number of colours needed to colour the edges and vertices of \(G\) so that no incident or adjacent elements receive the same colour. This paper shows that if \(G\) has maximum degree \(\Delta(G) > \frac{3}{4} |V(G)I – \frac{1}{2} \), then \(\chi_T(G) \leq \Delta(G) + 2\). A slightly weaker version of the result has earlier been proved by Hilton and Hind \([9]\). The proof here is shorter and simpler than the one given in \([9]\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 018
- Pages: 233-244
- Published: 30/06/1995
Let \(n \geq 1\) be an integer and let \(G\) be a graph of order \(p\). A set \(\mathcal{D}\) of vertices of \(G\) is an \(n\)-dominating set (total \(n\)-dominating) set of \(G\) if every vertex of \(V(G) – \mathcal{D}\) (\(V(G)\), respectively) is within distance \(n\) from some vertex of \(\mathcal{D}\) other than itself. The minimum cardinality among all \(n\)-dominating sets (respectively, total \(n\)-dominating sets) of \(G\) is called the \(n\)-domination number (respectively, total \(n\)-domination number) and is denoted by \(\gamma_n(G)\) (respectively, \(\gamma_n^t(G)\)). A set \(\mathcal{I}\) of vertices of \(G\) is \(n\)-independent if the distance (in \(G\)) between every pair of distinct vertices of \(\mathcal{I}\) is at least \(n+1\). The minimum cardinality among all maximal \(n\)-independent sets of \(G\) is called the \(n\)-independence number of \(G\) and is denoted by \(i_n(G)\). Suppose \(\mathcal{I}_k\) is an \(n\)-independent set of \(k\) vertices of \(G\) for which there exists a vertex \(v\) of \(G\) that is within distance \(n\) from every vertex of \(\mathcal{I}_k\). Then a connected subgraph of minimum size that contains the vertices of \(\mathcal{I}_k \cup \{v\}\) is called an \(n\)-generalized \(K_{1,k}\) in \(G\). It is shown that if \(G\) contains no \(n\)-generalized \(K_{1,3}\), then \(\gamma_n(G) = i_n(G)\). Further, it is shown if \(G\) contains no \(n\)-generalized \(K_{1,{k+1}}\), \(k \geq 2\), then \(i_n(G) \leq (k-1)\gamma_n(G) – (k-2)\). It is shown that if \(G\) is a connected graph with at least \(n + 1\) vertices, then there exists a minimum \(n\)-dominating set \(\mathcal{D}\) of \(G\) such that for each \(d \in \mathcal{D}\), there exists a vertex \(v \in V(G) – \mathcal{D}\) at distance \(n\) from \(d\) and distance at least \(n+1\) from every vertex of \(\mathcal{D} – \{d\}\). Using this result, it is shown if \(G\) is a connected graph on \(p \geq 2n+1\) vertices, then \(\gamma_n(G) \leq p/(n + 1)\) and that \(i_n(G) + n\gamma_n(G) \leq p\). Finally, it is shown that if \(T\) is a tree on \(p \geq 2n + 1\) vertices, then \(i_n(G) + n\gamma_n^t(G) \leq p\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 018
- Pages: 225-232
- Published: 30/06/1995
Let \(a, b, c\) be fixed, pairwise relatively prime integers. We investigate the number of non-negative integral solutions of the equation \(ax + by + cz = n\) as a function of \(n\). We present a new algorithm that computes the “closed form” of this function. This algorithm is simple and its time performance is better than the performance of yet known algorithms. We also recall how to approximate the abovementioned function by a polynomial and we derive bounds on the “error” of this approximation for the case \(a = 1\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 018
- Pages: 214-224
- Published: 30/06/1995
In this paper, scheduling problems with communication delays are considered. Formally, we are given a partial order relation \(\prec\) on a set of tasks \(T\), a set of processors \(P\), and a deadline \(d\). Supposing that a unit communication delay between two tasks \(a\) and \(b\) such that \(a \prec b\) occurs whenever \(a\) and \(b\) are scheduled on different processors, the question is: Can the tasks of \(T\) be scheduled on \(P\) within time \(d\)? It is shown here that the problem is NP-complete even if \(d = 4\). Also, for an unlimited number of processors, C. Picouleau has shown that for \(d = 8\) the problem is NP-complete. Here it is shown that it remains NP-complete for \(d \geq 6\) but is polynomially solvable for \(d < 6\), which closes the gap between P and NP for this problem, as regards the deadline.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 018
- Pages: 193-213
- Published: 30/06/1995
Let \(V\) be a finite set of order \(v\). A \((v, k, \lambda)\) covering design of index \(\lambda\) and block size \(k\) is a collection of \(k\)-element subsets, called blocks, such that every \(2\)-subset of \(V\) occurs in at least \(\lambda\) blocks. The covering problem is to determine the minimum number of blocks, \(\alpha(v, k, \lambda)\), in a covering design. It is well known that \(\alpha(v,k,\lambda) \geq \lceil\frac{v}{k}\lceil\frac{v-1}{k-1}\lambda\rceil\rceil = \phi(v, k, \lambda)\), where \(\lceil x \rceil\) is the smallest integer satisfying \(x \leq \lceil x \rceil\). It is shown here that \(\alpha(v,5,7) = \phi(v, 5, 7)\) for all positive integers \(v \geq 5\) with the possible exception of \(v = 22, 28, 142, 162\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 018
- Pages: 186-192
- Published: 30/06/1995
A graph \(G\) is called \(k\)-critical if \( \chi (G) = k\) and \( \chi (G – e) k\) is at most \(n – k + 3\) if \(k \leq 7\).




