Materiale Didattico
Lezioni del corso
I lucidi verrano resi disponibili mano a mano che il corso progredisce.
I lucidi sono in lingua inglese.
È disponibile anche un elenco delle lezioni in pdf
- Ch0: informazioni generali [pdf] [web]
- Ch1: introduzone alla Programmazione a Vincoli [pdf] [web] [screencast]
- Ch2: vincoli aritmetici, (G)AC and BC, ottimizzazione [pdf] [web] [screencast]
- Lab1: introduzione a Python ed or-tools [pdf] [web] [start-kit] [soluzioni] [screencast]
- Ch3: vincoli reificati e meta-vincoli [pdf] [web] [screencast]
- Corretto un errore nel modelle del primo esercizio (alla fine della lezione)
- Le slide dalle 52 in poi nel file pdf risultavano bianche: il problema è stato corretto
- Lab2: alcuni problemi di soddisfacimento di vincoli [pdf] [web] [start-kit] [soluzioni] [screencast]
- Ch4: tutorial: tre diversi modi di modellare un CSP [pdf] [web] [start-kit] [soluzioni] [screencast]
- Le slides sono poco indicative: si raccomda di utilizzare lo screencast
- Nel modello #3 mancava un vincolo: è stato aggiuto nelle soluzioni
- Lab3: esercizio: pianificazione della produzione [pdf] [web] [start-kit] [soluzioni] [screencast]
- Ch5: vincoli globali (1) [pdf] [web] [screencast]
- È stato corretto un errore nella definizione degli "Hall sets" ad un secondo piccolo errore nella descrizione del vincolo "AtMost"
- Lab4: tutorial (migliorare un modello, simmetrie e dominanze) [pdf] [web] [screencast]
- Ch6: simmetrie di variabile, vincoli globali (2) [pdf] [web] [screencast]
- Sono stati corretti gli errori individuati a lezione ed eliminate le descrizioni di due propagatori (saltati a lezione)
- Lab5: esercizio: miglioramento di un modello [pdf] [web] [start-kit] [soluzioni] [screencast]
- Ch7: discussione della soluzione del lab5, ricerca ad albero in CP, simmetrie di valore [pdf] [web] [screencast]
- Lab6: esercizio: DFS in CP [pdf] [web] [start-kit] [soluzioni] [screencast]
- Lab7: esercizio: shift scheduling (+ vincolo regular) [pdf] [web] [start-kit] [soluzioni] [screencast]
- Sono stati corretti alcuni piccoli errori (primi esempi regular + stato iniziale DFA problema)
- Ch8: discussione della soluzione del lab7/lab6, restarts, LNS, strategie di ricerca avanzate [pdf] [web] [screencast]
- Ch9: programmazione a vincoli per scheduling [pdf] [web] [screencast]
- Tema d'esame #1: esercizi di preparazione all'esame [pdf] [web] [screencast]
- Constraint library [pdf]
- Lab8: LNS e restart in or-tools [pdf] [web] [start-kit] [soluzioni] [screencast]
- Tema d'esame #2: esercizi di preparazione all'esame [pdf] [web] [screencast]
- Constraint library [pdf]
- Lab9: Scheduling in or-tools [pdf] [web] [start-kit] [soluzioni] [screencast]
- Tema d'esame #3: esercizi di preparazione all'esame [pdf] [web]
- Constraint library [pdf]
Slides dei seminari
- Alessandro Zanarini (Optimization Challenges @ABB) [pdf]
- Stefano Gualandi (Hybrid Column Generation) [pdf1] [pdf2] [pdf3]
Alcuni esami passati
- 12 Febbrario 2016 [pdf]
- Soluzioni [pdf] (è stato corretto un errore nelll'esercizio di propagazione)
Alcuni esercizi di modellazione (tratti da esami svolti a Bologna)
- "Il Sabato del Villaggio" [Testo e Soluzione]
- "Flat Bread War" [Testo e Soluzione]
- "Un Problema Reale" [Testo e Soluzione]
- "La Prova del Cuoco" [Testo e Soluzione]
- "Il Delitto Perfetto" [Testo e Soluzione]
- "Il Giorno Più Lungo" [Testo e Soluzione]
- "Hack Yourself" [Testo e Soluzione]
- "L'Impresa di Famiglia" [Testo e Soluzione]
- "Memento" [Testo e Soluzione]
- "Personal Size Babel" [Testo e Soluzione]
Articoli consigliati
Durante il corso, verranno indicati degli articoli scientifici come lettura consigliata.