On limited nondeterminism and the complexity of the V-C dimension
Journal of Computer and System Sciences
On the Structure of Polynomial Time Reducibility
Journal of the ACM (JACM)
A deterministic (2 - 2/(k+ 1))n algorithm for k-SAT based on local search
Theoretical Computer Science
The Mathematical Theory of Context-Free Languages
The Mathematical Theory of Context-Free Languages
Hi-index | 0.00 |
Fix a set S ⊆ {0, 1}* of exponential size, e.g. |S ∩ {0, 1}n| ∈ Ω(αn), α 1. The S-SAT problem asks whether a propositional formula F over variables v1, . . . , vn has a satisfying assignment (v1, . . . , vn) ∈ {0, 1}n ∩ S. Our interest is in determining the complexity of S-SAT. We prove that S-SAT is NP-complete for all context-free sets S. Furthermore, we show that if S-SAT is in P for some exponential S, then SAT and all problems in NP have polynomial circuits. This strongly indicates that satisfiability with exponential families is a hard problem. However, we also give an example of an exponential set S for which the S-SAT problem is not NP-hard, provided P ≠ NP.