Domenico Salvagnin

Department of Information Engineering, Padova

just me

Modelli e Software per l'Ottimizzazione Discreta

  1. Primo Appello: 24 gennaio 2019, ore 10:30 aula Me
  2. Secondo Appello: 13 febbraio 2019, ore 10:30 aula Me
  3. Appello Giugno: 10 luglio 2019, ore 10:30 aula Me
  4. Appello Settembre: 29 agosto 2019, ore 10:30 aula Me

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
  • Linguaggi di modellazione algebrica (con Python)
  • Programmazione con Vincoli (CP)
  • Software CP
  • Soddisfacibilità booleana (SAT)
  • Software SAT
  • Modellazione avanzata e tecniche di decomposizione

Calendario lezioni e laboratorioPDF

Dispense/Materiale

  • Introduzione all'ottimizzazione discreta PDF
  • Cenni di programmazione lineare e dualità PDF
  • Modelli di PLI PDF
  • 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
  • Python 3 tutorial Python
  • Primo Esercizio Pythonex1
  • Esempi di base docplexesempi

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