Abstract:A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike $H$-minor-free graphs, it can contain dense graphs. We show that if an $n$-vertex $m$-edge graph $G$ does not contain a graph $H$ as an induced minor, then it has a balanced vertex separator of size $O_{H}(\sqrt{m})$, where the $O_{H}(\cdot)$-notation hides factors depending on $H$. More precisely, our upper bound for the size of the balanced separator is $O(\min(|V(H)|^2, \log n) \cdot \sqrt{|V(H)|+|E(H)|} \cdot \sqrt{m})$. We give an algorithm for finding either an induced minor model of $H$ in $G$ or such a separator in randomized polynomial-time. We apply this to obtain subexponential $2^{O_{H}(n^{2/3} \log n)}$ time algorithms on $H$-induced-minor-free graphs for a large class of problems including maximum independent set, minimum feedback vertex set, 3-coloring, and planarization. For graphs $H$ where every edge is incident to a vertex of degree at most 2, our results imply a $2^{O_{H}(n^{2/3} \log n)}$ time algorithm for testing if $G$ contains $H$ as an induced minor. Our second main result is that there exists a fixed tree $T$, so that there is no $2^{o(n/\log^3 n)}$ time algorithm for testing if a given $n$-vertex graph contains $T$ as an induced minor unless the Exponential Time Hypothesis (ETH) fails. Our reduction also gives NP-hardness, which solves an open problem asked by Fellows, Kratochvíl, Middendorf, and Pfeiffer [Algorithmica, 1995], who asked if there exists a fixed planar graph $H$ so that testing for $H$ as an induced minor is NP-hard.

Detecting $K_{2,3}$ as an induced minor

Unavoidable induced subgraphs in graphs with complete bipartite induced minors

A note on highly connected $K_{2,\ell}$-minor free graphs

Seymour and Woodall's conjecture holds for graphs with independence number two

Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition

On Chordal-$k$-Generalized Split Graphs

Minimal separators in graph classes defined by small forbidden induced subgraphs

A graph minor condition for graphs to be k -linked

Dichromatic number of chordal graphs

Unavoidable parallel minors of 4-connected graphs

Classes of binary matroids with small lists of excluded induced minors

Treewidth versus clique number: induced minors

Excluding sums of Kuratowski graphs

Chordal matroids arising from generalized parallel connections II

Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors

The minimum size of a chordal graph with given order and minimum degree

Bipartite graphs with no K6 minor

Excluding disjoint Kuratowski graphs

On Inducing Degenerate Sums Through 2-Labellings

Chordal bipartite graphs, biclique vertex partitions and Castelnuovo-Mumford regularity of $1$-subdivision graphs