24.03.2013 Views

Linear Programming Lecture Notes - Penn State Personal Web Server

Linear Programming Lecture Notes - Penn State Personal Web Server

Linear Programming Lecture Notes - Penn State Personal Web Server

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

3. Strong Duality<br />

Lemma 9.7. Problem D has an optimal solution w∗ ∈ Rm if and only if there exists<br />

vector x∗ ∈ Rn and s∗ ∈ Rm such that:<br />

∗<br />

w A ≥ c<br />

Primal Feasibility<br />

w ∗ (9.15)<br />

≥ 0<br />

⎧<br />

⎪⎨<br />

Ax<br />

Dual Feasibility<br />

⎪⎩<br />

∗ + s ∗ = b<br />

x ∗ ≥ 0<br />

s ∗ (9.16)<br />

≥ 0<br />

∗ ∗<br />

(w A − c) x = 0<br />

(9.17) Complementary Slackness<br />

w ∗ s ∗ = 0<br />

Furthermore, these KKT conditions are equivalent to the KKT conditions for the primal<br />

problem.<br />

Proof. Following the proof of Lemma 9.2, let β = −bT , G = −AT , u = wT and<br />

κ = −cT . Then the dual problem can be rewritten as:<br />

⎧<br />

⎪⎨<br />

max βu<br />

s.t. Gu ≤ κ<br />

⎪⎩<br />

u ≥ 0<br />

Let x T ∈ R 1×n and s T ∈ R 1×m be the dual variables for this problem. Then applying<br />

Theorem 8.7, we obtain KKT conditions for this problem:<br />

(9.18)<br />

(9.19)<br />

(9.20)<br />

We can rewrite:<br />

∗<br />

Gu ≤ κ<br />

Primal Feasibility<br />

u ∗ ≥ 0<br />

⎧<br />

⎪⎨<br />

x<br />

Dual Feasibility<br />

⎪⎩<br />

∗T G − s ∗T = β<br />

x ∗T ≥ 0<br />

s ∗T ≥ 0<br />

<br />

∗T ∗<br />

x (Gu − κ) = 0<br />

Complementary Slackness<br />

Gu ∗ ≤ κ ≡ −A T w T ≤ −c T ≡ wA ≥ c<br />

s ∗T u ∗ = 0<br />

x ∗T G − s ∗T = β ≡ x ∗T (−A T ) − s ∗T = −b T ≡ Ax ∗ + s ∗ = b<br />

x ∗T (Gu ∗ − κ) = 0 ≡ x ∗T (−A T )w ∗T − (−c T ) = 0 ≡ (w ∗ A − c)x ∗ = 0<br />

s ∗T u ∗ = 0 ≡ s ∗T w ∗T = 0 ≡ w ∗ s ∗ = 0<br />

142

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!