Lune

FOCS2021顶会

Parameterized Problems Complete for Nondeterministic FPT time and Logarithmic Space

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

2021年份
15被引次数
4顶会引用

摘要

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).

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了每一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。

可以从这些问题问起

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始,无需绑卡

引用它的顶会 Paper4

问问它们各自怎么用它

相关 Paper

黄昏的海面,两侧是细线勾勒的悬崖