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.

the portion of the matrix where the identity matrix stood in the initial tableau. Thus we<br />

can compute w as:<br />

w = cBB −1<br />

Since cB = [5 3] (since x2 and x1 the basic variables at optimality) we see that:<br />

w = 5 3 <br />

1 −1<br />

−1 2<br />

= 2 1 <br />

That is, w1 = 2 and w2 = 1.<br />

Note that w ≥ 0. This is because w is also a dual variable vector for our original problem<br />

(not in standard form). The KKT conditions for a maximization problem in canonical form<br />

require w ≥ 0 (see Theorem 8.7). Thus, it makes sense that we have w ≥ 0. Note this does<br />

not always have to be the case if we do not begin with a problem in canonical form.<br />

Last, we can see that the constraints:<br />

x1 + 2x2 ≤ 60<br />

x1 + x2 ≤ 40<br />

are both binding at optimality (since s1 and s2 are both zero). This means we should be<br />

able to express c = [3 5] T as a positive combination of the gradients of the left-hand-sides<br />

of these constraints using w. To see this, note that w1 corresponds to x1 + 2x2 ≤ 60 and w2<br />

to x1 + x2 ≤ 40. We have:<br />

<br />

1<br />

∇(x1 + 2x2) =<br />

2<br />

<br />

1<br />

∇(x1 + x2) =<br />

1<br />

Then:<br />

w1<br />

<br />

1<br />

+ w2<br />

2<br />

<br />

1<br />

= (2)<br />

1<br />

<br />

1<br />

+ (1)<br />

2<br />

<br />

1<br />

=<br />

1<br />

Thus, the objective function gradient is in the dual cone of the binding constraint. That is,<br />

it is a positive combination of the gradients of the left-hand-sides of the binding constraints<br />

at optimality. This is illustrated in Figure 8.5.<br />

We can also verify that the KKT conditions hold for the problem in standard form.<br />

Naturally, complementary slackness and primal feasibility hold. To see that dual feasibility<br />

holds note that v = [0 0 2 1] ≥ 0. Further:<br />

2 1 1 2 1 0<br />

1 1 0 1<br />

<br />

3<br />

5<br />

<br />

− 0 0 2 1 = 3 5 0 0 <br />

Here 3 5 0 0 is the objective function coefficient vector for the problem in Standard<br />

Form.<br />

Exercise 64. Use a full simplex tableau to find the values of the Lagrange multipliers<br />

(dual variables) at optimality for the problem from Exercise 62. Confirm that complementary<br />

slackness holds at optimality. Lastly show that dual feasibility holds by showing that the<br />

135

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

Saved successfully!

Ooh no, something went wrong!