Abstract:We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of the $(t \times t)$-wall. In this paper, we adapt a method due to Lozin and Razgon (building on earlier ideas of Weißauer) to prove that the class of all $H$-free graphs (that is, graphs with no induced subgraph isomorphic to a fixed graph $H$) is clean if and only if $H$ is a forest whose components are subdivided stars. Their method is readily applied to yield the above characterization. However, our main result is much stronger: for every forest $H$ as above, we show that forbidding certain connected graphs containing $H$ as an induced subgraph (rather than $H$ itself) is enough to obtain a clean class of graphs. Along the proof of the latter strengthening, we build on a result of Davies and produce, for every positive integer $\eta$, a complete description of unavoidable connected induced subgraphs of a connected graph $G$ containing $\eta$ vertices from a suitably large given set of vertices in $G$. This is of independent interest, and will be used in subsequent papers in this series.

Walk Domination and HHD-Free Graphs

Domination inequalities and dominating graphs

Fundamental Dominations in Graphs

Weighted Efficient Domination Problem on Some Perfect Graphs.

The watchman's walk problem on directed graphs

Weighted Enumeration of Nonbacktracking Walks on Weighted Graphs

The Toll Walk Transit Function of a Graph: Axiomatic Characterizations and First-Order Non-definability

On Dominating Graph of Graphs, Median Graphs, Partial Cubes and Complement of Minimal Dominating Sets

Understanding High-Order Network Structure using Permissible Walks on Attributed Hypergraphs

Tree Convex Bipartite Graphs: $\mathcal{NP}$-Complete Domination, Hamiltonicity and Treewidth

Induced subgraphs and tree decompositions VII. Basic obstructions in H-free graphs

Contracting to a Longest Path in H-Free Graphs

Tractable Connected Domination for Restricted Bipartite Graphs

Uniform hypergraphs and dominating sets of graphs

Total Domination Index in Graphs

Dominating cycles and forbidden pairs containing a path of order 5

A New Proof of Wojcicka's Conjecture

Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs

Weak Double Roman Domination