Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth
A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family of graphs, we say a graph is -free if no induced subgraph of is isomorphic to a member of . We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant for which every (theta, triangle)-free graph has treewidth at most . A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)-free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth. Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in for every graph excluding the so-called three-path-configurations as well as a fixed complete graph. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial time algorithms in graphs excluding the three-path-configurations and a fixed complete graph.