We give an algorithm that takes as input a graph G with weights on the vertices and outputs a maximum weight independent set of G. If G does not contain any cycle on k or more vertices as an induced subgraph (G is a C ≥k -free graph), the algorithm runs in time n O(k 3 log 5 n) , and therefore for fixed k is a quasi-polynomial time algorithm. C ≥4 -free graphs (also known as chordal graphs) have a well known polynomial time algorithm. A subexponetial time algorithm for C ≥5 -free graphs (also known as long-hole-free graphs) was found in 2019 [Chudnovsky et al., Arxiv'19] followed by a polynomial time algorithm for C ≥5 -free graphs in 2020 [Abrishami et al., Arxiv'20]. For k > 5 only a quasi-polynomial time approximation scheme [Chudnovsky et al., SODA'20] was known. Our work is the first to exhibit conclusive evidence that Independent Set on C ≥k -free graphs is not NP-complete for any integer k. This also generalizes previous work of ours [Gartland and Lokshtanov, FOCS'20], with an additional factor of log 2 (n) in the exponent, where we provided a quasi-polynomial time algorithm for graphs that exclude a path on k vertices as an induced subgraph.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.