• Non ci sono risultati.

METODI E MODELLI PER L’OTTIMIZZAZIONE COMBINATORIA Laurea Magistrale in INFORMATICA A.A. 2008/2009 Docenti: Luigi De Giovanni - Giacomo Zambelli PROGRAMMA DEL CORSO

N/A
N/A
Protected

Academic year: 2021

Condividi "METODI E MODELLI PER L’OTTIMIZZAZIONE COMBINATORIA Laurea Magistrale in INFORMATICA A.A. 2008/2009 Docenti: Luigi De Giovanni - Giacomo Zambelli PROGRAMMA DEL CORSO"

Copied!
2
0
0

Testo completo

(1)

METODI E MODELLI PER L’OTTIMIZZAZIONE COMBINATORIA Laurea Magistrale in INFORMATICA A.A. 2008/2009

Docenti: Luigi De Giovanni - Giacomo Zambelli PROGRAMMA DEL CORSO

1. Approfondimenti e applicazioni di Programmazione Lineare e dualit`a:

• modellazione di problemi di ottimizzazione;

• ripasso del metodo del simplesso;

• ripasso della dualit`a in programmazione lineare;

• applicazione delle condizioni di ottimalit`a;

• tecniche di generazione di colonne;

• applicazione della tecnica di generazione di colonne a problemi di taglio monodimensionale.

2. Programmazione Lineare Intera:

• ripasso del metodo del Branch-and-Bound;

• buone formulazioni (esempio del Facility Location Problem) e formulazioni ideali (esempio del problema di massimo matching);

• metodo dei piani di taglio;

• cover inequalities per problemi di zaino 0/1;

• metodo dei tagli di Gomory;

• matrici totalmente unimodulari e problema dell’assegnamento su grafo bipartito.

3. Ottimizzazione su reti:

• problemi di flusso di costo minimo;

• interpretazione del problema del cammino minimo e del flusso massimo come flussi a costo minimo;

• algoritmo di cycle-cancelling per problemi di flusso di costo minimo.

4. Metodi per il problema del commesso viaggiatore:

• modelli di programmazione lineare intera per il caso asimmetrico e simmetrico;

• separazione dei vincoli di eliminazione di sotto-ciclo;

• generazione di vincoli per il caso asimmetrico e simmetrico;

• Branch-and-Bound per il caso asimmetrico;

• Branch-and-Bound per il caso simmetrico e cenni al metodo del Branch-and-Cut.

5. Metodi euristici e meta-euristici:

• euristiche costruttive: applicazioni al problema del commesso viaggiatore e a problemi di covering;

• beam search: applicazioni al problema del commesso viaggiatore e a problemi di covering;

• ricerca locale: applicazioni al problema del commesso viaggiatore;

• Randomized Multi-start;

• elementi di base della Tabu search: applicazione alla colorazione di un grafo;

• elementi di base degli algoritmi genetici.

1

(2)

6. Laboratorio:

• il linguaggio di modellazione algebrica AMPL;

• modellazione e soluzione con AMPL di problemi di ottimizzazione combinatoria;

• scripting in AMPL;

• generazione di colonne in AMPL (problemi taglio monodimensionale);

• miglioramento di formulazioni di PLI con generazione di piani di taglio in AMPL (problemi di zaino 0/1).

2

Riferimenti

Documenti correlati

Se i valori ricavati per le variabili primali sono ammissibili per il problema duale, allora la soluzione primale suggerita `e ottima: siamo infatti in presenza di soluzioni primale

Dunque la solu- zione ottima intera di (P 3 ) avr`a valore z 3 I ≤ 22.5, ma poich´e abbiamo gi`a determinato una soluzione ottima intera con valore 23.5, `e inutile

• Anche qualora fosse nota, la formulazione ideale potrebbe avere un numero assai elevato di vincoli, e dunque il problema (7) non pu`o essere risolto direttamente con i

Per alcuni problemi pu`o essere difficile trovare una soluzione corrente ammissibile; in tal caso l’algoritmo di ricerca locale pu`o partire da una soluzione non ammissibile e

Nell’esempio, i parametri sono i prof- itti, definiti per ogni fragranza (130 euro per ogni decalitro di fragranza uno e 100 euro per decalitro di fragranza due), le disponibilit`a

- Consegna di due esercizi di laboratorio con relazione di circa 10 pagine a corredo (implementazione di un modello in Cplex e di una metaeuristica per un problema di

Nell’esempio, i parametri sono i prof- itti, definiti per ogni fragranza (130 euro per ogni decalitro di fragranza uno e 100 euro per decalitro di fragranza due), le disponibilit`a

(5) Come valutare una o pi`u soluzioni ammissibili: soluzioni che permettano di utilizzare i bound ottimistici per chiudere nodi!. (6) Criteri di stop: condizioni di