Materiale¶
Le dispense in PDF, con la stessa numerazione di definizioni, teoremi, esempi ed esercizi del sito. Testo e figure sono rilasciati con licenza CC BY 4.0.
Dispensa 1 · Modelli, bound e formulazioni¶
Che cos'è un problema di programmazione lineare intera (MIP, ILP, BIP), le sue soluzioni e i suoi esiti; bound primali e duali e gap; il rilassamento lineare; formulazioni ideali, disuguaglianze valide e disuguaglianze di cover. Esempi svolti ed esercizi con la soluzione completa.
Dispensa 2 · Metodi esatti¶
L'algoritmo dei piani di taglio con i tagli frazionari di Gomory, il branch-and-bound basato sulla programmazione lineare e il branch-and-cut. Esempi svolti passo per passo ed esercizi con la soluzione completa.
Dispensa 3 · I solver MIP¶
Che cosa fa un solver MIP (presolve, tagli, euristiche primali, strategie dell'albero, tolleranze) e come si legge il suo log, con esempi reali.
Dispensa 4 · Euristiche MIP¶
Arrotondamento, diving, feasibility pump, RINS, local branching, relax-and-fix e fix-and-optimize. Esempi ed esercizi con la soluzione completa.
Eserciziario 1 · Modelli, bound e formulazioni¶
Che cos'è un problema di programmazione lineare intera (MIP, ILP, BIP), le sue soluzioni e i suoi esiti; bound primali e duali e gap; il rilassamento lineare; formulazioni ideali, disuguaglianze valide e disuguaglianze di cover. Esempi svolti ed esercizi con la soluzione completa.
Eserciziario 2 · Metodi esatti¶
L'algoritmo dei piani di taglio con i tagli frazionari di Gomory, il branch-and-bound basato sulla programmazione lineare e il branch-and-cut. Esempi svolti passo per passo ed esercizi con la soluzione completa.
Eserciziario 3 · I solver MIP¶
Che cosa fa un solver MIP (presolve, tagli, euristiche primali, strategie dell'albero, tolleranze) e come si legge il suo log, con esempi reali.
Eserciziario 4 · Euristiche MIP¶
Arrotondamento, diving, feasibility pump, RINS, local branching, relax-and-fix e fix-and-optimize. Esempi ed esercizi con la soluzione completa.