An Approach To P=NP

  • Richard J. Lipton


Dexter Kozen is a famous theorist, who among many other wonderful things coinvented the notion of alternating Turing Machines. He also is the author of a terrific book [84]—his other books are pretty neat too—but this one is my favorite. Dexter also proved a controversial theorem decades ago about the power of diagonal methods in the separation of complexity classes. More on that later.


Complexity Class Linear Time Algorithm Circuit Complexity Boolean Circuit 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2010

Authors and Affiliations

  1. 1.Georgia Institute of TechnologyCollege of Computing School of Computer ScienceAtlantaUSA

Personalised recommendations