Sillabo dell'insegnamento

• B - Algoritmi
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Notazione asitotica e calcolo del tempo di esecuzione di algoritmi.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ AL-BA - Basic Analysis
Analisi di algoritmi ricorsivi e soluzione delle equazioni di ricorrenza.
TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
+ DS-PT - Proof Techniques
Introduzione alla dimostrazione di correttezza degli algoritmi. Dimostrazioni di correttezza per indizione e invarianti di ciclo.
* A - Algoritmi fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi di Ordinamento (Insertion Sort, Selection Sort, Merge Sort, Heap Sort, QuickSort) e analisi di complessita
* SDF - Strutture di Dati Fondamentali
+ AL-FDA - Fundamental Data Structures and Algorithms
Strutture dati fondamentali (liste, pile, code, alberi binari) e alberi binari di ricerca.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Grafi pesati e non pesati: loro rappresentazioni e algoritmi di visita (BFS e DFS).
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi su grafi non pesati: algoritmi per l'ordinamento topologico, calcolo delle componenti connesse e fortemente connesse Algoritmi su grafi: algoritmi per l'ordinamento topologico, calcolo delle componenti connesse e fortemente connesse.
* ASC - Algoritmi su Strutture Combinatorie
+ AL-FDA - Fundamental Data Structures and Algorithms
Algoritmi su grafi pesati: calcolo dei percorsi minimi da singola sorgente (algoritmo di Dijkstra e Bellman-Ford); calcolo dei percorsi minimi tra tutte le coppie di vertici.
SDA - Strutture di Dati Avanzate
+ AL-FDA - Fundamental Data Structures and Algorithms
Alberi binari di ricerca bilanciati: alberi AVL e alberi Red-Black. Algoritmi di bilanciamento (inserimento e cancellazione) per alberi AVL e alberi Red-Black.