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
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 81-104
- Published: 20/03/2017
Ryser’s Conjecture states that for any \( r \)-partite \( r \)-uniform hypergraph, the vertex cover number is at most \( r-1 \) times the matching number. This conjecture is only known to be true for \( r \leq 3 \). For intersecting hypergraphs, Ryser’s Conjecture reduces to saying that the edges of every \( r \)-partite intersecting hypergraph can be covered by \( r-1 \) vertices. This special case of the conjecture has only been proven for \( r \leq 5 \).
It is interesting to study hypergraphs which are extremal in Ryser’s Conjecture, i.e., those hypergraphs for which the vertex cover number is exactly \( r-1 \) times the matching number. There are very few known constructions of such graphs. For large \( r \), the only known constructions come from projective planes and exist only when \( r-1 \) is a prime power. Mansour, Song, and Yuster studied how few edges a hypergraph which is extremal for Ryser’s Conjecture can have. They defined \( f(r) \) as the minimum integer so that there exists an \( r \)-partite intersecting hypergraph \( \mathcal{H} \) with \( \tau(\mathcal{H}) = r-1 \) and with \( f(r) \) edges. They showed that \( f(3) = 3 \), \( f(4) = 6 \), \( f(5) = 9 \), and \( 12 \leq f(6) \leq 15 \).
In this paper, we focus on the cases when \( r = 6, 7 \), and \( 11 \). We show that \( f(6) = 13 \), improving previous bounds. Also, by providing the first known extremal hypergraphs for the \( r = 7 \) and \( r = 11 \) case of Ryser’s Conjecture, we show that \( f(7) \leq 22 \) and \( f(11) \leq 51 \). Our results for \( f(6) \) and \( f(7) \) have been obtained independently by Aharoni, Barat, and Wanless.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 73-80
- Published: 30/11/2017
Let \( T = S \setminus \left( \cup \left\{ A : A \, \text{ in } \, \mathcal{A} \right\} \right) \), where \( S \) is an orthogonal polytope in \( \mathbb{R}^d \) for \( d \geq 2 \) and where \( \mathcal{A} \) is a collection of \( n \) pairwise disjoint open boxes contained in \( S \). Point \( x \) belongs to \(\text{Ker } T \) if and only if \( x \) belongs to \(\text{Ker } S \) and no coordinate line at \( x \) meets any \( A \) in \( \mathcal{A} \). In turn, this relationship between the staircase kernels of \( S \) and \( T \) produces a Krasnosel’skii-type result for \( T \) in terms of \( n \), extending the class of orthogonal polytopes for which such a theorem exists.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 63-71
- Published: 30/11/2017
A graph is said to be claw-free if it does not contain an induced subgraph isomorphic to \(K_{1,3}\). Let \(k\) be an integer with \(k \geq 2\). We prove that if \(G\) is a claw-free graph of order at least \(14k – 13\) and with minimum degree at least four, then \(G\) contains \(k\) vertex-disjoint copies of \(K_{1,4}\). This partially supports a conjecture proposed by Jiang, Chiba, Fujita and Yan.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 39-62
- Published: 30/11/2017
A graph \( G \) is said to be \( k \)-\(\gamma\)-edge critical if the domination number \(\gamma(G) = k\) and \(\gamma(G + uv) < k\) for every \( uv \notin E(G) \). For the connected domination number \(\gamma_c(G) = k\), the total domination number \(\gamma_t(G) = k\) and the independent domination number \( i(G) = k \), a \( k \)-\(\gamma_c\)-edge critical graph, a \( k \)-\(\gamma_t\)-edge critical graph and a \( k \)-\(i\)-edge critical graph are similarly defined. In our previous work, we proved that every \( 2 \)-connected \( k \)-\(\gamma_c\)-edge critical graph is hamiltonian for \( 1 \leq k \leq 3 \) and we provided a class of \( l \)-connected \( k \)-\(\gamma_c\)-edge critical non-hamiltonian graphs for \( k \geq 4 \) and \( 2 \leq l \leq \frac{n-3}{k-1} \). The problem of interest is to determine a sufficient condition for \( k \)-\(\gamma_c\)-edge critical graphs to be hamiltonian for \( k \geq 4 \). In this paper, we prove that every \( 2 \)-connected \( 4 \)-\(\gamma_c\)-edge critical claw-free graph is hamiltonian. For \( k \geq 5 \), we provide a class of \( k \)-\(\gamma_c\)-edge critical claw-free non-hamiltonian graphs of connectivity two. We further show that all \( 3 \)-connected \( k \)-\(\gamma_c\)-edge critical claw-free graphs are hamiltonian for \( 1 \leq k \leq 6 \). Our methodology also establishes some results on the hamiltonian properties of \( 3 \)-connected \( k \)-\(\mathcal{D} \)-edge critical claw-free graphs where \( \mathcal{D} \in \{ \gamma, \gamma_t, i \} \).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 27-37
- Published: 30/11/2017
A star forest is a forest each of whose components is a star. The star arboricity of a graph \(G\), denoted by \(\textrm{st}(G)\), is the minimum number of star forests whose union covers all the edges of \(G\). A nonzero element of a commutative ring \(R\) with unity is said to be a \({zero-divisor}\) of \(R\) if there exists a nonzero element \(y \in R\) such that \(xy = 0\). Given a ring \(R\) with unity, the \({zero-divisor\; graph}\) of \(R\), denoted by \(\Gamma(R)\), is the graph whose vertex set consists of the zero divisors of \(R\) and two vertices \(x, y \in V(\Gamma(R))\) are adjacent if and only if \(xy = 0\) in \(R\). This paper investigates the star arboricities of the zero divisor graphs \(\Gamma(\mathbb{Z}_{p^n})\), where \(n, p \in \mathbb{N}\) and \(p\) is a prime. In particular, we give bounds for \(\textrm{st}(\Gamma(\mathbb{Z}_{p^n}))\) when \(n\) is odd and determine the values of \(\textrm{st}(\Gamma(\mathbb{Z}_{p^n}))\) when \(n\) is even.
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 15-25
- Published: 30/11/2017
An adjacent vertex distinguishing total coloring of a graph \(G\) is a proper total \(k\)-coloring of \(G\) such that any two adjacent vertices have different color sets, where the color set of a vertex \(v\) contains the color of \(v\) and the colors of its incident edges. Let \(\chi_{a}^{”}(G)\) denote the smallest value \(k\) in such a coloring of \(G\). In this paper, by using the Combinatorial Nullstellensatz and the discharging method, we prove that if a planar graph \(G\) with maximum degree \(\Delta \geq 9\) contains no \(5\)-cycles with more than one chord, then \(\chi_{a}^{”}(G) \leq \Delta + 3\).
- Research article
- Full Text
- Journal of Combinatorial Mathematics and Combinatorial Computing
- Volume 103
- Pages: 3-14
- Published: 30/11/2017
The concept of the skew energy of a digraph was introduced by Adiga, Balakrishnan and \(S_0\) in \(2010\). Let \(\overrightarrow{G}\) be an oriented graph of order \(n\) and \(\lambda_1, \lambda_2, \dots, \lambda_n\) denote all the eigenvalues of the skew-adjacency matrix of \(\overrightarrow{G}\). The skew energy \(\varepsilon_s(\overrightarrow{G}) = \sum\limits_{i=1}^{n} |\lambda_i|\). Hou, Shen and Zhang determined the minimal and the second minimal skew energy of the oriented unicyclic graphs. In this paper, the oriented unicyclic graphs with the third, fourth and fifth minimal skew energy are characterized, respectively.
- Research article
- Full Text
- Ars Combinatoria
- Volume 135
- Pages: 399-421
- Published: 31/10/2017
Two graphs are defined to be adjointly equivalent if their complements are chromatically equivalent. Recently, we introduced a new invariant of a graph \(G\), denoted as \(R_5(G)\). Using this invariant and the properties of the adjoint polynomials, we completely determine the adjoint equivalence class of \(\psi_n^3({n-3,1})\). According to the relations between adjoint polynomial and chromatic polynomial, we also simultaneously determine the chromatic equivalence class of \(\psi_n^3({n-3,1})\).
- Research article
- Full Text
- Ars Combinatoria
- Volume 135
- Pages: 391-398
- Published: 31/10/2017
In this article, we prove a conjecture about the equality of two generating functions described in “From Parking Functions to Gelfand Pairs” (Aker, Can, 2012) attached to two sets whose cardinalities are given by Catalan numbers. We establish a combinatorial bijection between the two sets on which the two generating functions were based.
- Research article
- Full Text
- Ars Combinatoria
- Volume 135
- Pages: 369-390
- Published: 31/10/2017
Let \(G\) be a finite cyclic group. Every sequence \(S\) of length \(l\) over \(G\) can be written in the form \(S = (x_1g) + \cdots + (x_lg)\), where \(g \in G\) and \(x_1, \ldots, x_l \in [1, ord(g)]\), and the index \(ind(S)\) of \(S\) is defined to be the minimum of \((x_1 + \cdots + x_l)/ord(g)\) over all possible \(g \in G\) such that \(\langle g \rangle = G\). Recently, the second and third authors determined the index of any minimal zero-sum sequence \(S\) of length \(5\) over a cyclic group of a prime order where \(S =g^2 \cdot (x_2g)\cdot (x_3g)\cdot (x_4g)\). In this paper, we determine the index of any minimal zero-sum sequence \(S\) of length \(5\) over a cyclic group of a prime power order. It is shown that if \(G = \langle g \rangle\) is a cyclic group of prime power order \(n = p^{\mu}\) with \(p \geq 7\) and \(\mu \geq 2\), and \(S = (x_1g) \cdot (x_2g) \cdot (x_3g) \cdot (x_4g) \cdot (x_5g)\) with \(x_1 = x_2\) is a minimal zero-sum sequence with \(\gcd(n, x_1, x_2, x_3, x_4, x_5) = 1\), then \(ind(S) = 2\) if and only if \(S = (mg) \cdot (mg) \cdot (m\frac{n-1}{2}g) \cdot (m\frac{n+3}{2}g) \cdot (m(n-3)g)\) where \(m\) is a positive integer such that \(\gcd(m,n) = 1\).




