Abstract:An \emph{induced packing} of cycles in a graph is a set of vertex-disjoint cycles with no edges between them. We generalise the classic Erdős-Pósa theorem to induced packings of cycles. More specifically, we show that there exists a function ${f(k) = \mathcal{O}(k \log k)}$ such that for every positive integer ${k}$, every graph $G$ contains either an induced packing of $k$ cycles or a set $X$ of at most~${f(k)}$ vertices such that the closed neighbourhood of $X$ intersects all cycles in $G$. Our proof is constructive and yields a polynomial-time algorithm finding either the induced packing of cycles or the set $X$. Furthermore, we show that for every positive integer ${d}$, if a graph $G$ does not contain two cycles at distance more than $d$, then $G$ contains sets $X_1,X_2\subseteq V(G)$ with $\lvert {X_1} \rvert \leq12(d+1)$ and $\lvert {X_2} \rvert \leq12$ such that after removing the ball of radius $2d$ around $X_1$ or the ball of radius $3d$ around $X_2$, the resulting graphs are forests. As a corollary, we prove that every graph with no $K_{1,t}$ induced subgraph and no induced packing of $k$ cycles has tree-independence number at most $\mathcal{O}(tk\log k)$, and one can construct a corresponding tree-decomposition in polynomial time. This resolves a special case of a conjecture of Dallard et al. (<a class="link-https" data-arxiv-id="2402.11222" href="https://arxiv.org/abs/2402.11222">arXiv:2402.11222</a>), and implies that on such graphs, many NP-hard problems, such as Maximum Weight Independent Set, Maximum Weight Induced Matching, Graph Homomorphism, and Minimum Weight Feedback Vertex Set, are solvable in polynomial time. On the other hand, we show that the class of all graphs with no $K_{1,3}$ induced subgraph and no two cycles at distance more than $2$ has unbounded tree-independence number.

Packing the largest trees in the tree packing conjecture

A Proof of the Tree Packing Conjecture

Generalizations of the Tree Packing Conjecture

Packing large balanced trees into bipartite graphs

Packing minor-closed families of graphs into complete graphs

Regular packing of rooted hyperforests with root constraints in hypergraphs

Augmenting a hypergraph to have a matroid-based $(f,g)$-bounded $(α,β)$-limited packing of rooted hypertrees

A coarse Erdős-Pósa theorem

Packing mixed hyperarborescences

On The Maximum Linear Arrangement Problem for Trees

A short proof of the tree-packing theorem

On k-(total) limited packing in graphs

The Zarankiewicz problem on tripartite graphs

The Strong Nine Dragon Tree Conjecture is true for $d \leq k+1$

The Strong Nine Dragon Tree Conjecture is True for $d \leq 2(k+1)$

Induced matching vs edge open packing: trees and product graphs

Tree-Packing Revisited: Faster Fully Dynamic Min-Cut and Arboricity

On arborescence packing augmentation in hypergraphs

Packing tree degree sequences

Clumsy packings of graphs