Packing Arc-Disjoint Cycles in Tournaments

Saved in:
Bibliographic Details
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
ISSN:0178-4617
1432-0541
DOI:10.48550/arxiv.2009.12978