Abstract:We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. Moreover, we provide an algorithm that finds one of the two outcomes of this statement in time $g(k)n^{\mathcal{O}(1)}$ for some computable function $g\colon \mathbb{N}\to\mathbb{N}$. Our result unites two deep fields of research from the algorithmic theory for digraphs: The study of the Erdős-Pósa property of digraphs and the study of the Even Dicycle Problem. The latter is the decision problem which asks if a given digraph contains an even dicycle and can be traced back to a question of Pólya from 1913. It remained open until a polynomial time algorithm was finally found by Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997). The Even Dicycle Problem is equivalent to the recognition problem of Pfaffian bipartite graphs and has applications even beyond discrete mathematics and theoretical computer science. On the other hand, Younger's Conjecture (1973), states that dicycles have the Erdős-Pósa property. The conjecture was proven more than two decades later by Reed, Robertson, Seymour, and Thomas (Combinatorica 1996) and opened the path for structural digraph theory as well as the algorithmic study of the directed feedback vertex set problem. Our approach builds upon the techniques used to resolve both problems and combines them into a powerful structural theorem that yields further algorithmic applications for other prominent problems.

ETH-Tight Algorithm for Cycle Packing on Unit Disk Graphs

Packing Short Cycles

Dynamic parameterized problems on unit disk graphs

Solving Co-Path/Cycle Packing and Co-Path Packing Faster Than $3^k$

Planar Vertex-Disjoint Cycle Packing: New Structures And Improved Kernel

A 17/10-Approximation Algorithm for K -Bounded Space On-Line Variable-Sized Bin Packing

Packing and covering a given directed graph in a directed graph

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

Edge-Disjoint Packing of Stars and Cycles

Approximation Algorithms for Packing Cycles and Paths in Complete Graphs

Improved Approximation Algorithms for Cycle and Path Packings.

True Contraction Decomposition and Almost ETH-Tight Bipartization for Unit-Disk Graphs

Faster Algorithms for Cycle Hitting Problems on Disk Graphs

An improved integrality gap for disjoint cycles in planar graphs

A (3 + Ε)k-Vertex Kernel for Edge-Disjoint Triangle Packing

Packing even directed circuits quarter-integrally

Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs

A coarse Erdős-Pósa theorem

Packing, Counting and Covering Hamilton cycles in random directed graphs

Survey of Cycle Packing Problem

Parameterized Complexity of Path Set Packing