Ever since Valiant and Vazirani [VV86] showed that there exists a random reduction from SAT to USAT, the complexity of USAT has been cited as “USAT is complete for DP under randomized reductions.” However, the definition of the randomized reduction was never quite satisfying because the probability of a “correct” reduction can approach zero as the length of the formula increases. The discrepancy between the Valiant-Vazirani definition and the earlier Adleman-Manders [AM77] definition has been noted previously [Joh85]. This column reflects on recent results about the complexity of USAT and of DP which shed a new light on the meaning of completeness under randomized reductions. For example, it is pointed out that, under randomized reductions, USAT is complete for PSAT[log n] as well. These results also show that the non-robustness of DP creates many difficulties in defining a randomized reduction which gives a meaningful notion of completeness. 1 An Historical Account The central question in structural complexity theory is of course the P =? NP question. One way to consider this problem is to investigate the complexity of the NP-complete set SAT. In addition to studying the complexity of detecting a satisfiable Boolean formula, much research has been devoted to studying the complexity of computing the actual number of satisfying assignments. As a special case, the unique satisfiability problem is the problem of detecting if a Boolean formula has exactly one satisfying assignment. From the beginning, the study of the complexity of unique satisfiability has been tied to the class D and to randomized reductions. Papadimitriou and Yannakakis [PY84] first defined D to study the complexity of the facets of polytopes. This research was supported in part by NSF Research Grant CCR 88-23053. Current Address: Department of Computer Science, University of Maryland, Baltimore County Campus, Baltimore, MD 21228, USA.
[1]
Juris Hartmanis,et al.
The Boolean Hierarchy II: Applications
,
1989,
SIAM J. Comput..
[2]
Uwe Schöning,et al.
Complexity and Structure
,
1986,
Lecture Notes in Computer Science.
[3]
Jim Kadin.
The Polynomial Time Hierarchy Collapses if the Boolean Hierarchy Collapses
,
1988,
SIAM J. Comput..
[4]
David S. Johnson,et al.
The NP-Completeness Column: An Ongoing Guide
,
1982,
J. Algorithms.
[5]
Gerd Wechsung,et al.
Nondeterministic Turing Machines with Modified Acceptance
,
1986,
MFCS.
[6]
R. Beigel.
NP-hard Sets are P-Superterse Unless R = NP
,
1988
.
[7]
Mitsunori Ogihara,et al.
Counting Classes are at Least as Hard as the Polynomial-Time Hierarchy
,
1992,
SIAM J. Comput..
[8]
Leslie G. Valiant,et al.
NP is as easy as detecting unique solutions
,
1985,
STOC '85.
[9]
Jin-Yi Cai,et al.
The Boolean Hierarchy: Hardware over NP
,
1986,
SCT.
[10]
Richard Chang,et al.
Random Reductions in the Boolean Hierarchy are Not Robust.
,
1990
.
[11]
Seinosuke Toda.
On the computational power of PP and (+)P
,
1989,
30th Annual Symposium on Foundations of Computer Science.
[12]
Richard Chang,et al.
On the Structure of Uniquely Satisfiable Formulas
,
1990
.
[13]
Mihalis Yannakakis,et al.
The complexity of facets (and some facets of complexity)
,
1982,
STOC '82.
[14]
Andreas Blass,et al.
On the Unique Satisfiability Problem
,
1982,
Inf. Control..
[15]
Gerd Wechsung,et al.
A survey on counting classes
,
1990,
Proceedings Fifth Annual Structure in Complexity Theory Conference.
[16]
Daniel A. Spielman,et al.
PP is closed under intersection
,
1991,
STOC '91.
[17]
Carsten Lund,et al.
Algebraic methods for interactive proof systems
,
1992,
JACM.