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.

Packing, Counting and Covering Hamilton cycles in random directed graphs

Covering Random Digraphs with Hamilton Cycles

Packing and Covering a Given Directed Graph in a Directed Graph

Packing even directed circuits quarter-integrally

Packing Short Cycles

A coarse Erdős-Pósa theorem

Hamilton cycles in pseudorandom graphs

Spanning cycles in random directed graphs

Sequentially constrained Hamilton cycles in random graphs

The completion numbers of Hamiltonicity and pancyclicity in random graphs

An Improved Fully Polynomial Randomized Approximation Scheme (FPRAS) for Counting the Number of Hamiltonian Cycles in Dense Digraphs

Another Hamiltonian Cycle in Bipartite Pfaffian Graphs

1 2 Ja n 20 09 An Improved FPRAS for Counting the Number of Hamiltonian Cycles in Dense Digraphs

The Hamilton space of pseudorandom graphs

A generalization of the Hamiltonian cycle in dense digraphs

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

Clique packings in random graphs

Packing and finding paths in sparse random graphs

Hamilton cycles, minimum degree and bipartite holes

Pancyclicity of Randomly Perturbed Digraph