A Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy

We present a list of parameterized problems together with a complexity classification of whether they allow a fixed-parameter tractable reduction to SAT or not. These problems are parameterized versions of problems whose complexity lies at the second level of the Polynomial Hierarchy or higher.

Bibliographic Details
Main Authors: Ronald de Haan, Stefan Szeider
Format: Article
Language:English
Published: MDPI AG 2019-09-01
Series:Algorithms
Subjects:
Online Access:https://www.mdpi.com/1999-4893/12/9/188