Nondeterminism and NP-Completeness

  • Steven Homer
  • Alan L. Selman
Part of the Texts in Computer Science book series (TCS)


Several different additions to the basic deterministic Turing-machine model are often considered. These additions add computational power to the model and so allow us to compute certain problems more efficiently. Often these are important problems with seemingly no efficient solution in the basic model. The question then becomes whether the efficiency the additional power provides is really due to the new model or whether the added efficiency could have been attained without the additional resources.


Polynomial Time Turing Machine Vertex Cover Conjunctive Normal Form Propositional Formula 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Steven Homer
    • 1
  • Alan L. Selman
    • 2
  1. 1.Department of Computer ScienceBoston UniversityBostonUSA
  2. 2.Department of Computer Science and EngineeringUniversity at BuffaloBuffaloUSA

Personalised recommendations