Abstract:Let ${\cal G}$ and ${\cal H}$ be minor-closed graph classes. The pair $({\cal H},{\cal G})$ is an Erdős-Pósa pair (EP-pair) if there is a function $f$ where, for every $k$ and every $G\in{\cal G},$ either $G$ has $k$ pairwise vertex-disjoint subgraphs not belonging to ${\cal H},$ or there is a set $S\subseteq V(G)$ where $|S|\leq f(k)$ and $G-S\in{\cal H}.$ The classic result of Erdős and Pósa says that if $\mathcal{F}$ is the class of forests, then $({\cal F},{\cal G})$ is an EP-pair for every ${\cal G}$. The class ${\cal G}$ is an EP-counterexample for ${\cal H}$ if ${\cal G}$ is minimal with the property that $({\cal H},{\cal G})$ is not an EP-pair. We prove that for every ${\cal H}$ the set $\mathfrak{C}_{\cal H}$ of all EP-counterexamples for ${\cal H}$ is finite. In particular, we provide a complete characterization of $\mathfrak{C}_{\cal H}$ for every ${\cal H}$ and give a constructive upper bound on its size. Each class ${\cal G}\in \mathfrak{C}_{\cal H}$ can be described as all minors of a sequence of grid-like graphs $\langle \mathscr{W}_{k} \rangle_{k\in \mathbb{N}}.$ Moreover, each $\mathscr{W}_{k}$ admits a half-integral packing: $k$ copies of some $H\not\in{\cal H}$ where no vertex is used more than twice. This gives a complete delineation of the half-integrality threshold of the Erdős-Pósa property for minors and yields a constructive proof of Thomas' conjecture on the half-integral Erdős-Pósa property for minors (recently confirmed, non-constructively, by Liu). Let $h$ be the maximum size of a graph in ${\cal H}.$ For every class ${\cal H},$ we construct an algorithm that, given a graph $G$ and a $k,$ either outputs a half-integral packing of $k$ copies of some $H \not\in {\cal H}$ or outputs a set of at most ${2^{k^{\cal O}_h(1)}}$ vertices whose deletion creates a graph in ${\cal H}$ in time $2^{2^{k^{{\cal O}_h(1)}}}\cdot |G|^4\log |G|.$

Unavoidable induced subgraphs in graphs with complete bipartite induced minors

Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors

Unavoidable parallel minors of 4-connected graphs

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

Unavoidable vertex-minors in large prime graphs

Hamiltonian Claw-Free Graphs and O -Heavy Graphs Involving Induced Cycles

Unavoidable Induced Subgraph of Infinite 2-connected Graphs

Treewidth, Hadwiger Number, and Induced Minors

Hamiltonian Claw-Free Graphs Involving Induced Cycles

Induced Turán problem in bipartite graphs

Bipartite graphs with no K6 minor

Practical Approximation Schemes for Maximum Induced-Subgraph Problems on K_{3, 3}-free or K_5-free Graphs.

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

Erdős-Gyárfás conjecture on graphs without long induced paths

Induced subgraph density. III. Cycles and subdivisions

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

Obstructions to Erdős-Pósa Dualities for Minors

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs

The largest subgraph without a forbidden induced subgraph

Hamilton cycles, minimum degree and bipartite holes