Problemi di programmazione lineare
Min cTx
Ax ≥ b
x ≥ 0
Problemi di programmazione lineare intera
Min cTx
Ax ≥ b
x ≥ 0
x intero
Riga
Tutte le variabili intere
Un sottoinsieme delle variabili intere
x ∈ {0,1}
Analizziamo
A, b interi
P = {x ≥ 0 / Ax ≥ b} limitato, non vuoto
Quindi iniziamo con
X insieme soluzioni ammissibili del problema intero formato da tutti i punti interi del poliedro P:
X = P ∩ Zn
Osservazione: |X| limitato, a differenza del numero di soluzioni di un problema di programmazione lineare normale in cui le soluzioni sono in numero infinito.
Problemi di programmazione lineare
Min cTx
Ax ≥ b
x ≥ 0
Problemi di programmazione lineare intera
Min cTx
Ax ≥ b
x ≥ 0
x intero
Pluri
Tutte le variabili intere
Mista un sottoinsieme delle variabili intere
x ∈ [0,1]n
P = {x0/Ax ≥ b} limitato, non vuoto
Quindi indichiamo con
X insieme soluzioni ammissibili del problema intero formato da tutti i punti interi del poliedro P:
X = P ∩ Zm
Osservazione: |X| limitato, a differenza del numero di soluzioni di un problema di programmazione lineare normale in cui le soluzioni sono un numero infinito.
Esempio P.L. 1. muta
Un'azienda di trasporti dispone di φ veicoli V₁, ..., Vₚ. Devo minimizzare il costo delle ore di consumazione... queste possono essere modellate con variabili non necessariamente intere. Ma le risorse umane? Gli autisti non possono essere modellati con variabili intere. Questo è un esempio di P.L. 1. muta.
Esempio P.L. 1. pura
Produzione autovetture, devo produrre tenda potenze quote... variabili intere
Esempio PLO₁ (o binaria)
Devo decidere dove posizionare i poliziotti per la sorveglianza delle strade. Ma i grafi, con le righe rappresentano le strade, non hanno già incroci... è fatto che i poliziotti all'incrocio basta. Xᵢ = {1 se il poliziotto è all'incrocio i min ∑ Xᵢ}
Enumerazione totale (per un problema PLO₁)
Quanto potrebbe impiegare un algoritmo di enum. tot. (brute-force) a trovare le soluzioni? Si enumerano tutti n vettori:
- x1 = [0, 0, ..., 0]
- xn = [1, 0, ..., 0]
Dipendendo di un computer che in 1 secondo verifica 1010 vettori ≈ 213 vite. A livello algoritmico di potenza di calcolo di un fattore 1024 (2¹⁰) relative sono rispettivamente 1 modello 1 sec ≈ 2 giorni; 3743.5 miliardi di anni.
A Roma quanti incroci ci sono? ... è impraticabile.
Connessioni tra programmazione lineare e programmazione lineare intera
P.L.I. min CTx
Ax ≥ b
x ≥ 0 intero
P.L. min eTx
Ax ≥ b
x ≥ 0
Rilassamento lineare o continuo
X insieme delle soluzioni del problema di P.L.I.
P insieme della soluzione del problema di rilassamento lineare
X ⊆ P
Indichiamo con
ZPL val. f.o. del rilassamento lineare
ZPLI val. f.o. del problema intero
ZPL ≤ ZPLI la soluzione del rilassamento lineare è migliore di quella del problema intero
Proprietà in generale
(P) min f(x)
x ∈ A
Il rilassamento di (P)
(R) min g(x) tale che
x ∈ B
A ⊆ B
f(x) ≥ g(x) ∀ x ∈ A
Teorema
Se la soluzione ottima X*PL del rilassamento lineare è intera allora è ottima anche per il problema intero.
Z*PL = CTX*PL ≤ ZPLI
X*PL ∈ X = CTX*PL ≥ ZPLI
Z*PL = ZPLI
Teorema
Se x* B è soluzione ottima del rilassamento (R) di (P) allora se x* A e f(x*) = g(x*) allora x* è ottima anche per (P).
Osservazione
Possiamo pensare di trovare la sol. ottima del problema di PLI risolvendo il rilassamento e arrotondando la soluzione? No, e ora vediamo perché.
Esempi
- P1 min –x – y
2x – 5y ≥ –5
–2x + 2y ≥ 1
x, y ≥ 0 interi
soluzione ottima
Ril. LN (5/2, 2)
zRL = –9/2 ≠ –5
Non arrotondabile in nessun modo a –2. - P2 min x – y
2x – 5/2y ≥ 5
–2x + 2y ≥ 1
x ≥ 1
x, y ≥ 0 interi
Stesse soluzioni di prima
Le sol. ottime di PLI (integre e arrotondabili) - P3 min –x–y
y ≥ –1
–x+y ≥ 0
x, y ≥ 0 intero
Ancora un problema equivalente che ha stesso OSS I vincoli
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
Scarica il documento per vederlo tutto.
-
Lezioni, Etnomusicologia
-
Lezioni, Ricerca Operativa
-
Lezioni, Analisi matematica I
-
Riassunto esame Ricerca, prof. Pacifici, libro consigliato Lezioni di Ricerca Operativa, Fischetti