1. An algorithmic version of the Hajnal--Szemerédi theorem
- Author
-
Gan, Luyining, Han, Jie, and Hu, Jie
- Subjects
FOS: Mathematics ,Combinatorics (math.CO) - Abstract
We prove the following algorithmic version of the classical Hajnal--Szemerédi Theorem in graph theory. Given $r, c, n\in \mathbb{N}$ such that $n\in r\mathbb N$, let $G$ be an $n$-vertex graph with minimum degree at least $(1-1/r)n - c$. Then there is an algorithm with running time $2^{c^{O(1)}} n^{O(1)}$ that outputs either a $K_r$-factor of $G$ or a certificate showing that none exists, namely, this problem is fixed-parameter tractable in $c$. On the other hand, it is known that if $c = n^{\varepsilon}$ for fixed $\varepsilon \in (0,1)$, the problem is NP-C., 24 pages
- Published
- 2023
- Full Text
- View/download PDF