Questo libro di testo presenta un'indagine sulla ricerca su funzioni booleane, circuiti, modelli di calcolo parallelo, algebre di funzioni e sistemi di dimostrazione. Il suo scopo principale è chiarire la struttura del calcolo parallelo "veloce". La complessità del calcolo parallelo è enfatizzata attraverso una varietà di tecniche che vanno dalla combinatoria finita, alla teoria della probabilità e alla teoria dei gruppi finiti, alla teoria dei modelli finiti e alla teoria della dimostrazione. I modelli di calcolo non uniformi vengono studiati sotto forma di circuiti booleani, uniformi in una varietà di forme. Vengono esaminate le fasi dell'indagine del tempo polinomiale non deterministico, così come la complessità dei vari sistemi di dimostrazione. Il libro andrà a beneficio degli studenti universitari e laureati di livello avanzato, nonché dei ricercatori nel campo della teoria della complessità.
caricamento...
