Il focus di questo libro è la questione P contro NP e la teoria della NP-completezza. Fornisce inoltre adeguati preliminari riguardanti problemi computazionali e modelli computazionali. La domanda P contro NP chiede se trovare soluzioni sia più difficile o meno che verificare la correttezza delle soluzioni. Una formulazione alternativa si chiede se scoprire le prove sia più difficile che verificarne la correttezza. È opinione diffusa che la risposta a queste formulazioni equivalenti sia positiva e questo viene catturato dicendo che P è diverso da NP. Sebbene la questione P contro NP rimanga irrisolta, la teoria della NP-completezza offre prove dell'intrattabilità di problemi specifici in NP, mostrando che essi sono universali per l'intera classe. Sorprendentemente, esistono problemi NP-completi e inoltre centinaia di problemi computazionali naturali che sorgono in molte aree diverse della matematica e della scienza sono NP-completi. Lingua: Inglese