PROBLEMA PRIMALE:

(P)
min cTx
Mx=b
x 0n

PROBLEMA DUALE:
(D)
max bTy
MT y c

Primale: n variabili; m vincoli

Duale: m variabili; n vincoli
Una variabile primale per ogni vincolo duale: x n ; cn
Una variabile duale per ogni vincolo primale: ym ; bm
Il vettore costo primale e` il vettore dei termini noti duale
Il vettore costo duale e` il vettore dei termini noti primale
Le variabili duali non sono ristrette in segno
Teorema della Dualit Debole
DATE x: Mx=b; x 0n
Soluzione primale
ABBIAMO:
DIM.

y: MTy c
Soluzione duale

cTx bTy

cTx = (x)Tc (x)TMTy = (Mx)Ty = bTy

Teorema della Dualit Forte

Mx*=b; x* 0n
MTy* c

Soluzione primale
Soluzione duale

OTTIME PER I RISPETTIVI PROBLEMI

SE E SOLO SE:

cTx*= bTy*

DIM.

SE cTx*= bTy*

x*, y* ottime per i rispettivi problemi

[Teorema della Dualita Debole]

Viceversa: SE x*, y* ottime per i rispettivi problemi

Supponi (per assurdo) che cTx*> bTy*

Supponi che x* sia una Soluzione

di base ottima prodotta dal Simplesso

0nm

T
F

T
B

c c B F 0nm

Costi ridotti non negativi

*
B

*
F

Mx Bx Fx b
xB* B1b

x* *
xF 0nm

cT x* cBT B1b

Teorema della Dualit Forte - continuazione

PROBLEMA DUALE

Partizionato utilizzando la matrice di base B

T
B
T
F

B y cB y B c
M y T
T
F y cF y F c
T

T
B

( y) c B

Il vettore

una soluzione duale

T
B

Infatti

T
B

c B Bc

T
F

0nm

T
B

c c B F 0nm

cTB B1F cFT

.. e quindi
T

T
B

c x* c B b y b b y

Contraddicendo lottimalit
di y* (cTx*> bTy*)

Teorema dello Scarto Complementare

Mx*=b; x* 0n
MTy* c

Soluzione primale
Soluzione duale

OTTIME PER I RISPETTIVI PROBLEMI

SE E SOLO SE: (x*)T(c- MTy*)=0

DIM.
(x*)T(c- MTy*) = 0
(x*)Tc- (x*)TMTy*

cTx* - (Mx*)Ty*=0
cTx* - bTy*=0
x*, y* ottime per i rispettivi problemi

Dualit Forte

Ammissibilit e Limitatezza
PRIMALE ILLIMITATO

DUALE INAMMISSIBILE

DUALE ILLIMITATO

PRIMALE INAMMISSIBILE

DUALE AMMISSIBILE

PRIMALE LIMITATO

PRIMALE AMMISSIBILE

DUALE LIMITATO

I DUE PROBLEMI POSSONO ESSERE ENTRAMBI INAMMISSIBILI

MA NON ENTRAMBI ILLIMITATI !