DocumentCode :
3359962
Title :
Connections between the complexity of unique satisfiability and the threshold behavior of randomized reductions
Author :
Chang, Richard ; Kadin, Jim ; Rohatgi, Pankaj
Author_Institution :
Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
fYear :
1991
fDate :
30 Jun-3 Jul 1991
Firstpage :
255
Lastpage :
269
Abstract :
The present research is motivated by new results on the complexity of the unique satisfiability problem (USAT). Some new results are obtained, using the concept of randomized reductions. The proofs use only the fact that USAT is complete for DP under randomized reductions, even though the probability bound of these reductions may be low. Furthermore, the results show that the structural complexities of USAT and DP many-one complete sets are very similar, lending support to the argument that even sets complete under `weak´ randomized reductions can capture the properties of the many-one complete sets. The authors generalize these results for the Boolean hierarchy and give upper and lower bounds on the thresholds for these classes
Keywords :
Boolean algebra; computability; computational complexity; set theory; Boolean hierarchy; lower bounds; many-one complete sets; probability bound; randomized reductions; structural complexities; threshold behavior; unique satisfiability; upper bounds; Computer science; Error probability; Polynomials; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Structure in Complexity Theory Conference, 1991., Proceedings of the Sixth Annual
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-2255-5
Type :
conf
DOI :
10.1109/SCT.1991.160268
Filename :
160268
Link To Document :
بازگشت