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.

Marcel Erné1, Kurt Stege1
1 Institut fiir Mathematik Universitét Hannover Welfenarten 1 D-30167 Hannover Germany
Abstract:

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.

Robert Molina1
1 Dept. of Mathematics Colorado State University
Abstract:

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.

Elaine T.Bell1
1 Auburn University 120 Mathematics Annex Auburn University, AL U.S.A. 36849-5307
Abstract:

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\).

Chi WANG1
1 DEPARTMENT OF MATHEMATICS, UNIVERSITY OF LOUISVILLE LouisvILLE, KY 40292
Abstract:

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.

K. H. Chew1
1School of Mathematics University of New South Wales Sydney 2052 Australia
Abstract:

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]\).

Michael A.Henning1, Ortrud R.Oellermann2, Henda C.Swart2
1Department of Mathematics University of Natal Pietermaritzburg, South Africa
2Department of Mathematics University of Natal Durban, South Africa
Abstract:

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\).

Petr Lisonék1
1Research Institute for Symbolic Computation, Johannes Kepler University, Linz A~4040 Linz, Austria
Abstract:

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\).

Rachid Saad1
121, rue Ziane Said, la Scala El Biar, Alger Algeria
Abstract:

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.

Ahmad M.Assaf1
1Department of Mathematics Central Michigan University Mt. Pleasant, MI U.S.A. 48859
Abstract:

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\).

Xiang-Ying Su1
1Department of Mathematics Wayne State University Detroit, MI 48202, USA
Abstract:

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\).

Special Issues

The Combinatorial Press Editorial Office routinely extends invitations to scholars for the guest editing of Special Issues, focusing on topics of interest to the scientific community. We actively encourage proposals from our readers and authors, directly submitted to us, encompassing subjects within their respective fields of expertise. The Editorial Team, in conjunction with the Editor-in-Chief, will supervise the appointment of Guest Editors and scrutinize Special Issue proposals to ensure content relevance and appropriateness for the journal. To propose a Special Issue, kindly complete all required information for submission;