CODICE 80306 ANNO ACCADEMICO 2018/2019 CFU 9 cfu anno 3 INFORMATICA 8759 (L-31) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE INF/01 SEDE GENOVA PERIODO 2° Semestre MATERIALE DIDATTICO AULAWEB PRESENTAZIONE L'obiettivo del corso è l'apprendimento e l'analisi dal punto di vista di correttezza ed efficienza di strutture dati e algoritmi classici nella formazione di un informatico, assumendo dal corso di Algoritmi e Strutture Dati le nozioni base relative a complessità e strutture dati elementari. OBIETTIVI E CONTENUTI OBIETTIVI FORMATIVI Apprendimento e analisi dal punto di vista di correttezza ed efficienza di strutture dati e algoritmi classici, assumendo da ASD nozioni base di algoritmi, complessità e strutture dati elementari. Gli argomenti includono tecniche avanzate di analisi e progettazione, algoritmi di ordinamento, strutture dati avanzate, algoritmi su grafi, teoria della NP-completezza. MODALITA' DIDATTICHE Tradizionale. PROGRAMMA/CONTENUTO Metodologie di analisi e progettazione di algoritmi: notazioni asintotiche e correttezza e complessità di algoritmi ricorsivi (approfondimenti da ASD), correttezza di algoritmi iterativi, analisi ammortizzata, divide-et-impera, programmazione dinamica e algoritmi greedy. Algoritmi di ordinamento: algoritmi elementari e mergesort (richiami da ASD), quicksort, heapsort, delimitazione inferiore problema dell'ordinamento per confronti, algoritmi di ordinamento non per confronti. Strutture dati avanzate: heap, strutture union-find. Grafi: definizioni, rappresentazioni, visite, ordinamento topologico, componenti fortemente connesse, cammini minimi (algoritmo di Djikstra), minimo albero ricoprente (algoritmi di Prim e Kruskal). Teoria della NP-completezza: classi di complessità, problemi NP-completi, algoritmi di approssimazione. TESTI/BIBLIOGRAFIA Note a cura del docente. Per approfondimenti: Algoritmi e strutture dati. Demetrescu, Finocchi, Italiano. McGraw Hill. Seconda edizione, 2008. Introduzione agli algoritmi e strutture dati. Cormen, Leiserson, Rivest, Stein. McGraw Hill. Terza edizione, 2009. DOCENTI E COMMISSIONI ELENA ZUCCA Ricevimento: Su appuntamento. PAOLA MAGILLO Ricevimento: Su appuntamento. Commissione d'esame ELENA ZUCCA (Presidente) DAVIDE ANCONA GIORGIO DELZANNO PAOLA MAGILLO LEZIONI Orari delle lezioni ANALISI E PROGETTAZIONE DI ALGORITMI ESAMI MODALITA' D'ESAME Prova scritta e orale. MODALITA' DI ACCERTAMENTO La prova scritta verifica la capacità dello studente di mettere in pratica le nozioni viste a lezione. La prova orale verifica la comprensione dei concetti e la capacità di illustrarli in modo appropriato. Calendario appelli Data appello Orario Luogo Tipologia Note 05/02/2019 09:00 GENOVA Scritto 05/06/2019 09:00 GENOVA Scritto 27/06/2019 09:00 GENOVA Scritto 17/07/2019 09:00 GENOVA Scritto 05/09/2019 09:00 GENOVA Scritto