### Current browse context:

cs

### Change to browse by:

### References & Citations

# Mathematics > Combinatorics

# Title: Sparse graphs with bounded induced cycle packing number have logarithmic treewidth

(Submitted on 1 Jun 2022 (v1), last revised 18 Jul 2022 (this version, v3))

Abstract: A graph is $O_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We show that Maximum Independent Set and 3-Coloring in $O_k$-free graphs can be solved in quasi-polynomial time. As a main technical result, we establish that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $O_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is proven sharp as there is an infinite family of $O_2$-free graphs without $K_{3,3}$-subgraph and whose treewidth is (at least) logarithmic.

Other consequences include that most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in sparse $O_k$-free graphs, and that deciding the $O_k$-freeness of sparse graphs is polynomial time solvable.

## Submission history

From: Louis Esperet [view email]**[v1]**Wed, 1 Jun 2022 16:06:38 GMT (138kb,D)

**[v2]**Tue, 14 Jun 2022 10:57:46 GMT (138kb,D)

**[v3]**Mon, 18 Jul 2022 08:18:18 GMT (140kb,D)

Link back to: arXiv, form interface, contact.