Reti di flusso: il problema del flusso massimo, flusso massimo e taglio minimo, applicazioni. Algoritmi di approssimazione: tecniche greedy, programmazione lineare. Introduzione agli algoritmi genetici. Algoritmi di ricerca locale. Algoritmi randomizzati.
J. Kleinberg, E. Tardos "Algorithm Design", Addison-Wesley, 2006.
Obiettivi Formativi
Conoscenze: Il corso intende presentare le principali tecniche per affrontare problemi computazionalmente intrattabili, presentando sia la progettazione di algoritmi, sia metodi per valutare la bontà di una soluzione.
Prerequisiti
Corsi vincolanti: Algoritmi e Strutture Dati.
Corsi raccomandati: Progettazione di Algoritmi e Complessità Computazionale.
Metodi Didattici
Numero di ore totali del corso: 150
Numero di ore per studio personale e altre attività formative di tipo individuale: 102
Numero di ore relative alle attività in aula: 48
Altre Informazioni
Frequenza delle lezioni ed esercitazioni: Raccomandata
Strumenti a supporto della didattica
UniFi E-Learning: http://e-l.unifi.it
Orario di ricevimento:
Mercoledì, dalle 10.00 alle 11.00, oppure previo appuntamento via e-mail.
Dipartimento di Sistemi e Informatica
Viale Morgagni, 65
50134 - Firenze (FI)
Tel: 055 4237439 Fax: 055 4796363 - 4237436
E-Mail: mariacecilia.verri@unifi.it
URL: http://www.dsi.unifi.it/~cecilia/
Modalità di verifica apprendimento
Esame orale ed un elaborato scritto
Programma del corso
Reti di flusso: il problema del flusso massimo, flusso massimo e taglio minimo. Applicazioni: grafi bipartiti e corrispondenza perfetta; cammini disgiunti in grafi orientati; circolazione su richiesta; progettazione di un sondaggio; scheduling di linee aeree; sementazione di un'immagine; selezione di progetti; baseball elimination . Algoritmi di approssimazione: tecniche greedy (center selection problem). Riduzione di problemi: copertura di insiemi, copertura dei vertici, insieme di vertici indipendenti. Programmazione lineare. Approssimazioni arbitrariamente buone: problema dello zaino. Algoritmi di ricerca locale: algoritmo di Metropolis. Reti di Hopfield. Equilibri di Nash. Algoritmi randomizzati: risoluzione di conflitti. Pattern matching.