In questo libro vengono presentati approcci teorici, pratici e sperimentali per la dimostrazione dell'equivalenza o meno di classi di complessità note come teoria relazionale.Sia le prove che le confutazioni sono effettuate sulla base del teorema "P contro NP", che è stato inventato per la prima volta da Stephen Cook e che in seguito ha trovato una profonda applicazione per l'analisi delle prestazioni degli algoritmi, dando così la definizione di teoria dell'ottimizzazione e di teoria della descrizione di queste prestazioni in termini che si adattano bene e sono noti come piccola o- o grande O-notazione - esiste anche il valore mediano.