The Complexity of Decision Versus Search
Name
MIT-LCS-TM-444.pdf
Size
2.26 MB
Format
Adobe PDF
Checksum (MD5)
57f1a446fb87e808b76eb0e9fc507aa0
Author(s)
Bellare, Mihir
Goldwasser, Shafi
Date Issued
April 1991
Series/Report no.
MIT-LCS-TM-444
Abstract
A basic question about NP is whether or not search (the problem of finding a witness) reduces in polynomial time to decision ( the problem deciding whether there exists a witness). The fact that search does reduce to decision for SAT and other NP-complete problems (self-reducibility) is among the most well known facts in the theory of computation. But the general question of whether search reduces to decision for every language in NP remains open. We indicate that the answer is negative: under a natural complexity assumption (that deterministic and non deterministic double exponential time are unequal) we construct a language in NP for which search does not reduce to decision.
Persistent DSpace Link
