Kernel bounds for disjoint cycles and disjoint paths
In this paper, we show that the problems Disjoint Cycles and Disjoint Paths do not have polynomial kernels, unless N P ⊆ c o N P / p o l y . Thus, these problems do not allow polynomial time preprocessing that results in instances whose size is bounded by a polynomial in the parameter at hand. We bu...
Saved in:
| Published in: | Theoretical computer science Vol. 412; no. 35; pp. 4570 - 4578 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Oxford
Elsevier B.V
12.08.2011
Elsevier |
| Subjects: | |
| ISSN: | 0304-3975, 1879-2294 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | In this paper, we show that the problems
Disjoint Cycles and
Disjoint Paths do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. Thus, these problems do not allow polynomial time preprocessing that results in instances whose size is bounded by a polynomial in the parameter at hand. We build upon recent results by Bodlaender et al.
[6] and Fortnow and Santhanam
[20], that show that NP-complete problems that are ‘or-compositional’ do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. To this machinery, we add a notion of transformation, and obtain that
Disjoint Cycles, and
Disjoint Paths do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. For the proof, we introduce a problem on strings, called
Disjoint Factors, and first show that this problem has no polynomial kernel unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. We also show that the related
Disjoint Cycles Packing problem has a kernel of size
O
(
k
log
k
)
. |
|---|---|
| AbstractList | In this paper, we show that the problems
Disjoint Cycles and
Disjoint Paths do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. Thus, these problems do not allow polynomial time preprocessing that results in instances whose size is bounded by a polynomial in the parameter at hand. We build upon recent results by Bodlaender et al.
[6] and Fortnow and Santhanam
[20], that show that NP-complete problems that are ‘or-compositional’ do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. To this machinery, we add a notion of transformation, and obtain that
Disjoint Cycles, and
Disjoint Paths do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. For the proof, we introduce a problem on strings, called
Disjoint Factors, and first show that this problem has no polynomial kernel unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. We also show that the related
Disjoint Cycles Packing problem has a kernel of size
O
(
k
log
k
)
. In this paper, we show that the problems Disjoint Cycles and Disjoint Paths do not have polynomial kernels, unless N P ⊆ c o N P / p o l y . Thus, these problems do not allow polynomial time preprocessing that results in instances whose size is bounded by a polynomial in the parameter at hand. We build upon recent results by Bodlaender et al. [6] and Fortnow and Santhanam [20], that show that NP-complete problems that are ‘or-compositional’ do not have polynomial kernels, unless N P ⊆ c o N P / p o l y . To this machinery, we add a notion of transformation, and obtain that Disjoint Cycles, and Disjoint Paths do not have polynomial kernels, unless N P ⊆ c o N P / p o l y . For the proof, we introduce a problem on strings, called Disjoint Factors, and first show that this problem has no polynomial kernel unless N P ⊆ c o N P / p o l y . We also show that the related Disjoint Cycles Packing problem has a kernel of size O ( k log k ) . In this paper, we show that the problems Disjoint Cycles and Disjoint Paths do not have polynomial kernels, unless N P aS c o N P / p o l y . Thus, these problems do not allow polynomial time preprocessing that results in instances whose size is bounded by a polynomial in the parameter at hand. We build upon recent results by Bodlaender et al. and Fortnow and Santhanam , that show that NP-complete problems that are 'or-compositional' do not have polynomial kernels, unless N P aS c o N P / p o l y . To this machinery, we add a notion of transformation, and obtain that Disjoint Cycles, and Disjoint Paths do not have polynomial kernels, unless N P aS c o N P / p o l y . For the proof, we introduce a problem on strings, called Disjoint Factors, and first show that this problem has no polynomial kernel unless N P aS c o N P / p o l y . We also show that the related Disjoint Cycles Packing problem has a kernel of size O ( k log k ) . |
| Author | Thomassé, Stéphan Bodlaender, Hans L. Yeo, Anders |
| Author_xml | – sequence: 1 givenname: Hans L. surname: Bodlaender fullname: Bodlaender, Hans L. email: hansb@cs.uu.nl organization: Department of Computer Science, Utrecht University, 3508 TB Utrecht, Netherlands – sequence: 2 givenname: Stéphan surname: Thomassé fullname: Thomassé, Stéphan email: thomasse@lirmm.fr organization: LIRMM-Université Montpellier II, 161 Rue Ada, 34392 Montpellier Cedex, France – sequence: 3 givenname: Anders surname: Yeo fullname: Yeo, Anders email: anders@cs.rhul.ac.uk organization: Department of Computer Science, Royal Holloway University of London, Egham, Surrey TW20 OEX, United Kingdom |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=24400474$$DView record in Pascal Francis https://hal-lirmm.ccsd.cnrs.fr/lirmm-00806805$$DView record in HAL |
| BookMark | eNp9kE1rGzEQhkVJoc7HD-htL6GHstvRSrvSklMI-aKGXJrzIEtaIiNLjiQH8u8j47SFHDKXYYbnnYHnmByFGCwh3yl0FOj4a90VnbseKO2Ad8CmL2RBpZjavp_4EVkAA96ySQzfyHHOa6g1iHFB-G-bgvXNKu6Cyc0cU2NcXkcXSqNftbe5UcH8321Vecqn5OusfLZn7_2EPN5c_7m6a5cPt_dXl8tWs2koLZ0ZNcC0GUUPs6RGUuDMSDVoxma56uugxokKXXk9cq54b-qw4r2abV2ekJ-Hu0_K4za5jUqvGJXDu8slepc2GwSQMEoYXmilfxzobYrPO5sLblzW1nsVbNxlnEBMbBRSVvL8nVRZKz8nFbTL_z70nANwwSsnDpxOMedkZ9SuqOJiKEk5jxRwLx_XWOXjXj4Cxyq_JumH5N_jn2UuDhlblb44mzBrZ4O2xiWrC5roPkm_AVWOnU4 |
| CODEN | TCSCDI |
| CitedBy_id | crossref_primary_10_1137_17M1136614 crossref_primary_10_1137_140963200 crossref_primary_10_1145_3390887 crossref_primary_10_1016_j_tcs_2013_10_012 crossref_primary_10_1137_20M1335285 crossref_primary_10_1016_j_tcs_2018_03_024 crossref_primary_10_1007_s00453_017_0313_5 crossref_primary_10_1016_j_tcs_2012_03_013 crossref_primary_10_1016_j_tcs_2012_09_006 crossref_primary_10_1007_s00453_018_0419_4 crossref_primary_10_1016_j_jcss_2016_03_009 crossref_primary_10_1007_s00453_014_9937_x crossref_primary_10_1145_2635808 crossref_primary_10_1007_s00453_019_00660_y crossref_primary_10_1007_s00453_012_9695_6 crossref_primary_10_1007_s00453_012_9697_4 crossref_primary_10_1145_2487222_2487226 crossref_primary_10_1016_j_dam_2025_03_023 crossref_primary_10_1007_s00453_020_00788_2 crossref_primary_10_1016_j_dam_2017_07_029 crossref_primary_10_1016_j_jcss_2016_03_003 crossref_primary_10_1007_s00236_022_00428_y crossref_primary_10_1145_3108239 crossref_primary_10_1007_s00453_012_9670_2 crossref_primary_10_1137_20M1353782 crossref_primary_10_1007_s00453_018_0495_5 crossref_primary_10_1007_s13278_012_0067_7 crossref_primary_10_3390_a16030144 crossref_primary_10_1007_s11432_021_3551_2 crossref_primary_10_1145_2594439 crossref_primary_10_1007_s00453_014_9868_6 crossref_primary_10_1137_130927115 crossref_primary_10_1007_s00453_020_00686_7 crossref_primary_10_1007_s00453_022_00979_z crossref_primary_10_1007_s00453_012_9681_z crossref_primary_10_1016_j_tcs_2012_12_049 crossref_primary_10_1145_3439721 crossref_primary_10_1007_s00224_020_09982_9 crossref_primary_10_1137_120883736 crossref_primary_10_1016_j_tcs_2022_08_023 crossref_primary_10_1007_s00224_014_9580_6 crossref_primary_10_1007_s10107_017_1199_3 crossref_primary_10_1016_j_tcs_2018_04_006 crossref_primary_10_1016_j_disopt_2013_02_001 crossref_primary_10_1007_s00453_022_00962_8 crossref_primary_10_1007_s11277_014_2065_8 crossref_primary_10_1145_3349618 crossref_primary_10_1007_s00453_016_0189_9 crossref_primary_10_1016_j_tcs_2017_09_023 crossref_primary_10_1137_16M1104585 crossref_primary_10_1016_j_jcss_2022_11_002 crossref_primary_10_1007_s00224_013_9480_1 crossref_primary_10_1016_j_tcs_2016_07_021 crossref_primary_10_1007_s00453_014_9882_8 crossref_primary_10_1007_s00453_014_9910_8 crossref_primary_10_1016_j_tcs_2023_113797 crossref_primary_10_1007_s00453_013_9821_0 crossref_primary_10_1007_s00453_012_9707_6 crossref_primary_10_1016_j_tcs_2016_06_001 crossref_primary_10_1137_19M1307160 crossref_primary_10_1145_2691321 crossref_primary_10_1007_s00453_019_00647_9 crossref_primary_10_1145_3765285 crossref_primary_10_1145_2858787 crossref_primary_10_1016_j_cosrev_2025_100795 crossref_primary_10_1007_s00453_019_00599_0 crossref_primary_10_1016_j_jcss_2024_103530 crossref_primary_10_1016_j_jcss_2025_103631 crossref_primary_10_1007_s00453_019_00617_1 crossref_primary_10_1007_s00224_022_10114_8 crossref_primary_10_1016_j_jcss_2015_08_002 crossref_primary_10_1016_j_tcs_2022_04_017 crossref_primary_10_1016_j_tcs_2019_07_009 crossref_primary_10_1145_2635810 crossref_primary_10_1007_s00224_018_9892_z crossref_primary_10_1145_2635812 crossref_primary_10_1137_120880240 crossref_primary_10_3390_a13060146 crossref_primary_10_1007_s00453_012_9619_5 crossref_primary_10_1137_16M1088740 crossref_primary_10_1186_s13015_024_00269_z crossref_primary_10_1007_s00453_021_00828_5 crossref_primary_10_1137_17M1150037 crossref_primary_10_1016_j_procs_2023_08_222 crossref_primary_10_1016_j_jcss_2013_09_004 crossref_primary_10_1016_j_tcs_2019_02_032 |
| Cites_doi | 10.1007/s00224-010-9270-y 10.1006/jctb.1995.1006 10.1016/S0166-218X(03)00440-2 10.1137/S0097539792228228 10.1007/s00453-008-9180-4 10.1016/j.jcss.2010.06.007 10.1145/1721837.1721848 10.1016/j.jcss.2009.04.001 10.1007/s00224-009-9234-2 10.1145/1233481.1233493 10.1145/1806689.1806725 10.1007/s003730200002 10.1002/net.1975.5.1.45 10.1016/0304-3975(94)00097-3 |
| ContentType | Journal Article |
| Copyright | 2011 Elsevier B.V. 2015 INIST-CNRS Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: 2011 Elsevier B.V. – notice: 2015 INIST-CNRS – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | 6I. AAFTH AAYXX CITATION IQODW 7SC 8FD JQ2 L7M L~C L~D 1XC |
| DOI | 10.1016/j.tcs.2011.04.039 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Pascal-Francis Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics Computer Science Applied Sciences |
| EISSN | 1879-2294 |
| EndPage | 4578 |
| ExternalDocumentID | oai:HAL:lirmm-00806805v1 24400474 10_1016_j_tcs_2011_04_039 S0304397511003483 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 29Q 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q G8K GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SCC SDF SDG SES SEW SPC SPCBC SSV SSW SSZ T5K TAE TN5 WH7 WUQ XJT YNT ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD AFXIZ AGCQF AGRNS BNPGV IQODW SSH 7SC 8FD JQ2 L7M L~C L~D 1XC |
| ID | FETCH-LOGICAL-c395t-1f31d03cd6720f81d81043d8a5c33f8b243da6917cc39c644a42d7ccb42afecc3 |
| ISICitedReferencesCount | 147 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000294031200011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0304-3975 |
| IngestDate | Tue Oct 14 20:27:33 EDT 2025 Thu Oct 02 20:05:36 EDT 2025 Mon Jul 21 09:18:25 EDT 2025 Tue Nov 18 22:25:20 EST 2025 Sat Nov 29 05:15:06 EST 2025 Fri Feb 23 02:16:39 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 35 |
| Keywords | Lower bounds Fixed parameter complexity Disjoint cycles Algorithms Data reduction Kernelization Polynomial Lower bound Computer theory Time allowed Algorithm Complexity Polynomial time Packing Proof NP complete problem |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 CC BY 4.0 Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c395t-1f31d03cd6720f81d81043d8a5c33f8b243da6917cc39c644a42d7ccb42afecc3 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ORCID | 0000-0002-7090-1790 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.tcs.2011.04.039 |
| PQID | 907936788 |
| PQPubID | 23500 |
| PageCount | 9 |
| ParticipantIDs | hal_primary_oai_HAL_lirmm_00806805v1 proquest_miscellaneous_907936788 pascalfrancis_primary_24400474 crossref_citationtrail_10_1016_j_tcs_2011_04_039 crossref_primary_10_1016_j_tcs_2011_04_039 elsevier_sciencedirect_doi_10_1016_j_tcs_2011_04_039 |
| PublicationCentury | 2000 |
| PublicationDate | 2011-08-12 |
| PublicationDateYYYYMMDD | 2011-08-12 |
| PublicationDate_xml | – month: 08 year: 2011 text: 2011-08-12 day: 12 |
| PublicationDecade | 2010 |
| PublicationPlace | Oxford |
| PublicationPlace_xml | – name: Oxford |
| PublicationTitle | Theoretical computer science |
| PublicationYear | 2011 |
| Publisher | Elsevier B.V Elsevier |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier |
| References | Amir (br000010) 2001 Alon, Hoory, Linial (br000005) 2002; 18 S. Saurabh, 2009. Personal communication. Kloks, Lee, Liu (br000120) 2002; vol. 2573 Kratsch, Wahlström (br000125) 2009; vol. 5917 Bodlaender, Penninkx, Tan (br000045) 2008; vol. 5369 Karp (br000115) 1975; 5 Downey, Fellows (br000085) 1995; 141 Robertson, Seymour (br000135) 1995; 63 Fernau, Fomin, Lokshtanov, Raible, Saurabh, Villanger (br000095) 2009; vol. 09001 Downey, Fellows (br000090) 1999 Bodlaender (br000020) 2007; vol. 4393 Bodlaender, Penninkx (br000040) 2008; vol. 5018 Bodlaender (br000025) 2009; vol. 5917 Bodlaender, van Dijk (br000050) 2010; 46 Fortnow, Santhanam (br000100) 2011; 77 Thomassé (br000145) 2010; 6 Dom, Lokshtanov, Saurabh (br000075) 2009; vol. 5555 Bodlaender, Downey, Fellows, Hermelin (br000030) 2009; 75 Chen, Flum, Müller (br000065) 2011; 48 Downey, Fellows (br000080) 1995; 24 Garey, Johnson (br000105) 1979 Mathieson, Prieto, Shaw (br000130) 2004; vol. 3162 Bouchitté, Kratsch, Müller, Todinca (br000055) 2004; 136 Amir (br000015) 2010; 56 Bodlaender, Jansen, Kratsch (br000035) 2011; vol. 9 Guo, Niedermeier (br000110) 2007; 38 Burrage, Estivill-Castro, Fellows, Langston, Mac, Rosamond (br000060) 2006; vol. 4169 H. Dell, D. van Melkebeek, Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses, in: L.J. Schulman (Ed.), Proceedings of the 42nd Annual Symposium on Theory of Computing, STOC 2010, 2010, pp. 251–260. Kloks (10.1016/j.tcs.2011.04.039_br000120) 2002; vol. 2573 Dom (10.1016/j.tcs.2011.04.039_br000075) 2009; vol. 5555 Bouchitté (10.1016/j.tcs.2011.04.039_br000055) 2004; 136 Fortnow (10.1016/j.tcs.2011.04.039_br000100) 2011; 77 Bodlaender (10.1016/j.tcs.2011.04.039_br000020) 2007; vol. 4393 Thomassé (10.1016/j.tcs.2011.04.039_br000145) 2010; 6 Chen (10.1016/j.tcs.2011.04.039_br000065) 2011; 48 Karp (10.1016/j.tcs.2011.04.039_br000115) 1975; 5 Alon (10.1016/j.tcs.2011.04.039_br000005) 2002; 18 Downey (10.1016/j.tcs.2011.04.039_br000090) 1999 Downey (10.1016/j.tcs.2011.04.039_br000080) 1995; 24 Garey (10.1016/j.tcs.2011.04.039_br000105) 1979 Mathieson (10.1016/j.tcs.2011.04.039_br000130) 2004; vol. 3162 Bodlaender (10.1016/j.tcs.2011.04.039_br000045) 2008; vol. 5369 Amir (10.1016/j.tcs.2011.04.039_br000015) 2010; 56 Bodlaender (10.1016/j.tcs.2011.04.039_br000050) 2010; 46 10.1016/j.tcs.2011.04.039_br000070 Kratsch (10.1016/j.tcs.2011.04.039_br000125) 2009; vol. 5917 Burrage (10.1016/j.tcs.2011.04.039_br000060) 2006; vol. 4169 Guo (10.1016/j.tcs.2011.04.039_br000110) 2007; 38 Downey (10.1016/j.tcs.2011.04.039_br000085) 1995; 141 Fernau (10.1016/j.tcs.2011.04.039_br000095) 2009; vol. 09001 Bodlaender (10.1016/j.tcs.2011.04.039_br000035) 2011; vol. 9 Bodlaender (10.1016/j.tcs.2011.04.039_br000030) 2009; 75 Robertson (10.1016/j.tcs.2011.04.039_br000135) 1995; 63 Amir (10.1016/j.tcs.2011.04.039_br000010) 2001 Bodlaender (10.1016/j.tcs.2011.04.039_br000040) 2008; vol. 5018 10.1016/j.tcs.2011.04.039_br000140 Bodlaender (10.1016/j.tcs.2011.04.039_br000025) 2009; vol. 5917 |
| References_xml | – volume: vol. 4169 start-page: 192 year: 2006 end-page: 202 ident: br000060 article-title: The undirected feedback vertex set problem has a poly( publication-title: Proceedings of the 2nd International Workshop on Parameterized and Exact Computation – year: 1999 ident: br000090 article-title: Parameterized Complexity – volume: 18 start-page: 53 year: 2002 end-page: 57 ident: br000005 article-title: The Moore bound for irregular graphs publication-title: Graphs and Combinatorics – year: 1979 ident: br000105 article-title: Computers and Intractability, A Guide to the Theory of NP-Completeness – volume: vol. 5369 start-page: 294 year: 2008 end-page: 305 ident: br000045 article-title: A linear kernel for the publication-title: Proceedings of the 19th International Symposium on Algorithms and Computation – volume: 77 start-page: 91 year: 2011 end-page: 106 ident: br000100 article-title: Infeasibility of instance compression and succinct PCPs for NP publication-title: Journal of Computer and System Sciences – volume: 6 year: 2010 ident: br000145 article-title: A publication-title: ACM Transactions on Algorithms – volume: vol. 5018 start-page: 160 year: 2008 end-page: 171 ident: br000040 article-title: A linear kernel for planar feedback vertex set publication-title: Proceedings of the 3rd International Workshop on Parameterized and Exact Computation – volume: vol. 4393 start-page: 320 year: 2007 end-page: 331 ident: br000020 article-title: A cubic kernel for feedback vertex set publication-title: Proceedings 24th International Symposium on Theoretical Aspects of Computer Science – reference: S. Saurabh, 2009. Personal communication. – start-page: 7 year: 2001 end-page: 15 ident: br000010 article-title: Efficient approximation for triangulation of minimum treewidth publication-title: Proceedings of the 17th Annual Conference on Uncertainty in Artificial Intelligence – volume: 75 start-page: 423 year: 2009 end-page: 434 ident: br000030 article-title: On problems without polynomial kernels publication-title: Journal of Computer and System Sciences – volume: 56 start-page: 448 year: 2010 end-page: 479 ident: br000015 article-title: Approximation algorithms for treewidth publication-title: Algorithmica – volume: 5 start-page: 45 year: 1975 end-page: 68 ident: br000115 article-title: On the complexity of combinatorial problems publication-title: Networks – volume: 63 start-page: 65 year: 1995 end-page: 110 ident: br000135 article-title: Graph minors. XIII. The disjoint paths problem publication-title: Journal of Combinatorial Theory, Series B – volume: vol. 3162 start-page: 127 year: 2004 end-page: 137 ident: br000130 article-title: Packing edge disjoint triangles: A parameterized view publication-title: Proceedings of the 1st International Workshop on Parameterized and Exact Computation – volume: 46 start-page: 566 year: 2010 end-page: 597 ident: br000050 article-title: A cubic kernel for feedback vertex set and loop cutset publication-title: Theory of Computing Systems – volume: vol. 9 start-page: 165 year: 2011 end-page: 176 ident: br000035 article-title: Cross-composition: a new technique for kernelization lower bounds publication-title: Proceedings 28th International Symposium on Theoretical Aspects of Computer Science – volume: vol. 5917 start-page: 264 year: 2009 end-page: 275 ident: br000125 article-title: Two edge modification problems without polynomial kernels publication-title: Proceedings of the 4th International Workshop on Parameterized and Exact Computation – reference: H. Dell, D. van Melkebeek, Satisfiability allows no nontrivial sparsification unless the polynomial-time hierarchy collapses, in: L.J. Schulman (Ed.), Proceedings of the 42nd Annual Symposium on Theory of Computing, STOC 2010, 2010, pp. 251–260. – volume: vol. 5555 start-page: 378 year: 2009 end-page: 389 ident: br000075 article-title: Incompressibility through colors and IDs publication-title: Proceedings of the 36th International Colloquium on Automata, Languages and Programming, ICALP 2009, Part I – volume: 141 start-page: 109 year: 1995 end-page: 131 ident: br000085 article-title: Fixed-parameter tractability and completeness II: on completeness for publication-title: Theoretical Computer Science – volume: 24 start-page: 873 year: 1995 end-page: 921 ident: br000080 article-title: Fixed-parameter tractability and completeness I: basic results publication-title: SIAM Journal on Computing – volume: vol. 09001 start-page: 421 year: 2009 end-page: 432 ident: br000095 article-title: Kernel(s) for problems with no kernel: on out-trees with many leaves (extended abstract) publication-title: Proceedings 26th International Symposium on Theoretical Aspects of Computer Science – volume: 136 start-page: 183 year: 2004 end-page: 196 ident: br000055 article-title: On treewidth approximations publication-title: Discrete Applied Mathematics – volume: vol. 2573 start-page: 282 year: 2002 end-page: 295 ident: br000120 article-title: New algorithms for publication-title: Proceedings of the 28th International Workshop on Graph-Theoretic Concepts in Computer Science – volume: vol. 5917 start-page: 17 year: 2009 end-page: 37 ident: br000025 article-title: Kernelization: New upper and lower bound techniques publication-title: Proceedings of the 4th International Workshop on Parameterized and Exact Computation – volume: 38 start-page: 31 year: 2007 end-page: 45 ident: br000110 article-title: Invitation to data reduction and problem kernelization publication-title: ACM SIGACT News – volume: 48 year: 2011 ident: br000065 article-title: Lower bounds for kernelizations and other preprocessing procedures publication-title: Theory of Computing Systems – start-page: 7 year: 2001 ident: 10.1016/j.tcs.2011.04.039_br000010 article-title: Efficient approximation for triangulation of minimum treewidth – volume: vol. 9 start-page: 165 year: 2011 ident: 10.1016/j.tcs.2011.04.039_br000035 article-title: Cross-composition: a new technique for kernelization lower bounds – volume: vol. 4169 start-page: 192 year: 2006 ident: 10.1016/j.tcs.2011.04.039_br000060 article-title: The undirected feedback vertex set problem has a poly(k) kernel – ident: 10.1016/j.tcs.2011.04.039_br000140 – volume: vol. 5018 start-page: 160 year: 2008 ident: 10.1016/j.tcs.2011.04.039_br000040 article-title: A linear kernel for planar feedback vertex set – volume: 48 issue: 4 year: 2011 ident: 10.1016/j.tcs.2011.04.039_br000065 article-title: Lower bounds for kernelizations and other preprocessing procedures publication-title: Theory of Computing Systems doi: 10.1007/s00224-010-9270-y – volume: 63 start-page: 65 year: 1995 ident: 10.1016/j.tcs.2011.04.039_br000135 article-title: Graph minors. XIII. The disjoint paths problem publication-title: Journal of Combinatorial Theory, Series B doi: 10.1006/jctb.1995.1006 – volume: vol. 3162 start-page: 127 year: 2004 ident: 10.1016/j.tcs.2011.04.039_br000130 article-title: Packing edge disjoint triangles: A parameterized view – volume: 136 start-page: 183 year: 2004 ident: 10.1016/j.tcs.2011.04.039_br000055 article-title: On treewidth approximations publication-title: Discrete Applied Mathematics doi: 10.1016/S0166-218X(03)00440-2 – volume: vol. 5917 start-page: 17 year: 2009 ident: 10.1016/j.tcs.2011.04.039_br000025 article-title: Kernelization: New upper and lower bound techniques – year: 1999 ident: 10.1016/j.tcs.2011.04.039_br000090 – volume: vol. 5917 start-page: 264 year: 2009 ident: 10.1016/j.tcs.2011.04.039_br000125 article-title: Two edge modification problems without polynomial kernels – volume: 24 start-page: 873 year: 1995 ident: 10.1016/j.tcs.2011.04.039_br000080 article-title: Fixed-parameter tractability and completeness I: basic results publication-title: SIAM Journal on Computing doi: 10.1137/S0097539792228228 – volume: vol. 4393 start-page: 320 year: 2007 ident: 10.1016/j.tcs.2011.04.039_br000020 article-title: A cubic kernel for feedback vertex set – volume: 56 start-page: 448 year: 2010 ident: 10.1016/j.tcs.2011.04.039_br000015 article-title: Approximation algorithms for treewidth publication-title: Algorithmica doi: 10.1007/s00453-008-9180-4 – volume: 77 start-page: 91 year: 2011 ident: 10.1016/j.tcs.2011.04.039_br000100 article-title: Infeasibility of instance compression and succinct PCPs for NP publication-title: Journal of Computer and System Sciences doi: 10.1016/j.jcss.2010.06.007 – volume: vol. 5555 start-page: 378 year: 2009 ident: 10.1016/j.tcs.2011.04.039_br000075 article-title: Incompressibility through colors and IDs – volume: 6 issue: 2 year: 2010 ident: 10.1016/j.tcs.2011.04.039_br000145 article-title: A 4k2 kernel for feedback vertex set publication-title: ACM Transactions on Algorithms doi: 10.1145/1721837.1721848 – volume: 75 start-page: 423 year: 2009 ident: 10.1016/j.tcs.2011.04.039_br000030 article-title: On problems without polynomial kernels publication-title: Journal of Computer and System Sciences doi: 10.1016/j.jcss.2009.04.001 – year: 1979 ident: 10.1016/j.tcs.2011.04.039_br000105 – volume: 46 start-page: 566 year: 2010 ident: 10.1016/j.tcs.2011.04.039_br000050 article-title: A cubic kernel for feedback vertex set and loop cutset publication-title: Theory of Computing Systems doi: 10.1007/s00224-009-9234-2 – volume: vol. 2573 start-page: 282 year: 2002 ident: 10.1016/j.tcs.2011.04.039_br000120 article-title: New algorithms for k-face cover, k-feedback vertex set, and k-disjoint cycles on plane and planar graphs – volume: vol. 5369 start-page: 294 year: 2008 ident: 10.1016/j.tcs.2011.04.039_br000045 article-title: A linear kernel for the k-disjoint cycle problem on planar graphs – volume: vol. 09001 start-page: 421 year: 2009 ident: 10.1016/j.tcs.2011.04.039_br000095 article-title: Kernel(s) for problems with no kernel: on out-trees with many leaves (extended abstract) – volume: 38 start-page: 31 year: 2007 ident: 10.1016/j.tcs.2011.04.039_br000110 article-title: Invitation to data reduction and problem kernelization publication-title: ACM SIGACT News doi: 10.1145/1233481.1233493 – ident: 10.1016/j.tcs.2011.04.039_br000070 doi: 10.1145/1806689.1806725 – volume: 18 start-page: 53 year: 2002 ident: 10.1016/j.tcs.2011.04.039_br000005 article-title: The Moore bound for irregular graphs publication-title: Graphs and Combinatorics doi: 10.1007/s003730200002 – volume: 5 start-page: 45 year: 1975 ident: 10.1016/j.tcs.2011.04.039_br000115 article-title: On the complexity of combinatorial problems publication-title: Networks doi: 10.1002/net.1975.5.1.45 – volume: 141 start-page: 109 year: 1995 ident: 10.1016/j.tcs.2011.04.039_br000085 article-title: Fixed-parameter tractability and completeness II: on completeness for W[1] publication-title: Theoretical Computer Science doi: 10.1016/0304-3975(94)00097-3 |
| SSID | ssj0000576 |
| Score | 2.445146 |
| Snippet | In this paper, we show that the problems
Disjoint Cycles and
Disjoint Paths do not have polynomial kernels, unless
N
P
⊆
c
o
N
P
/
p
o
l
y
. Thus, these... In this paper, we show that the problems Disjoint Cycles and Disjoint Paths do not have polynomial kernels, unless N P aS c o N P / p o l y . Thus, these... In this paper, we show that the problems Disjoint Cycles and Disjoint Paths do not have polynomial kernels, unless N P ⊆ c o N P / p o l y . Thus, these... |
| SourceID | hal proquest pascalfrancis crossref elsevier |
| SourceType | Open Access Repository Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 4570 |
| SubjectTerms | Algorithmics. Computability. Computer arithmetics Algorithms Applied sciences C (programming language) Combinatorics Combinatorics. Ordered structures Computer Science Computer science; control theory; systems Construction Data reduction Designs and configurations Discrete Mathematics Disjoint cycles Exact sciences and technology Fixed parameter complexity Kernelization Kernels Lower bounds Machinery Mathematics Miscellaneous Preprocessing Proving Sciences and techniques of general use Strings Theoretical computing Transformations |
| Title | Kernel bounds for disjoint cycles and disjoint paths |
| URI | https://dx.doi.org/10.1016/j.tcs.2011.04.039 https://www.proquest.com/docview/907936788 https://hal-lirmm.ccsd.cnrs.fr/lirmm-00806805 |
| Volume | 412 |
| WOSCitedRecordID | wos000294031200011&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1879-2294 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0000576 issn: 0304-3975 databaseCode: AIEXJ dateStart: 19950109 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFLbYxgMIcRlDlMuUhz1RtUpiJ3EeKzQ0oExIFNQ3y3EcrVWXVk02jX_PObZzYYMJkHiJEitOXZ_jc7XPR8hRQFmUK55hXCMDBwWWYqp0Nip0AQpGM0lNsedv0-T0lM_n6WcXzKkMnEBSlvzqKt38V1JDGxAbj87-Bbnbj0ID3APR4Qpkh-sfEf6j3pZ6NcwQL8kUW8AkzHK9KOuh-o574Ey-oG1DSOKqb6LOekcblcN8GDpF2Trv63wlDQidUV2g7obTcX-PCZjkNgVvd5LZ-81Zx4ouRjsxZ2v6oQcbSw06R_XmmRh7DgtzLanFQxlrK1Z5ko7C0MIZN3KXBWGPwWjUE6MssmgiTiXDI_-luLeRh-W4VpWrxsrGvi2OdK2K9hccFo4KS-RRxukO2QuTKAVBuDd5fzz_0KnvKLEJbvc3mlS42RR47Yd-Z8zsnOGu2gcbWQGtCouQckPZGwtm9pg8dK6HN7Es84Tc0eU-edTAenhOyu-T-5_aUr7VU8IsP3mWnzzgJ6_hHc_ykwf81LUZfjogX98dz96ejBzUxkjRNKpHQUGD3Kcqj5PQL8CH4eCm05zLSFFa8CyEBxmDa6_gfQU2tGRhDg8ZC2UBUoA-I7vlutTPiQciPWdxgcgJjEWSyYzFVEIXHWQZ2NsD4jdzJpSrQ49wKCvRbDhcCphmgdMsfCZgmgfkTdtlY4uw3PYyawgh3OKw1qEArrmt2xEQrf08Vl0_mUzFarE9PxfoV8Xcjy6DATn8iaptBzCTsfIqGxCvIbMASY3pN1nq9UUlUqxFCbYhf_FvI3xJ7nWL8BXZrbcX-jW5qy7rRbU9dGz8AxAqtPs |
| linkProvider | Elsevier |
| 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=Kernel+bounds+for+disjoint+cycles+and+disjoint+paths&rft.jtitle=Theoretical+computer+science&rft.au=Bodlaender%2C+Hans+L.&rft.au=Thomass%C3%A9%2C+St%C3%A9phan&rft.au=Yeo%2C+Anders&rft.date=2011-08-12&rft.pub=Elsevier+B.V&rft.issn=0304-3975&rft.eissn=1879-2294&rft.volume=412&rft.issue=35&rft.spage=4570&rft.epage=4578&rft_id=info:doi/10.1016%2Fj.tcs.2011.04.039&rft.externalDocID=S0304397511003483 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0304-3975&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0304-3975&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0304-3975&client=summon |