Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number
Nikola Jedli\v{c}kov\'a, Jan Kratochv\'il

TL;DR
This paper proves that Hamiltonian path, cycle, and linkage problems are solvable in polynomial time for graphs with bounded independence number, resolving open complexity questions for these classes.
Contribution
It establishes polynomial-time algorithms for Hamiltonian problems in graphs with bounded independence number, including a new Hamiltonian-ll-Linkage problem.
Findings
Hamiltonian path and cycle are polynomial-time solvable in graphs with bounded independence number.
Hamiltonian-ll-Linkage problem is polynomial-time solvable for graphs with bounded independence number.
Addresses open complexity questions for special graph classes.
Abstract
A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for -free graphs, i.e., graphs of independence number at most . We answer this question in the general setting of graphs of bounded independence number. We also consider a newly introduced problem called \emph{Hamiltonian--Linkage} which is related to the notions of a path cover and of a…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Graph Theory Research · Complexity and Algorithms in Graphs · semigroups and automata theory
