Lune

FOCS2021Top-tier venue

Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space

Hans L. Bodlaender, Carla Groenland, Jesper Nederlof, Céline M. F. Swennenhuis

2021Year
15Citations
4Top-tier citations

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.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 38e54204-5ce5-4d0c-a85d-2328d8caea7d

Cited by top-tier papers4

Ask how each one uses it

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines