2019-04-16 22:27:52 +02:00
|
|
|
title: "Calcolatori a Membrane Cellulari: uno studio inerente alla teoria della complessità"
|
|
|
|
|
text: |
|
2019-04-25 19:08:15 +02:00
|
|
|
Verrà presentato uno studio di informatica in cui si parte dalla
|
|
|
|
|
classificazione dei problemi (in particolare ci si concentrerà sulle
|
2019-04-16 22:27:52 +02:00
|
|
|
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
|
2019-04-25 19:08:15 +02:00
|
|
|
neumann. Spiegherò poi come fanno questi calcolatori a membrana ad
|
2019-04-16 22:27:52 +02:00
|
|
|
essere in grado di svolgere computazionalmente dei problemi appartenenti
|
|
|
|
|
alle classi sopraelencate in tempo lineare (se poi si sale di livello di
|
2019-04-25 19:08:15 +02:00
|
|
|
diffcoltà per andare a vedere cosa esiste oltre NP il tempo
|
2019-04-16 22:27:52 +02:00
|
|
|
semplicemente diventa polinomiale) senza usare il trucco del
|
|
|
|
|
non-determinismo dove una macchina di turing deterministica impiega
|
|
|
|
|
tempi non umani.
|
|
|
|
|
|
2019-04-25 19:08:15 +02:00
|
|
|
Sì, penso possano aprire una gpg in pochi secondi :)
|
2019-04-16 22:27:52 +02:00
|
|
|
|
|
|
|
|
# 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
|
2019-05-04 21:13:26 +02:00
|
|
|
room: A
|
2019-04-16 22:27:52 +02:00
|
|
|
|
|
|
|
|
# duration è la durata in minuti del talk
|
|
|
|
|
duration: 90
|
|
|
|
|
|
|
|
|
|
# Ci vanno le virgolette intorno! altrimenti 17.30 viene interpretato come un numero decimale
|
2019-05-07 10:11:28 +02:00
|
|
|
time: "17.00"
|
2019-04-16 22:27:52 +02:00
|
|
|
# day è il giorno in cui avverrà il talk. Finché non decommenti il talk non sarà schedulato
|
|
|
|
|
# 0=giovedì, 1=venerdì, 2=sabato, 3=domenica
|
2019-05-04 21:13:26 +02:00
|
|
|
day: 1
|
2019-04-16 22:27:52 +02:00
|
|
|
|
|
|
|
|
tags:
|
|
|
|
|
- informatica teorica
|
|
|
|
|
# Devono essere dei link validi!
|
|
|
|
|
links:
|
|
|
|
|
- http://ppage.psystems.eu/index.php/Theses
|
|
|
|
|
- http://ppage.psystems.eu/index.php/Papers
|
|
|
|
|
- https://www.springer.com/gp/book/9783540436010
|
|
|
|
|
# mail dovrebbe contenere un link all'email in lista hackmeeting in cui il talk è stato proposto
|
|
|
|
|
# così si può sapere chi contattare e se c'è stata una discussione
|
|
|
|
|
# prendi il link da https://lists.autistici.org/list/hackmeeting.en.html
|
|
|
|
|
# il campo mail NON è un indirizzo email
|
|
|
|
|
mail: "https://lists.autistici.org/thread/20190405.105500.d8e538a6.en.html"
|
|
|
|
|
# contacts invece sono i nomi, o gli indirizzi, delle persone che presentano
|
|
|
|
|
contacts:
|
|
|
|
|
- nctli
|
|
|
|
|
|
|
|
|
|
# se chiedono di non sovrapporli con qualche talk, segnalo qui
|
|
|
|
|
# cosi' poi il coso ci avvisa quando sbagliamo
|
|
|
|
|
nooverlap: []
|
|
|
|
|
|
|
|
|
|
# Devi usare UTF-8, non t'inventare scuse, sappiamo ndo abiti
|
|
|
|
|
# vim: set fileencoding=utf-8 ts=4 sw=4 et:
|
