Cara lista,
vi proponiamo un talk di 1.45 minuti su computazione, complessita` e
calcolatori biologici. Il talk sara` organizzato in due parti:
all'inizio daremo nozioni di complessita` algoritmica e informatica
teorica. Presenteremo alcuni problemi la cui risoluzione richiede
talmente tanti calcoli che non sono considerati risolvibili in tempi umani.
In seguito sara` presentato un modello formale che descrive il
funzionamento di una macchina astratta il cui comportamento e` ispirato
a quelli di esseri viventi unicellulari (cellule vive ^-^). Questo
modello consente infatti di risolvere problemi complessi in tempo al
massimo polinomiale rispetto ad una dimensione in input fissata
sfruttando un numero esponenziale di cellule che derivano dal processo
di duplicazione. La rappresentazione del sistema e` pensata come un
piccolo ecosistema dove agenti diversi (possiamo immaginare cellule con
funzioni diverse) collaborano per la risoluzione di problemi
particolarmente complessi.
Occorrente: microfno, proiettore
Tempo: 1.45 h
Lingua: {italiano/inglese}
