6
Nessuna.
MAT/09 Ricerca Operativa.
Prova orale e valutazione dell’attività di laboratorio.
Questo insegnamento si prefigge quale obiettivo principale l’introduzione degli studenti all’uso dei modelli di programmazione matematica sia lineare che non lineare con particolare attenzione rivolta ai modelli di ottimizzazione a variabili intere. Per quanto riguarda i modelli di programmazione a variabili intere con regione ammissibile finita (problemi combinatorici sia lineari che non lineari), il corso mira a fornire un trattamento completo e rigoroso della loro classificazione computazionale. Per quei problemi computazionalmente intrattabili, oltre ai metodi di soluzione esatti, il corso si prefigge di illustrare anche metodi più sofisticati, come algoritmi di approssimazione e algoritmi euristici e metaeuristici.
Introduzione all’Ottimizzazione Combinatoria. Funzioni di Karp-riducibilità polinomialmente calcolabili. Classi di Complessità Computazionale. Classificazione dei metodi di soluzione. Programmazione Dinamica. Fondamenti teorici per i metodi greedy: Teoria delle Matroidi. Algoritmi di Approssimazione. Classi di Approssimazione. Problema del Vertex Cover Minimo di un grafo. Problema del Massimo Insieme Indipendente di un grafo. Classificazione dei Metodi Euristici. Definizione di Neighborhood di una soluzione. Procedure di Ricerca Locale. Algoritmi Metaeuristici: Il Problema dello Zaino 0/1 e del Commesso Viaggiatore (TSP); teorema dell’inapprossimabilità; un algoritmo Branch & Bound; varianti del TSP. Algoritmi per il TSP. Insiemi neighborhoods di una soluzione; algoritmi di ricerca locale. analisi della complessità computazionale di 2-k-opt exchange. Metaeuristiche per il TSP standard.
Al termine dell’insegnamento, lo studente deve dimostrare di
Verifica della abilità nella risoluzione di esercizi di varia difficoltà; chiarezza, correttezza e completezza nell’esposizione scritta e orale degli argomenti inerenti l’insegnamento.