Description: Il libro è la naturale continuazione di 'Introduzione alla complessità computazionale'. Il libro inizia affrontando il problema della primalità e della difficile identificazione della sua precisa complessità computazionale, per portarci all'analisi delle relazioni tra determinismo e casualità. Vengono poi presentati modelli di calcolo. Essempi ed esercizi aiutano il lettore ad impadronirsi degli strumenti matematici che vengono introdotti. Il testo può essere utilizzato per corsi universitari avanzati (in particolare del corso di laurea in Informatica) e per corsi di dottorato. Inoltre si propone come riferimento per i ricercatori del settore e di aree affini.
Review Quotes:
From the reviews:
MATHEMATICAL REVIEWS
"The authors give a survey of a wealth of important results in complexity theory, providing complete proofs and developing all the necessary mathematical background. The choice of material is interesting and original: it includes upper and lower complexity bounds on many specific problems with a rich mathematical structure...The book, in Italian, can be used as a general reference for researchers in the field, or as a text for advanced undergraduate or doctorate-level courses in the computer science department."