Packing Arc-Disjoint Cycles in Tournaments

Stéphane Bessy 1 Marin Bougeret 2 R Krithika Abhishek Sahu Saket Saurabh 3 Jocelyn Thiebaut 2 Meirav Zehavi 4
1 MASCOTTE - Algorithms, simulation, combinatorics and optimization for telecommunications
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 ALGCO - Algorithmes, Graphes et Combinatoire
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : A tournament is a directed graph in which there is a single arc between every pair of distinct vertices. Given a tournament $T$ on $n$ vertices, we explore the classical and parameterized complexity of the problems of determining if $T$ has a cycle packing (a set of pairwise arc-disjoint cycles) of size $k$ and a triangle packing (a set of pairwise arc-disjoint triangles) of size $k$. We refer to these problems as {\sc Arc-disjoint Cycles in Tournaments} (\act) and {\sc Arc-disjoint Triangles in Tournaments} (\att), respectively. Although the maximization version of \act\ can be seen as the linear programming dual of the well-studied problem of finding a minimum feedback arc set (a set of arcs whose deletion results in an acyclic graph) in tournaments, surprisingly no algorithmic results seem to exist for \act. We first show that \act\ and \att\ are both \NP-complete. Then, we show that the problem of determining if a tournament has a cycle packing and a feedback arc set of the same size is \NP-complete. Next, we prove that \act\ and \att\ are fixed-parameter tractable, they can be solved in $2^{\oo(k \log k)} n^{\oo(1)}$ time and $2^{\oo(k)} n^{\oo(1)}$ time respectively. Moreover, they both admit a kernel with $\oo(k)$ vertices. We also prove that \act\ and \att\ cannot be solved in $2^{o(\sqrt{k})} n^{\oo(1)}$ time under the Exponential-Time Hypothesis
Complete list of metadatas

Cited literature [60 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02277436
Contributor : Marin Bougeret <>
Submitted on : Tuesday, September 3, 2019 - 3:38:51 PM
Last modification on : Wednesday, September 4, 2019 - 1:21:35 AM

File

act-main-short.pdf
Files produced by the author(s)

Identifiers

Citation

Stéphane Bessy, Marin Bougeret, R Krithika, Abhishek Sahu, Saket Saurabh, et al.. Packing Arc-Disjoint Cycles in Tournaments. 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Aug 2019, Aachen, Germany. pp.1 - 23, ⟨10.4230/LIPIcs.CVIT.2016.23⟩. ⟨hal-02277436⟩

Share

Metrics

Record views

18

Files downloads

10