| | | corso | | | | |
Algoritmica B
Codice: | AA006 | Crediti: | 9 | Semestre: | 2 | Sigla: | ALG | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Roberto Grossi
Tel. 0502212793Obiettivi di apprendimento
Definire formalmente la nozione di algoritmo e di modello di calcolo.
Caratterizzare i dati da elaborare, organizzandoli e strutturandoli nel modo più opportuno
al fine di agevolarne l'uso da parte degli algoritmi.
Progettare algoritmi corretti (che risolvono cioè sempre e solo il problema a cui si è interessati) ed efficienti
(cioè che lo risolvono il più velocemente possibile o usano il minor spazio di memoria possibile),
attraverso l'esame di diversi paradigmi.
Studiare le limitazioni inerenti dei problemi da risolvere, in particolare di quelli la cui soluzione richiede
l'esame di tutte le possibilità.
Programma
- Analisi di Algoritmi e Complessità
- Introduzione alla complessità di calcolo [CLR 1]
- Ordini di grandezza delle funzione [CLR 2]
- Algoritmi ricorsivi: Numeri di Fibonacci, Ricerca Binaria, Mergesort,
Moltiplicazione rapida, Moltiplicazione di matrici.[L 5]
- Relazioni di ricorrenza [CLR 4]
- Limiti inferiori alla complessit\`a [L 4.2]
- Progetto di Algoritmi e Strutture dei Dati
- Code, Pile, Heap [CLR 7]
- Heapsort [CLR 7]
- Quicksort [CLR 8]
- Ordinamento in tempo lineare [CLR 9]
- Tabelle hash [CLR 12]
- Liste e alberi [H 16]
- Alberi binari di ricerca [B 8.1, 8.2]
- Grafi: rappresentazione e visite [CLR 23]
- Classi di Complessità
- Enumerazione e non determinismo [B 17]
- Classi P, NP, NPC [B 18]
- Algoritmi randomizzati [B 20]
- Modelli di Calcolo e Calcolabilità
- Indecidibilità e universalità [B 25]
- Macchina di Turing [B 26]
- Equivalenza tra modelli di calcolo [dispense]
Bibliografia
[B] A. Bertossi "Algoritmi e Strutture di Dati". Utet 2000.
[CLR] T. H. Cormen, C. E. Leiserson, R. L. Rivest "Introduzione agli
algoritmi". Jackson Libri 1999.
[H] C. S. Horstmann "Concetti di informatica e fondamenti di Java 2".
Apogeo 2000.
[L] F. Luccio "La struttura degli Algoritmi". Boringhieri 1982.
Modalità di esame
Scritto e orale