Packing and covering a given directed graph in a directed graph

For every fixed $k\ge 4$, it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed $k$-cycles, then there exists a set of at most $\frac{2}{3}kt+o(n^2)$ arcs that meets all directed $k$-cycles and that the set of $k$-cycles admits a fractional cover of value at most $\frac{2}{3}kt$. It is also proved that the ratio $\frac{2}{3}k$ cannot be improved to a constant smaller than $\frac{k}{2}$. For $k=5$ the constant $2k\mathrm{/}3$ is improved to $25\mathrm{/}8$ and for $k=3$ it was recently shown by Cooper et al. that the constant can be taken to be $9\mathrm{/}5$. The result implies a deterministic polynomial time $\frac{2}{3}k$-approximation algorithm for the directed $k$-cycle cover problem, improving upon a previous $(k-1)$-approximation algorithm of Kortsarz et al. More generally, for every directed graph $H$ we introduce a graph parameter $f(H)$ for which it is proved that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint $H$-copies, then there exists a set of at most $f(H)t+o(n^2)$ arcs that meets all $H$-copies and that the set of $H$-copies admits a fractional cover of value at most $f(H)t$. It is shown that for almost all $H$ it holds that $f(H)\approx \mathrm{\mid }E(H)\mathrm{\mid }\mathrm{/}2$ and that for every $k$-vertex tournament $H$ it holds that $f(H)\le \lfloor k^2\mathrm{/}4\rfloor$.