Packing Arc-Disjoint Cycles in Tournaments

• Published in: Algorithmica Vol. 83; pp. 1393 - 1420
• Main Authors: Bessy, Stéphane, Bougeret, Marin, Krithika, R., Sahu, Abhishek, Saurabh, Saket, Thiebaut, Jocelyn, Zehavi, Meirav
• Format: Journal Article
• Language: Japanese
• Published: Springer Science and Business Media LLC 04.01.2021
• Subjects: 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
• ISSN: 0178-4617; 1432-0541
• DOI: 10.48550/arxiv.2009.12978