Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space
Hans L. Bodlaender, Carla Groenland, Jesper Nederlof, Céline M. F. Swennenhuis
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)n O(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. This also answers a long standing question on the parameterized complexity of the Bandwidth problem.
- This paper contains the results reported in [17], with the exception of results on reconfiguration, and one result from [5] (the reduction in the proof of Theorem 25).
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 38e54204-5ce5-4d0c-a85d-2328d8caea7dCited by top-tier papers4
- Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph ClassesPetr A. Golovach, Giannos Stamoulis, Dimitrios M. ThilikosSODA 2023 · 3 citations
- The Primal Pathwidth SETHMichael LampisSODA 2025 · 1 citation
- A Subexponential Time Algorithm for Makespan Scheduling of Unit Jobs with Precedence ConstraintsJesper Nederlof, Céline M. F. Swennenhuis, Karol WegrzyckiSODA 2025
- k-SUM Hardness Implies Treewidth-SETHMichael LampisSODA 2026
Related papers
- Forbidden Subgraphs of Graphs with Low BandwidthMaria Chudnovsky, Daniel Lokshtanov, Eran NevoSTOC 2026
- Counting and Finding Homomorphisms is Universal for Parameterized Complexity TheoryMarc Roth, Philip WellnitzSODA 2020 · 8 citations
- A Multivariate Complexity Analysis of the Material Consumption Scheduling ProblemMatthias Bentert, Robert Bredereck, Péter Györgyi, Andrzej Kaczmarczyk et al.AAAI 2021 · 2 citations
- Flow-augmentation III: Complexity dichotomy for Boolean CSPs parameterized by the number of unsatisfied constraintsEun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus WahlströmSODA 2023 · 4 citations
- Towards Infinite PCSP: A Dichotomy for Monochromatic CliquesDemian Banakh, Alexey Barsukov, Tamio-Vesa NakajimaLICS 2026
