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|.$

A half-integral Erdős-Pósa theorem for directed odd cycles

A unified half‐integral Erdős–Pósa theorem for cycles in graphs labelled by multiple abelian groups

Packing even directed circuits quarter-integrally

A coarse Erdős-Pósa theorem

Erdős-Pósa property of cycles that are far apart

Extremal Problems of Erdős, Faudree, Schelp and Simonovits on Paths and Cycles

Packing directed cycles of specified odd length into digraphs and alternating cycles into bipartite graphs

A strengthening on consecutive odd cycles in graphs of given minimum degree

On the Generalized Turán Problem for Odd Cycles

Odd Properly Colored Cycles in Edge-Colored Graphs.

Generalized Andrásfai--Erdős--Sós theorems for odd cycles

Vertex-disjoint Properly Edge-Colored Cycles in Edge-Colored Complete Graphs.

Towards a conjecture of Birmelé-Bondy-Reed on the Erdős-Pósa property of long cycles

An implicit degree condition for long cycles in 2-connected graphs

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

Half-integral Erdős-Pósa property for non-null $S$-$T$ paths

Partition of a Subset into Two Directed Cycles with Partial Degrees

A Spectral Condition for Odd Cycles in Non-Bipartite Graphs

Algorithmic Extensions of Dirac's Theorem

Packing cycles in undirected group-labelled graphs

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