• 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