Name
Title | ||
|---|---|---|
Constructing NP-intermediate problems by blowing holes with parameters of various properties |
Abstract | ||
|---|---|---|
The search for natural NP-intermediate problems is one of the holy grails within computational complexity. Ladner's original diagonalization technique for generating NP-intermediate problems, blowing holes, has a serious shortcoming: it creates problems with a highly artificial structure by arbitrarily removing certain problem instances. In this article we limit this problem by generalizing Ladner's method to use parameters with various characteristics. This allows one to define more fine-grained parameters, resulting in NP-intermediate problems where we only blow holes in a controlled subset of the problem. We begin by fully characterizing the problems that admit NP-intermediate subproblems for a broad and natural class of parameterizations, and extend the result further such that structural CSP restrictions based on parameters that are hard to compute (such as tree-width) are covered, thereby generalizing a result by Grohe. For studying certain classes of problems, including CSPs parameterized by constraint languages, we consider more powerful parameterizations. First, we identify a new method for obtaining constraint languages ¿ such that CSP ( ¿ ) are NP-intermediate. The sets ¿ can have very different properties compared to previous constructions (by, for instance, Bodirsky & Grohe) and provides insights into the algebraic approach for studying the complexity of infinite-domain CSPs. Second, we prove that the propositional abduction problem parameterized by constraint languages admits NP-intermediate problems. This settles an open question posed by Nordh & Zanuttini. We provide a framework to obtain NP-intermediate problems based on diagonalization.We categorize different types of parameters that are usable in our framework.We construct NP-intermediate constraint satisfaction problems.We resolve the open question whether Boolean abduction admits intermediate problems. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1016/j.tcs.2015.03.009 | Theor. Comput. Sci. |
Keywords | DocType | Volume |
abduction problems,computational complexity,constraint satisfaction problems,np-intermediate problems | Journal | 581 |
Issue | ISSN | Citations |
C | 0304-3975 | 0 |
PageRank | References | Authors |
0.34 | 19 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Peter Jonsson | 1 | 700 | 54.04 |
| Victor Lagerkvist | 2 | 39 | 10.73 |
| Gustav Nordh | 3 | 121 | 10.40 |