Professional Documents
Culture Documents
CO350 Linear Programming Chapter 5: Basic Solutions: 1st June 2005
CO350 Linear Programming Chapter 5: Basic Solutions: 1st June 2005
Recap
On Monday, we learned
• Theorem 5.3
Consider an LP in SEF with rank(A) = # rows. Then
x∗ is bfs ⇐⇒ x∗ is extreme point of the feasible region.
• Theorem 5.4
Consider an LP in SIF. Then
x∗ is bfs ⇐⇒ x∗ is extreme point of the feasible region.
Chapter 5: Basic Solutions 2
Proof: (cont’d)
Key ingredient:
Show that if x∗ is optimal but not basic, then there is
an optimal solution with more zeros entries than x∗ .
So far we assumed x∗ optimal but not basic and obtained
non-zero vector d ∈ Rn such that
(1) Ad = 0, cT d = 0, and
Motivation
Consider LP in SEF where A is m-by-n with rank m.
max. cT x
(P ) s.t. Ax = b
x ≥ 0
For the basis B = {3, 4, 5}, we already have the basic vari-
ables x3 , x4 , x5 in terms of the nonbasic variables x1 , x2 .
z − 5x1 − 3x2 = 0
2x1 + 3x2 + x3 = 15
2x1 + x2 + x4 = 9
x1 − x2 + x5 = 3
8 1
z + x
3 4
− x
3 5
= 23
1 2
x2 + x
3 4
− x
3 5
= 1
1 1
x1 + x
3 4
+ x
3 5
= 4
5 4
x3 − x
3 4
+ x
3 5
= 4
Chapter 6: The Simplex Method 8
z + x1 + 3x4 = 27
2x1 + x2 + x4 = 9
−4x1 + x3 − 3x4 = −12
3x1 + x4 + x5 = 12
1 9
z + x
4 3
+ x
4 4
= 24
1 1
x2 + x
2 3
− x
2 4
= 3
1 3
x1 − x
4 3
+ x
4 4
= 3
3 5
x
4 3
− x
4 4
+ x5 = 3
z − 3x1 + x3 = 15
2 1
x
3 1
+ x2 + x
3 3
= 5
4 1
x
3 1
− x
3 3
+ x4 = 4
5 1
x
3 1
+ x
3 3
+ x5 = 8