Estratto del documento

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
Anteprima
Vedrai una selezione di 16 pagine su 72
Lezioni e esercizi, Ricerca operativa Pag. 1 Lezioni e esercizi, Ricerca operativa Pag. 2
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 6
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 11
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 16
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 21
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 26
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 31
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 36
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 41
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 46
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 51
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 56
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 61
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 66
Anteprima di 16 pagg. su 72.
Scarica il documento per vederlo tutto.
Lezioni e esercizi, Ricerca operativa Pag. 71
1 su 72
D/illustrazione/soddisfatti o rimborsati
Acquista con carta o PayPal
Scarica i documenti tutte le volte che vuoi
Dettagli
SSD
Scienze matematiche e informatiche MAT/09 Ricerca operativa

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher saimonlebone di informazioni apprese con la frequenza delle lezioni di Ricerca operativa e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi Roma Tre o del prof Nicosia Gaia.
Appunti correlati Invia appunti e guadagna

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community