|
@@ -1,18 +1,18 @@
|
|
|
title: "Calcolatori a Membrane Cellulari: uno studio inerente alla teoria della complessità"
|
|
|
text: |
|
|
|
- Verra` presentato uno studio di informatica in cui si parte dalla
|
|
|
- classificazione dei problemi (in particolare ci si concentrera` sulle
|
|
|
+ Verrà presentato uno studio di informatica in cui si parte dalla
|
|
|
+ classificazione dei problemi (in particolare ci si concentrerà sulle
|
|
|
classi P. NP, NP-Complete, Co-NP e cancellettoP). Poi verranno introdotti dei
|
|
|
nuovi modelli di calcolatori che vanno ben oltre le macchine di von
|
|
|
- neumann. Spieghero` poi come fanno questi calcolatori a membrana ad
|
|
|
+ neumann. Spiegherò poi come fanno questi calcolatori a membrana ad
|
|
|
essere in grado di svolgere computazionalmente dei problemi appartenenti
|
|
|
alle classi sopraelencate in tempo lineare (se poi si sale di livello di
|
|
|
- diffcolta` per andare a vedere cosa esiste oltre NP il tempo
|
|
|
+ diffcoltà per andare a vedere cosa esiste oltre NP il tempo
|
|
|
semplicemente diventa polinomiale) senza usare il trucco del
|
|
|
non-determinismo dove una macchina di turing deterministica impiega
|
|
|
tempi non umani.
|
|
|
|
|
|
- Si`, penso possano aprire una gpg in pochi secondi :)
|
|
|
+ Sì, penso possano aprire una gpg in pochi secondi :)
|
|
|
|
|
|
# Se ancora non è stata assegnata una stanza al talk, commentala. Non usare un valore tipo "qualunque" o
|
|
|
# cose del genere, che ci si incasina tutto
|