Laboratorio interattivo¶
Qui la programmazione lineare intera si tocca con mano. Scegli un'app: si apre a tutta pagina. Trascina i punti e muovi i cursori; il pulsante ▶ accanto a un parametro lo fa muovere da solo. I numeri sono frazioni esatte.
Modelli e bound¶
-
Punti interi e rilassamento lineare
Il poliedro, i punti interi, l'ottimo del rilassamento e l'ottimo intero: muovi la retta di livello e guarda il divario.
Rafforzare la formulazione¶
-
Disuguaglianze valide e involucro convesso
Aggiungi una alla volta le disuguaglianze valide e guarda il bound del rilassamento scendere verso l'ottimo intero.
Metodi esatti¶
-
Cutting plane con i tagli di Gomory
A ogni iterazione il taglio entra nella figura e il nuovo ottimo del rilassamento si avvicina all'ottimo intero.
-
Branch-and-bound passo per passo
L'albero cresce e la regione si partiziona: scegli la regola per la variabile e per il nodo, segui LB e UB.