IT ( Complessita' ~ Indice argomenti )

Gino Cappelli 1) 2) 3) 4) 5) 6) 7) 8) LA TEORIA DELLA COMPLESSITA' THEOREM (DI EUCLIDE) RAPPRESENTAZIONE BINARIA NOTAZIONI D'ORDINE GRAFI RICERCA vs VERIFICA SODDISFACIBILITA' PROBLEMA DEL COMMESSO VIAGGIATORE 9) PROBLEMA DELLO ZAINO (KNAPSAK) 10) CLASSI P e NP 11) MACCHINA DI TURING MULTI-TAPE 12) CLASSI DETERMINISTICHE DI COMPLESSITA' INTRO 13) THEOREM (TEMPO E SPAZIO) 14) THEOREM (RIDUZIONE AD UN NASTRO) 15) THEOREM (RIDUZIONE A DUE NASTRI) 16) SEQUENZA DI ATTRAVERSAMENTO 17) LEMMA DI ATTRAVERSAMENTO 18) UN LIMITE INFERIORE PER LA RIDUZIONE DEI NASTRI 19) MACCHINE AD ACCESSO CASUALE 20) SIMULAZIONE DI UNA RAM MEDIANTE MdT 21) CONCLUSIONI SU COMPLESSITA' COMPUTAZIONALE 22) MACCHINE DI TURING NORMALIZZATE 23) MACCHINA DI TURING UNIVERSALE 24) FUNZIONI COSTRUIBILI 25) I TEOREMI DELLA GERARCHIA 26) CLASSI DI COMPLESSITA' DETERMINISTICA 27) THEOREM (GAP THEOREM) 28) THEOREM (EXP vs PSPACE) 29) INCLUSIONI TRA CLASSI DI COMPLESSITA' DETERMINISTICHE 30) MACCHINE DI TURING NON DETERMINISTICHE (MdTN) 31) CLASSI DI COMPLESSITA' NON DETERMINISTICA INTRO 32) CLASSI DI COMPLESSITA' NON DETERMINISTICA 33) THEOREM (RIDUZIONE DEI NASTRI PER MdTN) 34) THEOREM (NTIME vs DSPACE) 35) THEOREM (DI SAVITCH) 36) PSPACE and NSPACE 37) THEOREM (DI IMMERMAN AND SZELEPSNYI) (SU GRAFI) 38) THEOREM (DI IMMERMAN AND SZELEPSNYI) 39) INCLUSIONE TRA CLASSI DI COMPLESSITA' (VERSIONE ESTESA) 40) THEOREM (DELLA PROIEZIONE) 41) PROGRAMMAZIONE PER TENTATIVI E VERIFICA 42) CLASSI DI COMPLESSITA' PER FUNZIONI 43) THEOREM (CHIUSURA PER COMPOSIZIONE) 44) RIDUCIBILITA' 45) PROBLEMI ARDUI E COMPLETI 46) MdTN UNIVERSALE 47) IL PROBLEMA DELLA FERMATA 48) P vs NP 49) IL PROBLEMA DELLA SODDISFACIBILITA' 50) THEOREM (DI COOK) 51) ANALOGIE TRA CALCOLABILITA' E COMPLESSITA' 52) THEOREM (DI COOK PER 3SAT) 53) FORME NORMALI CONGIUNTIVE 54) IL PROBLEMA DEL RICOPRIMENTO 55) IL PROBLEMA DELL'INSIEME INDIPENDENTE 56) PROBLEMA DELLA CRICCA 57) ALTRI ESEMPI DI PROBLEMI NP-COMPLETI 58) EQUAZIONI DIOFANTEE