Domenico Salvagnin

Department of Information Engineering, Padova

just me

Modelli e Software per l'Ottimizzazione Discreta

Appelli

  1. Appello giugno: 23 giugno 2015, ore 14:00 aule Ke,Ve
  2. Appello settembre: 07 settembre 2015, ore 11:30 aula Ke

Note:
  • Per gli appelli è necessaria l'iscrizione in UNIWEB.
  • In caso di problemi con UNIWEB, presentatevi comunque all'appello (al caso peggiore la registrazione verrà effettuata all'appello successivo!!!)
  • La consegna di un elaborato a tali appelli annulla l'eventuale voto ottenuto tramite compitini o in un appello precedente.

Programma del corso

  • Programmazione matematica/vincolata
  • Programmazione Lineare (LP)
  • Cenni di dualità
  • Programmazione Lineare Intera (MIP)
  • Software LP/MIP
  • Modellazione MIP
  • Algoritmo Branch-&-Bound
  • Algoritmo Branch-&-Cut
  • Lingugaggi di modellazione algebrica (OPL)
  • Programmazione con Vincoli (CP)
  • Software CP
  • Soddisfacibilità booleana (SAT)
  • Software SAT
  • Modellazione avanzata e tecniche di decomposizione

Calendario (provvisorio) lezioni e laboratorioPDF

Dispense/Materiale

  • Introduzione all'ottimizzazione discreta PDF
  • Cenni di programmazione lineare e dualità PDF
  • Modelli di PLI PDF
  • Modelli OPL introduttivi ZIP
  • Modelli OPL ZIP
  • Modelli OPL CP ZIP
  • Modelli OPL ScriptZIP
  • Cenni di programmazione lineare intera PDF
  • Cenni di programmazione con vincoli PDF
  • Cenni di soddisfacibilità booleana PDF
  • Slides software LP/MIPPDF
  • Slides CPLEX APIPDF
  • Sorgente C di esempio uso CPLEX APIsSource C
  • Domande di preparazione PDF

Testi consigliati

Il corso non prevede un libro di testo. Alcune dispense verrano distribuite durante il corso.

Come testi di riferimento/consultazione si segnalano:

  1. 1.
    Lezioni di Ricerca Operativa
    M. Fischetti, 2013
  2. 2.
    Integrated Methods for Optimization
    J. Hooker, 2007 HTML
  3. 3.
    Integer Programming
    L. Wolsey, 1998 HTML
  4. 4.
    Constraint Integer Programming
    T. Achterberg, 2007 PDF