NP Is as Easy as Detecting Unique Solutions

Abstract

For all known NP-complete problems the number of solutions in instances having solutions may vary over an exponentially large range. Furthermore, most of the well-known ones, such as satisfiability, are parsimoniously interreducible, and these can have any number of solutions between zero and an exponentially large number. It is natural to ask whether the inherent intractability of NP-complete problems is caused by this wide variation. In this paper we give a negative answer to this using randomized reductions. We show that the problems of distinguishing between instances of SAT having zero or one solution, or finding solutions to instances of SAT having unique solutions, are as hard as SAT itself. Several corollaries about the difficulty of specific problems follow. For example if the parity of the number of solutions of SAT can be computed in RP then NP = RP. Some further problems can be shown to be hard for NP or D<supscrpt>P</supscrpt> via randomized reductions.

DOI: 10.1145/22145.22196

Extracted Key Phrases

02040'87'90'93'96'99'02'05'08'11'14'17
Citations per Year

662 Citations

Semantic Scholar estimates that this publication has 662 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Valiant1985NPIA, title={NP Is as Easy as Detecting Unique Solutions}, author={Leslie G. Valiant and Vijay V. Vazirani}, journal={Theor. Comput. Sci.}, year={1985}, volume={47}, pages={85-93} }