L19 LP Two_Phase Simplex

advertisement

L19 LP part 5

• Review

• Two-Phase Simplex Algotithm

• Summary

• Test 3 results

1

Single Phase Simplex Method

• Finds global solutions, if they exist

• Identifies multiple solutions

• Identifies unbounded problems

• Identifies degenerate problems

And, as we shall see in two-phase Simplex

Method, it also…

• identifies infeasible problems

2

Multiple Solutions

Non-basic c i

’=0

Non-unique global solutions, ∆ f = 0

3

Unbounded problem

2 x

1

1 x x

2

2

1 x

3 x

3

0 x

1

Non-basic pivot column coefficients a ij

< 0

4

Degenerate basic solution

First Tableau row basic e x1 f g h x4 x5 c' x1

1

0

0

0 x2

2

3

4

-2 x3

1

2

-1

-4 x4

0

1

0

0 x5

0

0

1

0

0

0 b b/a_pivot

3 3/1

0/2 neg

2.25

f=-2.25

One or more basic variable(s) = 0 min n/a

Simplex method will move to a solution, slowly

In rare cases it can “cycle” forever.

5

What’s next?

Single-Phase Simplex Method handles

“ ≤” inequality constraints

But, LP problems have “=” and “ ≥ ” constraints!

Such a tableau would not be feasible!

6

Simplex Method requires an

Max F initial basic feasible solution

 

1

4 x

2 x x

2

1 x

1

 x x

1 2

2 x x

1 2 x

2

2

0

 

5

4

   

1

“=” and or “ ≥” constraints or bj<0 (neg resource limits) cause infeasibility problems!

i.e. need canonic form to start Simplex

7

Can we transform to canonic form?

Max F

 

1

4 x

2 x x

2

1

2 x x

1 2

2 x x

1 2 x x

1 2

0

 

5

4

   

1

Min f

  

1

4 x

2 x

1

2 x

2

 x

3

2 x

1

 x

2

4 x

1

 x

2

 x

4

 x x

1 2

0

1

5

8

Basic Feasible Solution?

Initial tableau requires 3 identity columns for 3 basic variables (m=3)!

Min f

  

4 x

2

2

1 x

1

2 x

2

1 x

3

0 x

4

5 x

1

1 x

1 x x

2 x

2 x

2

0

0 x

3 x

0 x

4 x

   

4

0 1 1

3 4

Missing third basic variable! Bad!

Need “+1”, Bad!

9

Need two phases

• Phase I - finds a feasible basic solution

• Phase II- finds an optimal solution, if it exists.

Two-phase Simplex Method using artificial variables!

10

What is so darn infeasible?

Recall, in LaGrange technique, how we insured that an equation is not “violated”, i.e. feasible…

Min f

We set h j

=0 and g j

+s j

=0

  

1

4 x

2 x

1

2 x

2

 x

3

2 x

1

 x

2

4 x

1

 x

2

 x

4

 x x

1 2

0

1

5 h

1 g

2

: 4 (2 x

1

 x

2

)

0

:1 ( x

1

 x

2

 x

4

)

0

11

Use Artificial Variables x5, x6 to

Obtaining feasibility!

x

5 x

6

4 (2 x

1

 x

2

0 x

3

0 x

4

)

0

1 ( x

1

 x

2

0 x

3

1 )

4

0

Use the simplex method to minimize an artificial cost function w (i.e. w=0).

Minimize w

 x

5

 x

6

Min w

Min w

(4 2 x x

1

 x x

2

) (1 x x x x

1 2 4

 

1

0

2

0

3

1 x

4

)

12

Tableau w/Artificial Variables x5,x6

Min f

  

1

4 x

2

1 x

1

2 x

2

1 x

3

0 x

4

0 x

5

0 x

6

5

2 x

1

1 x

2

0 x

3

0 x

4

1 x

5

0 x

6

4

1 x

1 x x

1 2

1

 x

0

2

0 x

3

1 x

4

0 x

5

1 x

6

1

Canonic form,

Phase I

Min w 5 3 x

1

0 x

2

0 x

3

1 x

4 i.e. feasible basic solution!

Simplex Tableau row a b basic x3 x5 c d e x6 cost art cost

1

-1

-3 x1

1

2

-1

-4

0 x2

2

1

0

0

0 x3

1

0

-1

0

1 x4

0

0

0

0

0 x5

0

1

1

0

0 x6

0

0

1

0

-5 b

5

4 b/a_pivot

13

Transforming Process

1. Convert Max to Min, i.e. Min f(x) = Min -F(x)

2. Convert negative bj to positive, mult by(-1)

3. Add slack variables

4. Add surplus variables

5. Add artificial var’s for “=” and or “ ≥” constraints

6. Create artificial cost function,

( x art 1

 x art 2 x artw

)

14

Table 8.17

x

1

5 / 3 x

2

2 / 3 x

3 f

2 x x x

4 5 6

0

 

13 / 3 after w=0, ignore art. var’s reduced cost

Feasible when w=0

15

Two-Phase Simplex method

Phase I

 Transform infeasible LP to feasible using artificial variables.

 Use Simplex Meth. To minimize artificial cost function (i.e. art. cost row).

If w ≠ 0, problem is infeasible!

Phase II

 Use Simplex meth to min. reduced cost function

(i.e.row)

Ignore art. Var’s when choosing pivot columns!

16

Transformation example Ex8.65

take out a sheet of paper…

Max F x

10 x

1

6 x

2

2 x

1

3 x

2

90

4 x

 x

1

2

15

2

80 x

2

5 x

1

 x

2

 x x

1 2

0

25

Min f x

 

10 x

1

6 x

2

2 x

1

3 x

2

 x

3

4 x

5

2 x x x

1

 x

5

2

2

 

15

25

4

 x i x x

1 2

0

90

80

17

Phase I canonical form

Min f x

 

10 x

1

6 x

2

2 x

1

3 x

2

 x

3

4 x

5

2 x x x

1

 x

5

2

2

 

15

25

4

 x i x x

1 2

0

90

80

Min f x

 

10 x

1

6 x

2

2

4 x x

1

1

3

2 x x

2

2

 x x

  

3

4

90

80 x x x

2 5 6

5

  

2 7

15

25 x i x

1 x x

0

18

Summary

• Need for initial basic feasible solution

(i.e. canonic form)

• Phase I – solve for min “artificial cost” use artifical var’s for “=” and or “ ≥” constraints

• Phase II –solve for min “cost”

• Simplex method determines:

Multiple solutions (think c’)

Unbounded problems (think pivot a ij

<0)

Degenerate Solutions (think b j

=0)

Infeasible problems (think w≠0)

19

Download