Packing Arc-Disjoint Cycles in Tournaments

Saved in:
Bibliographic Details
Published inAlgorithmica 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
LanguageJapanese
Published Springer Science and Business Media LLC 04.01.2021
Subjects
Online AccessGet full text
ISSN0178-4617
1432-0541
DOI10.48550/arxiv.2009.12978

Cover

Author Bougeret, Marin
Krithika, R.
Bessy, Stéphane
Zehavi, Meirav
Sahu, Abhishek
Thiebaut, Jocelyn
Saurabh, Saket
Author_xml – sequence: 1
  fullname: Bessy, Stéphane
– sequence: 2
  orcidid: 0000-0002-9910-4656
  fullname: Bougeret, Marin
– sequence: 3
  orcidid: 0000-0002-5319-7981
  fullname: Krithika, R.
– sequence: 4
  fullname: Sahu, Abhishek
– sequence: 5
  fullname: Saurabh, Saket
– sequence: 6
  orcidid: 0000-0002-4550-8399
  fullname: Thiebaut, Jocelyn
– sequence: 7
  fullname: Zehavi, Meirav
BackLink https://cir.nii.ac.jp/crid/1871709542638859648$$DView record in CiNii
BookMark eNotzLFOwzAQgGELFYlQ-gBsGZiQHO5y5_g8VoECUiUYsqPEdpBLcaSmIHh7hGD5v-0_V4s85ajUJULFYgzc9Iev9FnVAK7C2lk5UQUy1RoM40IVgFY0N2jP1Gqe0wDADoSZC3X93Pu3lF_L9cHr2zTvppSPZfvt93EuUy676eOQ-_eYj_OFOh37_RxX_y5Vt7nr2ge9fbp_bNdbvXNGNI7DSCDRhBCMjySmt2YkikQ1GwZGaRo7eBRsPEJwEHoyfqAxIFkEWqqrv21O6cWn36JYtOAM1w2JGNew0A_QOkPY
ContentType Journal Article
Contributor Algorithmes, Graphes et Combinatoire (ALGCO) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
Indian Institute of Technology [Palakkad] (ITT Palakkad)
Université Côte d'Azur (UCA)
Université Côte d'Azur (UniCA)
Advanced Computing and Microelectronics Unit [Kolkata] (ACMU) ; Indian Statistical Institute [Kolkata]
COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)
Pinar Heggernes
Boissonnat, Jean-Daniel
Enrico Tassi
Department of Informatics [Bergen] (UiB) ; University of Bergen (UiB)
Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)
Joost-Pieter Katoen
European Project: 339025,EC:FP7:ERC,ERC-2013-ADG,GUDHI
Algorithms and Complexity ; Max-Planck-Institut für Informatik (MPII) ; Max-Planck-Gesellschaft-Max-Planck-Gesellschaf
Contributor_xml – sequence: 1
  fullname: Mathematical, Reasoning and Software (MARELLE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 2
  fullname: COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)
– sequence: 3
  fullname: Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 4
  fullname: Université Côte d'Azur (UniCA)
– sequence: 5
  fullname: Université de Tsukuba = University of Tsukuba
– sequence: 6
  fullname: Algorithmes, Graphes et Combinatoire (ALGCO) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
– sequence: 7
  fullname: Department of Informatics [Bergen] (UiB) ; University of Bergen (UiB)
– sequence: 8
  fullname: Department of Computer Science [Beer-Sheva] ; Ben-Gurion University of the Negev (BGU)
– sequence: 9
  fullname: Peter Rossmanith
– sequence: 10
  fullname: Pinar Heggernes
– sequence: 11
  fullname: Joost-Pieter Katoen
– sequence: 12
  fullname: Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 13
  fullname: Understanding the Shape of Data (DATASHAPE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Saclay - Ile de France ; Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 14
  fullname: Advanced Computing and Microelectronics Unit [Kolkata] (ACMU) ; Indian Statistical Institute [Kolkata]
– sequence: 15
  fullname: European Project: 339025,EC:FP7:ERC,ERC-2013-ADG,GUDHI
– sequence: 16
  fullname: Algorithms and Complexity ; Max-Planck-Institut für Informatik (MPII) ; Max-Planck-Gesellschaft-Max-Planck-Gesellschaft
– sequence: 17
  fullname: Indian Statistical Institute [Kolkata]
– sequence: 18
  fullname: Indian Institute of Technology [Palakkad] (ITT Palakkad)
– sequence: 19
  fullname: Institute of Mathematical Sciences [Chennai] (IMSc)
– sequence: 20
  fullname: ANR-19-CE48-0013,DIGRAPHS,Digraphes
– sequence: 21
  fullname: Tassi, Enrico
– sequence: 22
  fullname: Cohen, Cyril
– sequence: 23
  fullname: Boissonnat, Jean-Daniel
– sequence: 24
  fullname: Enrico Tassi
– sequence: 25
  fullname: Oscar Darwin and Stefan Kiefer
– sequence: 26
  fullname: Stéphane Bessy and Marin Bougeret and R. Krithika and Abhishek Sahu and Saket Saurabh and Jocelyn Thiebaut and Meirav Zehavi
– sequence: 27
  fullname: Jean-Daniel Boissonnat and Ramsay Dyer and Arijit Ghosh and Mathijs Wintraecken
– sequence: 28
  fullname: Mathematical, Reasoning and Software (MARELLE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 29
  fullname: Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 30
  fullname: Algorithmes, Graphes et Combinatoire (ALGCO) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
– sequence: 31
  fullname: Indian Institut of Technology [Palakkad] (ITT Palakkad)
– sequence: 32
  fullname: Department of Computer Science [Beer-Sheva] ; Ben-Gurion University of the Negev (BGU)
– sequence: 33
  fullname: Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
– sequence: 34
  fullname: Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 35
  fullname: Understanding the Shape of Data (DATASHAPE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Saclay - Ile de France ; Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 36
  fullname: Mathematical, Reasoning and Software (MARELLE) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
– sequence: 37
  fullname: Université Côte d'Azur (UCA)
DBID RYH
DOI 10.48550/arxiv.2009.12978
10.4230/lipics.cvit.2016.23
10.1007/s00453-020-00788-2
10.48550/arxiv.1803.07642
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1432-0541
EndPage 1420
GroupedDBID -~C
-~X
.86
.DC
.VR
06D
0R~
0VY
199
1N0
203
23M
2J2
2JN
2JY
2KG
2KM
2LR
2~H
30V
4.4
406
408
409
40D
40E
5GY
5VS
67Z
6NX
78A
8TC
8UJ
95-
95.
95~
96X
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AAPKM
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYZH
ABAKF
ABBBX
ABBRH
ABBXA
ABDBE
ABDZT
ABECU
ABFSG
ABFTV
ABHLI
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABLJU
ABMNI
ABMQK
ABNWP
ABQBU
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABWNU
ABXPI
ACAOD
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSTC
ACZOJ
ADHHG
ADHIR
ADIMF
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEMSY
AENEX
AEOHA
AEPYU
AESKC
AETLH
AEVLU
AEXYK
AEZWR
AFBBN
AFDZB
AFHIU
AFLOW
AFOHR
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQEE
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHPBZ
AHSBF
AHWEU
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AIXLP
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
ASPBG
ATHPR
AVWKF
AXYYD
AYFIA
AYJHY
AZFZN
B-.
BA0
BGNMA
BSONS
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
EBLON
EBS
EIOEI
ESBYG
FEDTE
FERAY
FFXSO
FIGPU
FNLPD
FRRFC
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ7
GQ8
GXS
HF~
HG5
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
I09
IHE
IJ-
IKXTQ
ITM
IWAJR
IXC
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
JBSCW
JCJTX
JZLTJ
KDC
KOV
LAS
LLZTM
M4Y
MA-
N9A
NB0
NPVJJ
NQJWS
NU0
O93
O9G
O9I
O9J
OAM
P19
P9O
PF-
PT4
PT5
QOK
QOS
R89
R9I
RHV
RNS
ROL
RPX
RSV
RYH
S16
S27
S3B
SAP
SCO
SDH
SDM
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TN5
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WK8
YLTOR
Z45
ZMTXR
~EX
ID FETCH-LOGICAL-j958-1fbf308e5ddd5ce385a75f33e3324540418667bc1816c10d90da35cb3fd137103
ISSN 0178-4617
IngestDate Thu Jun 26 23:32:54 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language Japanese
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-j958-1fbf308e5ddd5ce385a75f33e3324540418667bc1816c10d90da35cb3fd137103
ORCID 0000-0002-9910-4656
0000-0002-4550-8399
0000-0002-5319-7981
OpenAccessLink https://cir.nii.ac.jp/crid/1871709542638859648
PageCount 28
ParticipantIDs nii_cinii_1871709542638859648
PublicationCentury 2000
PublicationDate 2021-01-04
PublicationDateYYYYMMDD 2021-01-04
PublicationDate_xml – month: 01
  year: 2021
  text: 2021-01-04
  day: 04
PublicationDecade 2020
PublicationTitle Algorithmica
PublicationYear 2021
Publisher Springer Science and Business Media LLC
Publisher_xml – name: Springer Science and Business Media LLC
SSID ssib004908444
ssib002373452
ssib004296842
ssj0012796
Score 2.387864
SourceID nii
SourceType Publisher
StartPage 1393
SubjectTerms 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
Title Packing Arc-Disjoint Cycles in Tournaments
URI https://cir.nii.ac.jp/crid/1871709542638859648
Volume 83
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVLSH
  databaseName: SpringerLink Journals
  customDbUrl:
  mediaType: online
  eissn: 1432-0541
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0012796
  issn: 0178-4617
  databaseCode: AFBBN
  dateStart: 19861101
  isFulltext: true
  providerName: Library Specific Holdings
– providerCode: PRVAVX
  databaseName: SpringerLINK - Czech Republic Consortium
  customDbUrl:
  eissn: 1432-0541
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0012796
  issn: 0178-4617
  databaseCode: AGYKE
  dateStart: 19970101
  isFulltext: true
  titleUrlDefault: http://link.springer.com
  providerName: Springer Nature
– providerCode: PRVAVX
  databaseName: SpringerLink Journals (ICM)
  customDbUrl:
  eissn: 1432-0541
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0012796
  issn: 0178-4617
  databaseCode: U2A
  dateStart: 19970101
  isFulltext: true
  titleUrlDefault: http://www.springerlink.com/journals/
  providerName: Springer Nature
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3Nb9MwFLdKd-HCN2LAUA6cQOniOI6d4zqYJiQmDkXaDSWOTd1u6RTaCfjr-NN4z05Ti0wacLHSxIrsvNfn3_sm5LWRQquqrOKC5aCgKC3iSjIVi0SamqcGUC_mO388y08_Zx_O-flo9CuIWtqsq4n6eWNeyf9QFe4BXTFL9h8o278UbsA10BdGoDCMf0XjT6VaOrNGq-J39ttiZZv12-MfGOiGdoyZe8fltlpTX2z24uuqtev5ZRCmMwWB10V9edf51bwMHO6AsnWrt8k9due5x_fYpQegk95aU843TuZUc4y4X4aWhZQ6y8LQsthLGbTk9-H46Ecq-87GnXESNNIs97mYE-0FasbSGGAhDSWuZIHIBAjKguOXZi45biDaXeU1PLja7_ba1xkFqOLb_wzmAofB1At7ZRXQ99pi0CzNJz6zeXBo-DgRLCvL0aeNmfYCOe32ZVCJBXIF6HB3yF4K50oyJntHJ9PpWQCJBMt4Gp7_6Prc_S4S6Ur2dZ6vVLiecv237BK9XLrnYIW-jBZu9_CGzXonvlvx4Z_rHT7bfVKAWY21AcyaPSD3Ov0oOvLM_pCMFuUjcn_beyTqmOQxedPxfhTyfuR5P7JNFPD-EzI7eT87Po27vh_xouAypqYyLJGa13XNlWaSl4IbxjQD8A8KRoY1GkWlAJvmiiZ1kdQl46pipqYMADN7SsbNqtHPSCRhnjCgAhmTZxVo2kVuqNQZQDcudVHskwPY6RdlcaRSUAEaB7YwkJIXeSaf3_L8Bbm7--O8JON1u9EHAFLX1auOD34DUnd2nA
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Packing+Arc-Disjoint+Cycles+in+Tournaments&rft.jtitle=Algorithmica&rft.au=Bessy%2C+St%C3%A9phane&rft.au=Bougeret%2C+Marin&rft.au=Krithika%2C+R.&rft.au=Sahu%2C+Abhishek&rft.date=2021-01-04&rft.pub=Springer+Science+and+Business+Media+LLC&rft.issn=0178-4617&rft.eissn=1432-0541&rft.volume=83&rft.spage=1393&rft.epage=1420&rft_id=info:doi/10.48550%2Farxiv.2009.12978&rft_id=info:doi/10.4230%2Flipics.cvit.2016.23&rft_id=info:doi/10.1007%2Fs00453-020-00788-2&rft_id=info:doi/10.48550%2Farxiv.1803.07642
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0178-4617&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0178-4617&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0178-4617&client=summon