An Approach To P=NP

Chapter

Abstract

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.

Keywords

Tray Lost Chalk 

Preview

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