Boken "P, NP, and NP-Completeness" utforsker det sentrale spørsmålet innen datavitenskap: P versus NP. Denne teorien fokuserer på NP-fullstendighet og gir en grundig innføring i både beregningsproblemer og beregningsmodeller. P versus NP-spørsmålet undersøker om det er vanskeligere å finne løsninger på problemer enn å verifisere om en løsning er korrekt. I en alternativ formulering spør man om det er mer utfordrende å avdekke bevis enn å kontrollere gyldigheten av disse bevisene. Det er bred enighet om at svaret på disse ekvivalente formuleringene er positivt, noe som uttrykkes ved å si at P er forskjellig fra NP. Selv om spørsmålet forblir uløst, gir teorien om NP-fullstendighet en indikasjon på umuligheten av å løse spesifikke problemer innen NP ved å vise at de er universelle for hele klassen. Overraskende nok eksisterer NP-fullstendige problemer, og det finnes hundrevis av naturlige beregningsproblemer fra ulike fagområder i matematikk og vitenskap som også er NP-fullstendige.
