Advertisement

The Isolation Technique

  • Lane A. Hemaspaandra
  • Mitsunori Ogihara
Part of the Texts in Theoretical Computer Science An EATCS Series book series (TTCS)

Abstract

Counting is cumbersome and sometimes painful. Studying NP would indeed be far simpler if all NP languages were recognized by NP machines having at most one accepting computation path, that is, if NP = UP. The question of whether NP = UP is a nagging open issue in complexity theory. There is evidence that standard proof techniques can settle this question neither affirmatively nor negatively. However, surprisingly, with the aid of randomness we will relate NP to the problem of detecting unique solutions. In particular, we can reduce, with high probability, the entire collection of accepting computation paths of an NP machine to a single path, provided that initially there is at least one accepting computation path. We call such a reduction method an isolation technique.

Keywords

Weight Function Turing Machine Isolation Technique Bibliographic Note Polynomial Hierarchy 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Lane A. Hemaspaandra
    • 1
  • Mitsunori Ogihara
    • 1
  1. 1.Department of Computer ScienceRochesterUSA

Personalised recommendations