Packing Arc-Disjoint Cycles in Tournaments - Bessy, Stéphane; Bougeret, Marin; Krithika, R.; Sahu, Abhishek; Saurabh, Saket; Thiebaut, Jocelyn; Zehavi, Meirav (Algorithmica, 2021)
Keywords: 57R05; [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]; [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG]; [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS]; [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO]; [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]; [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT]; [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]; [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]; ACM: D.: Software/D.3: PROGRAMMING LANGUAGES; Algebraic Hierarchy; arc-disjoint cycle packing; Computational Geometry (cs.CG); Computer Science - Computational Geometry; Computer Science - Logic in Computer Science; Containers; Coq; Differential Geometry (math.DG); Elpi; Equality test; equivalence; F.0; F.0; G.3; FOS: Computer and information sciences; FOS: Mathematics; G.1.1; G.1.1; G.1.2; G.1.2; G.3; homeomorphism; Induction; kernelization; Logic in Computer Science (cs.LO); manifold; Markov chains; Mathematics - Differential Geometry; Metaprogramming; Packed Classes; parameterized algorithms; Parametricity translation; probabilistic systems; simplicial complex; tournaments; triangulation; verification; λProlog