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.

Ahmad Abu-Khazneh1, Alexey Pokrovskiy2
1London School of Economics, ETH Zurich, WC2A 2AE, London, UK
28092 Zurich, Switzerland
Abstract:

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.

Abstract:

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.

Yunshu Gao1, Haijuan Zhou1
1School of Mathematics and Statistics, Ningxia University Yinchuan, 750021, P. R. China
Abstract:

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.

P. Kaemawichanurat1, L. Caccetta2
1Western Australian Centre of Excellence in Industrial Optimisation(WACEIO)
2Department of Mathematics and Statistics, Curtin University, GPO Box U1987, Perth, WA 6845, Australia
Abstract:

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

Henry Escuadro1, Ian June Garces2, Agnes Garciano2, Reginaldo Marcelo2, Mari-Jo P. Ruiz2
1Juniata College, Huntingdon, PA
2Ateneo de Manila University, Quezon City, Philippines
Abstract:

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.

Derong Sun1, Lin Sun2
1Department of Mathematics, Changji College, Changji 831100, China.
2School of Mathematics, Shandong University, Jinan 250100, China.
Abstract:

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

Zhao Wang1, Teng Ma1, Yaping Mao1, Chengfu Ye1
1Department of Mathematics, Qinghai Normal University, Xining, Qinghai 810008, China
Abstract:

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.

Yaping Mao1, Chengfu Ye1, Hengzhe Li2, Shumin Zhang1
1 Department of Mathematics, Qinghai Normal University, Xining, Qinghai 810008, P.R. China
2College of Mathematics and Information Science. Henan Normal University, Xingxiang 453007 China
Abstract:

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

Kiirgat Aker1, Aysin Erkan Giirsoy2
1 Middle East Technical University, Northern Cyprus Campus 99798 Kaltkank, Gizelyurt, Mersin 10, Turkey
2Istanbul Technical University, Faculty of Sciences and Letters, Department of Mathematics, 34469 Maslak, Istanbul, Turkey
Abstract:

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.

Li-Meng Xia1, Yuanlin Li2, Jiangtao Peng3
1Faculty Of Science, Jiangsu University, Zhenjiang, 212013, Jiangsu Pro., P.R. China
2Department of Mathematics, Brock University, St. Catharines, Ontario Canada L2S 3A1
3College of Science, Civil Aviation University of China, Tianjin, 300300, P.R. China
Abstract:

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

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;