- I problemi di ottimizzazione lineare sono problemi che cercano di minimizzare/massimizzare il valore di una funzione obiettivo le cui incognite sono sottoposte a un sistema di vincoli.
+ Problemi che cercano di minimizzare/massimizzare il valore di una funzione obiettivo le cui incognite sono sottoposte a un sistema di vincoli.
+
Funziona esattamente come il Simplex primale, ma opera sulle righe invece che sulle colonne, cercando di rendere positivi/negativi tutti i termini noti.
-
- Significa che si possono moltiplicare tutti i valori di una riga per lo stesso numero e il risultato non cambia...?
-
+
+ TODO: Significa che si possono moltiplicare tutti i valori di una riga per lo stesso numero e il risultato non cambia...?
+
- Un procedimento che misura di quanto può variare il termine noto di un vincolo {r`b_i`} o il coefficiente della funzione obiettivo {r`c_i`} prima che la base degeneri. TODO: verificare
+ Un procedimento che misura di quanto può variare il termine noto di un vincolo {r`b_i`} o il coefficiente della funzione obiettivo {r`c_i`} prima che la base degeneri.
+
+
+
+ Particolari problemi di ottimizzazione lineare in cui le variabili sono vincolate ad essere numeri interi.
+
+ {r`
+ \mathbf{x} \in \mathbb{Z}^n
+ `}
+
+ Spesso detti anche problemi di ILP.
+
+
+
+
+ Un rilassamento che rimuove il vincolo di TODO: integrità a un problema, trovando la sua soluzione continua.
+
+
+
+
+
+
+ Un modo per passare dalla soluzione del rilassamento alla soluzione intera di un problema di ILP.
+
+
+ Consiste nel calcolare la soluzione di ogni singolo punto incluso nel poliedro, e selezionare la minore/maggiore.
+
+
+ Trova sicuramente la soluzione giusta, ma il costo computazionale è esponenziale O(n^k)!
+
+
+
+
+ Un altro modo per passare dalla soluzione del rilassamento alla soluzione intera di un problema di ILP.
+
+
+ Consiste nell'arrotondare tutte le variabili al loro valore intero più vicino, e calcolarne il valore ottimo.
+
+
+ Funziona bene per valori grandi, ma più essi si avvicinano allo 0 più l'errore diventa grande.
+
+
+
+
+ Un altro modo ancora per passare dalla soluzione del rilassamento alla soluzione intera di un problema di ILP.
+
+
+ Consiste nel tagliare il poliedro con nuovi vincoli (piani secanti) che riducono le possibili soluzioni continue ma non quelle intere.
+
+
+ Per selezionare i vincoli, si usano i tagli di Gomory:
+
+ Per ogni valore noto frazionario si viene quindi a creare una nuova variabile in base e un nuovo vincolo formato dall'opposto di tutti i valori frazionari dei coefficienti fuori base.
+