Parameterized problems complete for nondeterministic FPT time and logarithmic space
Let XNLP be the class of parameterized problems such that an instance of size n with parameter k can be solved nondeterministically in time f(k)nO(1) and space f(k)log(n) (for some computable function f). We give a wide variety of XNLP-complete problems, such as List Coloring and Precoloring Extens...
Gespeichert in:
| Veröffentlicht in: | Information and computation Jg. 300; S. 105195 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier Inc
01.10.2024
|
| ISSN: | 0890-5401 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Let XNLP be the class of parameterized problems such that an instance of size n with parameter k can be solved nondeterministically in time f(k)nO(1) and space f(k)log(n) (for some computable function f). We give a wide variety of XNLP-complete problems, such as List Coloring and Precoloring Extension with pathwidth as parameter, Scheduling of Jobs with Precedence Constraints, with both number of machines and partial order width as parameter, Bandwidth and variants of Weighted CNF-Satisfiability. In particular, this implies that all these problems are W[t]-hard for all t. |
|---|---|
| AbstractList | Let XNLP be the class of parameterized problems such that an instance of size n with parameter k can be solved nondeterministically in time f(k)nO(1) and space f(k)log(n) (for some computable function f). We give a wide variety of XNLP-complete problems, such as List Coloring and Precoloring Extension with pathwidth as parameter, Scheduling of Jobs with Precedence Constraints, with both number of machines and partial order width as parameter, Bandwidth and variants of Weighted CNF-Satisfiability. In particular, this implies that all these problems are W[t]-hard for all t. |
| ArticleNumber | 105195 |
| Author | Nederlof, Jesper Bodlaender, Hans L. Swennenhuis, Céline Groenland, Carla |
| Author_xml | – sequence: 1 givenname: Hans L. orcidid: 0000-0002-9297-3330 surname: Bodlaender fullname: Bodlaender, Hans L. email: h.l.bodlaender@uu.nl organization: Department of Information and Computing Sciences, Utrecht University, the Netherlands – sequence: 2 givenname: Carla orcidid: 0000-0002-9878-8750 surname: Groenland fullname: Groenland, Carla email: c.e.groenland@tudelft.nl organization: Faculty of Electrical Engineering, Mathematics and Computer Science, Technical University Delft, the Netherlands – sequence: 3 givenname: Jesper surname: Nederlof fullname: Nederlof, Jesper email: j.nederlof@uu.nl organization: Department of Information and Computing Sciences, Utrecht University, the Netherlands – sequence: 4 givenname: Céline surname: Swennenhuis fullname: Swennenhuis, Céline email: c.m.f.swennenhuis@tue.nl organization: Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, the Netherlands |
| BookMark | eNp1kE1LAzEQhnOoYFu9e8wf2DrJJmvjTYpVoWDBeg7ZyaymbHaXZBH017ulXj0N8_G8DM-Czbq-I8ZuBKwEiOr2uAq4kiDV1Gph9IzNYW2g0ArEJVvkfAQQQqtqzt72LrlII6XwQ54Pqa9bipljH4d2GvOmT3yK96eTGLqQx4B8uz_wMUTirvO87T9cCuNnnBZ5cEhX7KJxbabrv7pk79vHw-a52L0-vWwedgXKtRmLEivhS195koaMdK6R4B1otXZ14z0ian8nQZeV0tAYYRCVUU7VFWog48olg3Mupj7nRI0dUogufVsB9iTCHm1AexJhzyIm5P6M0PTXV6BkMwbqkHxIhKP1ffgf_gVgQmrM |
| Cites_doi | 10.1145/3170442 10.1007/BF02280884 10.1016/0304-3975(76)90061-X 10.1016/S0166-218X(96)00085-6 10.1007/s00453-014-9944-y 10.1137/S0895480194275825 10.1016/0166-218X(89)90031-0 10.1007/s10951-017-0519-z 10.1016/j.ic.2010.11.026 10.1109/TC.1982.1675994 10.1016/0196-6774(84)90006-3 10.1137/S0097539792228228 10.1016/S0304-3975(98)00342-9 10.1016/0890-5401(90)90027-F 10.1145/3154856 10.1007/978-1-4471-5559-1 10.1007/978-1-4612-0515-9 10.1137/0601042 10.1137/0406014 10.1016/j.tcs.2008.09.065 10.1016/j.ic.2014.12.008 10.1016/S0022-0000(03)00078-3 10.1137/0607057 10.1016/0167-6377(95)00031-9 10.1137/S0097539793258143 10.1016/0304-3975(94)00097-3 |
| ContentType | Journal Article |
| Copyright | 2024 The Author(s) |
| Copyright_xml | – notice: 2024 The Author(s) |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.ic.2024.105195 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| ExternalDocumentID | 10_1016_j_ic_2024_105195 S0890540124000609 |
| GrantInformation_xml | – fundername: Netherlands Organisation for Scientific Research grantid: 613.009.031b funderid: https://doi.org/10.13039/501100003246 – fundername: European Research Council grantid: 853234 funderid: https://doi.org/10.13039/501100000781 |
| GroupedDBID | --K --M --Z -~X .~1 0R~ 0SF 1B1 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 6I. 6TJ 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXKI AAXUO AAYFN ABAOU ABBOA ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADMUD ADVLN AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJOXV AKRWK ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG COF CS3 DM4 DU5 E3Z EBS EFBJH EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HVGLF HZ~ H~9 IHE IXB J1W KOM LG5 LX9 M41 MHUIS MO0 MVM N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSW SSZ T5K TN5 WH7 WUQ XJT XPP ZMT ZU3 ZY4 ~G- 9DU AATTM AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKYEP ANKPU APXCP CITATION EFKBS EFLBG ~HD |
| ID | FETCH-LOGICAL-c289t-3c61d3d6de29e92aaf20da0548abfddccc5d720536450f919cc494a4b6c50e9a3 |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001285201600001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0890-5401 |
| IngestDate | Sat Nov 29 01:56:36 EST 2025 Sat Sep 07 15:50:50 EDT 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| License | This is an open access article under the CC BY license. |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c289t-3c61d3d6de29e92aaf20da0548abfddccc5d720536450f919cc494a4b6c50e9a3 |
| ORCID | 0000-0002-9878-8750 0000-0002-9297-3330 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.ic.2024.105195 |
| ParticipantIDs | crossref_primary_10_1016_j_ic_2024_105195 elsevier_sciencedirect_doi_10_1016_j_ic_2024_105195 |
| PublicationCentury | 2000 |
| PublicationDate | October 2024 2024-10-00 |
| PublicationDateYYYYMMDD | 2024-10-01 |
| PublicationDate_xml | – month: 10 year: 2024 text: October 2024 |
| PublicationDecade | 2020 |
| PublicationTitle | Information and computation |
| PublicationYear | 2024 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Bakkane, Jaffke (br0040) 2022; vol. 249 Downey, Fellows (br0260) 1995; 24 Gurari, Sudborough (br0380) 1984; 5 Bodlaender, Cornelissen, van der Wegen (br0070) 2022; vol. 13453 Kaplan, Shamir (br0420) 1996; 25 Elberfeld, Jakoby, Tantau (br0310) 2010 Bodlaender, Groenland, Nederlof, Swennenhuis (br0180) 2021 Garey, Johnson (br0370) 1979 Abboud, Lewi, Williams (br0010) 2014; vol. 8737 Bodlaender, Fellows (br0110) 1995; 18 Bodlaender, Mannens, Oostveen, Pandey, van Leeuwen (br0210) 2023; vol. 285 Downey, Fellows (br0270) 1995; 141 Fellows, Fomin, Lokshtanov, Rosamond, Saurabh, Szeider, Thomassen (br0330) 2011; 209 Bodlaender, Groenland, Swennenhuis (br0200) 2021; vol. 214 Bodlaender, Groenland, Jacob (br0150) 2022; vol. 249 Pietrzak (br0470) 2003; 67 Bodlaender, Groenland, Jacob, Pilipczuk, Pilipczuk (br0170) 2022; vol. 249 Bodlaender (br0060) 2021; vol. 12911 Lokshtanov, Marx, Saurabh (br0440) 2018; 14 Bodlaender (br0050) 1990; 86 Bodlaender, Donselaar, Kwisthout (br0090) 2022; vol. 186 Bodlaender, Downey, Fellows, Hallett, Wareham (br0100) 1995; 11 Bodlaender, Groenland, Jacob, Jaffke, Lima (br0160) 2022; vol. 249 Jansen, Khazaliya, Kindermann, Liotta, Montecchiani, Simonov (br0400) 2023 Cygan, Fomin, Kowalik, Lokshtanov, Marx, Pilipczuk, Pilipczuk, Saurabh (br0240) 2015 Saxe (br0500) 1980; 1 Chen, Flum, Grohe (br0230) 2003 Bodlaender, Groenland, Jacob (br0140) 2022; vol. 244 Papadimitriou (br0460) 1976; 16 Telle, Proskurowski (br0520) 1997; 10 de Vlas (br0250) 2024; vol. 14519 Dregi, Lokshtanov (br0300) 2014; vol. 8572 Jaffke, Lima, Sharma (br0390) 2023; vol. 283 Bodlaender, Cygan, Kratsch, Nederlof (br0080) 2015; 243 Bodlaender, Möhring (br0220) 1993; 6 Fellows, Rosamond (br0350) 2020; vol. 12160 Arora, Barak (br0030) 2007 Wehar (br0530) 2016 Jansen, Scheffler (br0410) 1997; 75 Stockmeyer (br0510) 1976; 3 Pilipczuk, Wrochna (br0480) 2018; 9 Elberfeld, Stockhusen, Tantau (br0320) 2015; 71 Bodlaender, Fellows, Hallett (br0120) 1994 Downey, Fellows (br0290) 2013 Downey, Fellows (br0280) 1999 Monien (br0450) 1986; 7 Fellows, Hermelin, Rosamond, Vialette (br0340) 2009; 410 Prot, Bellenguez-Morineau (br0490) 2018; 21 Bodlaender, Fellows, Hallett, Wareham, Warnow (br0130) 2000; 244 Bodlaender, Groenland, Pilipczuk (br0190) 2023; vol. 261 Fishburn, Finkel (br0360) 1982; C-31 Arnborg, Proskurowski (br0020) 1989; 23 Kintali, Munteanu (br0430) 2012; 126 Papadimitriou (10.1016/j.ic.2024.105195_br0460) 1976; 16 Telle (10.1016/j.ic.2024.105195_br0520) 1997; 10 Bodlaender (10.1016/j.ic.2024.105195_br0110) 1995; 18 Garey (10.1016/j.ic.2024.105195_br0370) 1979 Cygan (10.1016/j.ic.2024.105195_br0240) 2015 Downey (10.1016/j.ic.2024.105195_br0290) 2013 Arora (10.1016/j.ic.2024.105195_br0030) 2007 Jansen (10.1016/j.ic.2024.105195_br0410) 1997; 75 Stockmeyer (10.1016/j.ic.2024.105195_br0510) 1976; 3 Bodlaender (10.1016/j.ic.2024.105195_br0070) 2022; vol. 13453 Abboud (10.1016/j.ic.2024.105195_br0010) 2014; vol. 8737 Elberfeld (10.1016/j.ic.2024.105195_br0310) 2010 Downey (10.1016/j.ic.2024.105195_br0270) 1995; 141 Fellows (10.1016/j.ic.2024.105195_br0350) 2020; vol. 12160 Wehar (10.1016/j.ic.2024.105195_br0530) 2016 Fellows (10.1016/j.ic.2024.105195_br0330) 2011; 209 Chen (10.1016/j.ic.2024.105195_br0230) 2003 Downey (10.1016/j.ic.2024.105195_br0260) 1995; 24 Dregi (10.1016/j.ic.2024.105195_br0300) 2014; vol. 8572 Bodlaender (10.1016/j.ic.2024.105195_br0160) 2022; vol. 249 Arnborg (10.1016/j.ic.2024.105195_br0020) 1989; 23 Elberfeld (10.1016/j.ic.2024.105195_br0320) 2015; 71 Bodlaender (10.1016/j.ic.2024.105195_br0140) 2022; vol. 244 Pietrzak (10.1016/j.ic.2024.105195_br0470) 2003; 67 Jansen (10.1016/j.ic.2024.105195_br0400) 2023 Prot (10.1016/j.ic.2024.105195_br0490) 2018; 21 Gurari (10.1016/j.ic.2024.105195_br0380) 1984; 5 Downey (10.1016/j.ic.2024.105195_br0280) 1999 de Vlas (10.1016/j.ic.2024.105195_br0250) 2024; vol. 14519 Bodlaender (10.1016/j.ic.2024.105195_br0060) 2021; vol. 12911 Bodlaender (10.1016/j.ic.2024.105195_br0100) 1995; 11 Bodlaender (10.1016/j.ic.2024.105195_br0220) 1993; 6 Bodlaender (10.1016/j.ic.2024.105195_br0180) 2021 Bodlaender (10.1016/j.ic.2024.105195_br0050) 1990; 86 Bodlaender (10.1016/j.ic.2024.105195_br0210) 2023; vol. 285 Bodlaender (10.1016/j.ic.2024.105195_br0080) 2015; 243 Bakkane (10.1016/j.ic.2024.105195_br0040) 2022; vol. 249 Monien (10.1016/j.ic.2024.105195_br0450) 1986; 7 Fellows (10.1016/j.ic.2024.105195_br0340) 2009; 410 Pilipczuk (10.1016/j.ic.2024.105195_br0480) 2018; 9 Saxe (10.1016/j.ic.2024.105195_br0500) 1980; 1 Bodlaender (10.1016/j.ic.2024.105195_br0190) 2023; vol. 261 Kaplan (10.1016/j.ic.2024.105195_br0420) 1996; 25 Bodlaender (10.1016/j.ic.2024.105195_br0170) 2022; vol. 249 Fishburn (10.1016/j.ic.2024.105195_br0360) 1982; C-31 Lokshtanov (10.1016/j.ic.2024.105195_br0440) 2018; 14 Bodlaender (10.1016/j.ic.2024.105195_br0090) 2022; vol. 186 Bodlaender (10.1016/j.ic.2024.105195_br0120) 1994 Bodlaender (10.1016/j.ic.2024.105195_br0130) 2000; 244 Bodlaender (10.1016/j.ic.2024.105195_br0200) 2021; vol. 214 Kintali (10.1016/j.ic.2024.105195_br0430) 2012; 126 Jaffke (10.1016/j.ic.2024.105195_br0390) 2023; vol. 283 Bodlaender (10.1016/j.ic.2024.105195_br0150) 2022; vol. 249 |
| References_xml | – volume: 1 start-page: 363 year: 1980 end-page: 369 ident: br0500 article-title: Dynamic programming algorithms for recognizing small-bandwidth graphs in polynomial time publication-title: SIAM J. Algebraic Discrete Methods – volume: 9 year: 2018 ident: br0480 article-title: On space efficiency of algorithms working on structural decompositions of graphs publication-title: ACM Trans. Comput. Theory – year: 2015 ident: br0240 article-title: Parameterized Algorithms – year: 2007 ident: br0030 article-title: Computational Complexity: A Modern Approach – volume: 24 start-page: 873 year: 1995 end-page: 921 ident: br0260 article-title: Fixed-parameter tractability and completeness I: basic results publication-title: SIAM J. Comput. – start-page: 449 year: 1994 end-page: 458 ident: br0120 article-title: Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy publication-title: 26th Annual ACM Symposium on Theory of Computing – year: 2013 ident: br0290 article-title: Fundamentals of Parameterized Complexity publication-title: Texts in Computer Science – volume: vol. 249 year: 2022 ident: br0160 article-title: XNLP-completeness for parameterized problems on graphs with a linear structure publication-title: 17th International Symposium on Parameterized and Exact Computation – volume: 410 start-page: 53 year: 2009 end-page: 61 ident: br0340 article-title: On the parameterized complexity of multiple-interval graph problems publication-title: Theor. Comput. Sci. – volume: 14 year: 2018 ident: br0440 article-title: Known algorithms on graphs of bounded treewidth are probably optimal publication-title: ACM Trans. Algorithms – volume: 18 start-page: 93 year: 1995 end-page: 97 ident: br0110 article-title: -hardness of precedence constrained publication-title: Oper. Res. Lett. – volume: vol. 261 year: 2023 ident: br0190 article-title: Parameterized complexity of binary CSP: vertex cover, treedepth, and related parameters publication-title: 50th International Colloquium on Automata, Languages, and Programming – year: 2016 ident: br0530 article-title: On the Complexity of Intersection Non-Emptiness Problems – volume: C-31 start-page: 288 year: 1982 end-page: 295 ident: br0360 article-title: Quotient networks publication-title: IEEE Trans. Comput. – volume: vol. 249 year: 2022 ident: br0040 article-title: On the hardness of generalized domination problems parameterized by mim-width publication-title: 17th International Symposium on Parameterized and Exact Computation – volume: vol. 12911 start-page: 15 year: 2021 end-page: 27 ident: br0060 article-title: Parameterized complexity of bandwidth of caterpillars and weighted path emulation publication-title: 47th International Workshop on Graph-Theoretic Concepts in Computer Science – volume: 10 start-page: 529 year: 1997 end-page: 550 ident: br0520 article-title: Algorithms for vertex partitioning problems on partial k-trees publication-title: SIAM J. Discrete Math. – volume: vol. 186 start-page: 145 year: 2022 end-page: 156 ident: br0090 article-title: Parameterized completeness results for Bayesian inference publication-title: International Conference on Probabilistic Graphical Models – volume: vol. 214 year: 2021 ident: br0200 article-title: Parameterized complexities of dominating and independent set reconfiguration publication-title: 16th International Symposium on Parameterized and Exact Computation – volume: vol. 13453 start-page: 84 year: 2022 end-page: 97 ident: br0070 article-title: Problems hard for treewidth but easy for stable gonality publication-title: 48th International Workshop on Graph-Theoretic Concepts in Computer Science – start-page: 143 year: 2010 end-page: 152 ident: br0310 article-title: Logspace versions of the theorems of Bodlaender and Courcelle publication-title: 51th Annual IEEE Symposium on Foundations of Computer Science – start-page: 13 year: 2003 end-page: 29 ident: br0230 article-title: Bounded nondeterminism and alternation in parameterized complexity theory publication-title: 18th Annual IEEE Conference on Computational Complexity, Complexity 2003 – volume: 67 start-page: 757 year: 2003 end-page: 771 ident: br0470 article-title: On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems publication-title: J. Comput. Syst. Sci. – volume: 71 start-page: 661 year: 2015 end-page: 701 ident: br0320 article-title: On the space and circuit complexity of parameterized problems: classes and completeness publication-title: Algorithmica – volume: 21 start-page: 3 year: 2018 end-page: 16 ident: br0490 article-title: A survey on how the structure of precedence constraints may change the complexity class of scheduling problems publication-title: J. Sched. – volume: 141 start-page: 109 year: 1995 end-page: 131 ident: br0270 article-title: Fixed-parameter tractability and completeness II: on completeness for W[1] publication-title: Theor. Comput. Sci. – volume: 5 start-page: 531 year: 1984 end-page: 546 ident: br0380 article-title: Improved dynamic programming algorithms for bandwidth minimization and the MinCut linear arrangement problem publication-title: J. Algorithms – volume: 126 year: 2012 ident: br0430 article-title: Computing bounded path decompositions in logspace publication-title: Electron. Colloq. Comput. Complex. – volume: 243 start-page: 86 year: 2015 end-page: 111 ident: br0080 article-title: Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth publication-title: Inf. Comput. – year: 1979 ident: br0370 article-title: Computers and Intractability: A Guide to the Theory of NP-Completeness – volume: 3 start-page: 1 year: 1976 end-page: 22 ident: br0510 article-title: The polynomial-time hierarchy publication-title: Theor. Comput. Sci. – volume: 23 start-page: 11 year: 1989 end-page: 24 ident: br0020 article-title: Linear time algorithms for NP-hard problems restricted to partial publication-title: Discrete Appl. Math. – volume: vol. 14519 start-page: 169 year: 2024 end-page: 182 ident: br0250 article-title: On the parameterized complexity of the perfect phylogeny problem publication-title: 49th International Conference on Current Trends in Theory and Practice of Computer Science – volume: 25 start-page: 540 year: 1996 end-page: 561 ident: br0420 article-title: Pathwidth, bandwidth, and completion problems to proper interval graphs with small cliques publication-title: SIAM J. Comput. – volume: vol. 283 year: 2023 ident: br0390 article-title: Structural parameterizations of publication-title: 34th International Symposium on Algorithms and Computation, ISAAC 2023 – year: 1999 ident: br0280 article-title: Parameterized Complexity publication-title: Monographs in Computer Science – volume: vol. 249 year: 2022 ident: br0150 article-title: On the parameterized complexity of computing tree-partitions publication-title: 17th International Symposium on Parameterized and Exact Computation – volume: 6 start-page: 181 year: 1993 end-page: 188 ident: br0220 article-title: The pathwidth and treewidth of cographs publication-title: SIAM J. Discrete Math. – volume: vol. 8572 start-page: 405 year: 2014 end-page: 416 ident: br0300 article-title: Parameterized complexity of bandwidth on trees publication-title: 41st International Colloquium on Automata, Languages, and Programming – volume: 7 start-page: 505 year: 1986 end-page: 512 ident: br0450 article-title: The bandwidth minimization problem for caterpillars with hair length 3 is NP-complete publication-title: SIAM J. Algebraic Discrete Methods – start-page: 193 year: 2021 end-page: 204 ident: br0180 article-title: Parameterized problems complete for nondeterministic FPT time and logarithmic space publication-title: 62nd IEEE Annual Symposium on Foundations of Computer Science – volume: 209 start-page: 143 year: 2011 end-page: 153 ident: br0330 article-title: On the complexity of some colorful problems parameterized by treewidth publication-title: Inf. Comput. – volume: vol. 8737 start-page: 1 year: 2014 end-page: 12 ident: br0010 article-title: Losing weight by gaining edges publication-title: 22th Annual European Symposium on Algorithms – volume: vol. 249 year: 2022 ident: br0170 article-title: On the complexity of problems on tree-structured graphs publication-title: 17th International Symposium on Parameterized and Exact Computation – volume: 11 start-page: 49 year: 1995 end-page: 57 ident: br0100 article-title: Parameterized complexity analysis in computational biology publication-title: Comput. Appl. Biosci. – volume: vol. 244 year: 2022 ident: br0140 article-title: List colouring trees in logarithmic space publication-title: 30th Annual European Symposium on Algorithms – start-page: 203 year: 2023 end-page: 217 ident: br0400 article-title: Upward and orthogonal planarity are w[1]-hard parameterized by treewidth publication-title: Graph Drawing and Network Visualization – volume: 244 start-page: 167 year: 2000 end-page: 188 ident: br0130 article-title: The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs publication-title: Theor. Comput. Sci. – volume: vol. 12160 start-page: 7 year: 2020 end-page: 17 ident: br0350 article-title: Collaborating with Hans: some remaining wonderments publication-title: Treewidth, Kernels, and Algorithms – Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday – volume: 75 start-page: 135 year: 1997 end-page: 155 ident: br0410 article-title: Generalized coloring for tree-like graphs publication-title: Discrete Appl. Math. – volume: 16 start-page: 263 year: 1976 end-page: 270 ident: br0460 article-title: The NP-completeness of the bandwidth minimization problem publication-title: Computing – volume: 86 start-page: 87 year: 1990 end-page: 106 ident: br0050 article-title: The complexity of finding uniform emulations on paths and ring networks publication-title: Inf. Comput. – volume: vol. 285 year: 2023 ident: br0210 article-title: The parameterised complexity of integer multicommodity flow publication-title: 18th International Symposium on Parameterized and Exact Computation – start-page: 449 year: 1994 ident: 10.1016/j.ic.2024.105195_br0120 article-title: Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy – volume: 14 issue: 2 year: 2018 ident: 10.1016/j.ic.2024.105195_br0440 article-title: Known algorithms on graphs of bounded treewidth are probably optimal publication-title: ACM Trans. Algorithms doi: 10.1145/3170442 – volume: vol. 244 year: 2022 ident: 10.1016/j.ic.2024.105195_br0140 article-title: List colouring trees in logarithmic space – volume: 16 start-page: 263 year: 1976 ident: 10.1016/j.ic.2024.105195_br0460 article-title: The NP-completeness of the bandwidth minimization problem publication-title: Computing doi: 10.1007/BF02280884 – volume: 3 start-page: 1 issue: 1 year: 1976 ident: 10.1016/j.ic.2024.105195_br0510 article-title: The polynomial-time hierarchy publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(76)90061-X – volume: 75 start-page: 135 issue: 2 year: 1997 ident: 10.1016/j.ic.2024.105195_br0410 article-title: Generalized coloring for tree-like graphs publication-title: Discrete Appl. Math. doi: 10.1016/S0166-218X(96)00085-6 – volume: vol. 249 year: 2022 ident: 10.1016/j.ic.2024.105195_br0040 article-title: On the hardness of generalized domination problems parameterized by mim-width – volume: vol. 261 year: 2023 ident: 10.1016/j.ic.2024.105195_br0190 article-title: Parameterized complexity of binary CSP: vertex cover, treedepth, and related parameters – start-page: 13 year: 2003 ident: 10.1016/j.ic.2024.105195_br0230 article-title: Bounded nondeterminism and alternation in parameterized complexity theory – volume: vol. 12160 start-page: 7 year: 2020 ident: 10.1016/j.ic.2024.105195_br0350 article-title: Collaborating with Hans: some remaining wonderments – volume: 71 start-page: 661 issue: 3 year: 2015 ident: 10.1016/j.ic.2024.105195_br0320 article-title: On the space and circuit complexity of parameterized problems: classes and completeness publication-title: Algorithmica doi: 10.1007/s00453-014-9944-y – volume: vol. 249 year: 2022 ident: 10.1016/j.ic.2024.105195_br0150 article-title: On the parameterized complexity of computing tree-partitions – volume: vol. 285 year: 2023 ident: 10.1016/j.ic.2024.105195_br0210 article-title: The parameterised complexity of integer multicommodity flow – year: 1979 ident: 10.1016/j.ic.2024.105195_br0370 – volume: 10 start-page: 529 issue: 4 year: 1997 ident: 10.1016/j.ic.2024.105195_br0520 article-title: Algorithms for vertex partitioning problems on partial k-trees publication-title: SIAM J. Discrete Math. doi: 10.1137/S0895480194275825 – volume: 23 start-page: 11 issue: 1 year: 1989 ident: 10.1016/j.ic.2024.105195_br0020 article-title: Linear time algorithms for NP-hard problems restricted to partial k-trees publication-title: Discrete Appl. Math. doi: 10.1016/0166-218X(89)90031-0 – volume: 11 start-page: 49 issue: 1 year: 1995 ident: 10.1016/j.ic.2024.105195_br0100 article-title: Parameterized complexity analysis in computational biology publication-title: Comput. Appl. Biosci. – volume: vol. 14519 start-page: 169 year: 2024 ident: 10.1016/j.ic.2024.105195_br0250 article-title: On the parameterized complexity of the perfect phylogeny problem – volume: 21 start-page: 3 issue: 1 year: 2018 ident: 10.1016/j.ic.2024.105195_br0490 article-title: A survey on how the structure of precedence constraints may change the complexity class of scheduling problems publication-title: J. Sched. doi: 10.1007/s10951-017-0519-z – volume: vol. 249 year: 2022 ident: 10.1016/j.ic.2024.105195_br0170 article-title: On the complexity of problems on tree-structured graphs – volume: 209 start-page: 143 issue: 2 year: 2011 ident: 10.1016/j.ic.2024.105195_br0330 article-title: On the complexity of some colorful problems parameterized by treewidth publication-title: Inf. Comput. doi: 10.1016/j.ic.2010.11.026 – start-page: 203 year: 2023 ident: 10.1016/j.ic.2024.105195_br0400 article-title: Upward and orthogonal planarity are w[1]-hard parameterized by treewidth – volume: C-31 start-page: 288 year: 1982 ident: 10.1016/j.ic.2024.105195_br0360 article-title: Quotient networks publication-title: IEEE Trans. Comput. doi: 10.1109/TC.1982.1675994 – year: 2016 ident: 10.1016/j.ic.2024.105195_br0530 – volume: 5 start-page: 531 year: 1984 ident: 10.1016/j.ic.2024.105195_br0380 article-title: Improved dynamic programming algorithms for bandwidth minimization and the MinCut linear arrangement problem publication-title: J. Algorithms doi: 10.1016/0196-6774(84)90006-3 – volume: vol. 8572 start-page: 405 year: 2014 ident: 10.1016/j.ic.2024.105195_br0300 article-title: Parameterized complexity of bandwidth on trees – year: 2007 ident: 10.1016/j.ic.2024.105195_br0030 – volume: 24 start-page: 873 issue: 4 year: 1995 ident: 10.1016/j.ic.2024.105195_br0260 article-title: Fixed-parameter tractability and completeness I: basic results publication-title: SIAM J. Comput. doi: 10.1137/S0097539792228228 – volume: 126 year: 2012 ident: 10.1016/j.ic.2024.105195_br0430 article-title: Computing bounded path decompositions in logspace publication-title: Electron. Colloq. Comput. Complex. – volume: 244 start-page: 167 issue: 1–2 year: 2000 ident: 10.1016/j.ic.2024.105195_br0130 article-title: The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(98)00342-9 – volume: vol. 214 year: 2021 ident: 10.1016/j.ic.2024.105195_br0200 article-title: Parameterized complexities of dominating and independent set reconfiguration – volume: 86 start-page: 87 issue: 1 year: 1990 ident: 10.1016/j.ic.2024.105195_br0050 article-title: The complexity of finding uniform emulations on paths and ring networks publication-title: Inf. Comput. doi: 10.1016/0890-5401(90)90027-F – volume: 9 issue: 4 year: 2018 ident: 10.1016/j.ic.2024.105195_br0480 article-title: On space efficiency of algorithms working on structural decompositions of graphs publication-title: ACM Trans. Comput. Theory doi: 10.1145/3154856 – year: 2013 ident: 10.1016/j.ic.2024.105195_br0290 article-title: Fundamentals of Parameterized Complexity doi: 10.1007/978-1-4471-5559-1 – volume: vol. 249 year: 2022 ident: 10.1016/j.ic.2024.105195_br0160 article-title: XNLP-completeness for parameterized problems on graphs with a linear structure – year: 1999 ident: 10.1016/j.ic.2024.105195_br0280 article-title: Parameterized Complexity doi: 10.1007/978-1-4612-0515-9 – volume: 1 start-page: 363 year: 1980 ident: 10.1016/j.ic.2024.105195_br0500 article-title: Dynamic programming algorithms for recognizing small-bandwidth graphs in polynomial time publication-title: SIAM J. Algebraic Discrete Methods doi: 10.1137/0601042 – volume: vol. 186 start-page: 145 year: 2022 ident: 10.1016/j.ic.2024.105195_br0090 article-title: Parameterized completeness results for Bayesian inference – volume: 6 start-page: 181 issue: 2 year: 1993 ident: 10.1016/j.ic.2024.105195_br0220 article-title: The pathwidth and treewidth of cographs publication-title: SIAM J. Discrete Math. doi: 10.1137/0406014 – volume: 410 start-page: 53 issue: 1 year: 2009 ident: 10.1016/j.ic.2024.105195_br0340 article-title: On the parameterized complexity of multiple-interval graph problems publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2008.09.065 – volume: vol. 8737 start-page: 1 year: 2014 ident: 10.1016/j.ic.2024.105195_br0010 article-title: Losing weight by gaining edges – volume: vol. 12911 start-page: 15 year: 2021 ident: 10.1016/j.ic.2024.105195_br0060 article-title: Parameterized complexity of bandwidth of caterpillars and weighted path emulation – volume: 243 start-page: 86 year: 2015 ident: 10.1016/j.ic.2024.105195_br0080 article-title: Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth publication-title: Inf. Comput. doi: 10.1016/j.ic.2014.12.008 – start-page: 143 year: 2010 ident: 10.1016/j.ic.2024.105195_br0310 article-title: Logspace versions of the theorems of Bodlaender and Courcelle – volume: vol. 13453 start-page: 84 year: 2022 ident: 10.1016/j.ic.2024.105195_br0070 article-title: Problems hard for treewidth but easy for stable gonality – start-page: 193 year: 2021 ident: 10.1016/j.ic.2024.105195_br0180 article-title: Parameterized problems complete for nondeterministic FPT time and logarithmic space – year: 2015 ident: 10.1016/j.ic.2024.105195_br0240 – volume: 67 start-page: 757 issue: 4 year: 2003 ident: 10.1016/j.ic.2024.105195_br0470 article-title: On the parameterized complexity of the fixed alphabet shortest common supersequence and longest common subsequence problems publication-title: J. Comput. Syst. Sci. doi: 10.1016/S0022-0000(03)00078-3 – volume: vol. 283 year: 2023 ident: 10.1016/j.ic.2024.105195_br0390 article-title: Structural parameterizations of b-coloring – volume: 7 start-page: 505 year: 1986 ident: 10.1016/j.ic.2024.105195_br0450 article-title: The bandwidth minimization problem for caterpillars with hair length 3 is NP-complete publication-title: SIAM J. Algebraic Discrete Methods doi: 10.1137/0607057 – volume: 18 start-page: 93 issue: 2 year: 1995 ident: 10.1016/j.ic.2024.105195_br0110 article-title: W[2]-hardness of precedence constrained K-processor scheduling publication-title: Oper. Res. Lett. doi: 10.1016/0167-6377(95)00031-9 – volume: 25 start-page: 540 issue: 3 year: 1996 ident: 10.1016/j.ic.2024.105195_br0420 article-title: Pathwidth, bandwidth, and completion problems to proper interval graphs with small cliques publication-title: SIAM J. Comput. doi: 10.1137/S0097539793258143 – volume: 141 start-page: 109 issue: 1&2 year: 1995 ident: 10.1016/j.ic.2024.105195_br0270 article-title: Fixed-parameter tractability and completeness II: on completeness for W[1] publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(94)00097-3 |
| SSID | ssj0011546 |
| Score | 2.4338584 |
| Snippet | Let XNLP be the class of parameterized problems such that an instance of size n with parameter k can be solved nondeterministically in time f(k)nO(1) and space... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 105195 |
| Title | Parameterized problems complete for nondeterministic FPT time and logarithmic space |
| URI | https://dx.doi.org/10.1016/j.ic.2024.105195 |
| Volume | 300 |
| WOSCitedRecordID | wos001285201600001&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 issn: 0890-5401 databaseCode: AIEXJ dateStart: 20211207 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.sciencedirect.com omitProxy: false ssIdentifier: ssj0011546 providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1baxQxFA7S-qAPXqpitZU8-CJlytwzeaylRaWUha6yb0PmJEO3LLOlO73gr_ecXHZ3qoIKvgxLINkh55uTk5wv52PsfUbqN43WESRSRnlTyqhKRROJFDC4KAqhrZzPtxNxelpNJnLkM_gLKycguq66u5OX_9XU2IbGpquzf2Hu5aDYgL_R6PhEs-Pzjww_UsS3ohLM3w3VALCCMQvHHcdmyyvEPb_2PBhbqHnveDS2MvM2l4DuEHfQ_TnR5tHhwIAt5O8v9YHGDFYWYpDP_zjXM2Ul6uzChovh3sn-iugzN12gUx4S2XZ1Ho09ZvPWkW6ogvny-OeWloPu_NoXRHDZ_VmgBPhDizRf0t_8SVq4TTMge8aVjImokax758wWMv3Z07tDh4v9KdWhTHPSK06cXOe9-tlnNCyNSmzZuKTLnpupKCS6wM2Dz0eTL8ukU-LvdYXX8FltRwcc_s-vo5i1yGT8jD3xWwp-4KDwnD0w3RZ7GuQ6uPfeW-zxWu3JF-xsgBMecMIDTjiamd_HCUeccMIJRwPyNZxwi5OX7Ovx0fjwU-QVNiLAjXYfZVAmOtOlNqk0MlWqTWOtcLYq1bRaA0ChRYp-usyLuJWJBMhlrvCThiI2UmWv2Aa-iXnNuIYmaTOjFJRlXoLBr15jNJkIUCKuRLvNPoQZqy9dIZU6MAwv6inUNLu1m91tloUprX0g6AK8Gq3_215v_qnXW_ZoBdAdttFfXZtd9hBu-uni6p2HyA-ocYOY |
| 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=Parameterized+problems+complete+for+nondeterministic+FPT+time+and+logarithmic+space&rft.jtitle=Information+and+computation&rft.au=Bodlaender%2C+Hans+L.&rft.au=Groenland%2C+Carla&rft.au=Nederlof%2C+Jesper&rft.au=Swennenhuis%2C+C%C3%A9line&rft.date=2024-10-01&rft.pub=Elsevier+Inc&rft.issn=0890-5401&rft.volume=300&rft_id=info:doi/10.1016%2Fj.ic.2024.105195&rft.externalDocID=S0890540124000609 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0890-5401&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0890-5401&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0890-5401&client=summon |