Simplex method algebraic interpretation 1 Add slack variables
Simplex method (algebraic interpretation) (1) Add slack variables(여유변수) to each constraint to convert them to equations. (We may refer it as an augmented LP) (2) OR-1 2012 1
q OR-1 2012 2
q Remark: If LP includes equations in the constraints, we need to replace each equation with two inequalities to express the problem in standard form as we have seen earlier. Then we may add slack or surplus variables to convert them to equations. However, this procedure will increase the number of constraints and variables. Equations in an LP can be handled directly without changing them to inequalities. Detailed method will be explained in Chap 8. General LP Problems. For the time being, we assume that we follow the standard procedure to replace each equation with two inequalities to obtain a standard form. OR-1 2012 3
Changes in the solution space when slack is added q x 2 x 3 1 1 x 2 Solution set is still 2 -dimensional OR-1 2012 4
q. Next let Then find solution to the following system which maximizes z (tableau form) In the text, dictionary form is used, i. e. each dependent variable (including z) (called basic variable) is expressed as linear combinations of indep. var. (called nonbasic variable). (Note that, unlike the text, we place the objective function in the first row. Such presentation style is used more widely and we follow that convention) OR-1 2012 5
q From previous lectures, we know that if the polyhedron P has at least one extreme point and the LP over P has a finite optimal value, the LP has an extreme point optimal solution. Also an extreme point of P for our problem is a basic feasible solution algebraically. We obtain a basic solution by setting x 1 = x 2 = x 3 = 0 and finding the values of x 4, x 5, and x 6 , which can be read directly from the dictionary. (also z values can be read. ) If all values of x 4, x 5, and x 6 are nonnegative, we obtain a basic feasible solution. OR-1 2012 6
q Now, we look for another basic feasible solution (extreme point of the polyhedron) which gives a better objective value than the current solution. Such solution can be examined by setting 7 – 4 = 3 variables at 0 (called nonbasic variables) and solve the equations for the remaining 4 variables (called basic variables). Here z may be regarded as a basic variable and it remains basic at any time during the simplex iterations. OR-1 2012 7
q OR-1 2012 8
(continued) x 1 (5/2) most binding (called ratio test), get new solution x 1 = (5/2), x 2, x 3 = 0, x 4 = 0, x 5 = 1, x 6 = (1/2), z = 25/2 This is a new basic feasible solution since x 4 now can be treated as a nonbasic variable (has value 0) and x 1 is basic. (We need a little bit of caution here in saying that the new solution is a basic feasible solution since we must be able to obtain it by setting x 2, x 3, and x 4 at 0 and obtain a unique solution after solving the remaining system of equations) OR-1 2012 9
q Change the dictionary so that the new solution can be directly read off x 1 : 0 (5/2), x 4 : 5 0 So change the role of x 1 and x 4 becomes independent (nonbasic) variable and x 1 becomes dependent (basic) variable. Why could we find a basic feasible solution easily? 1) all independent(nonbasic) variables appear at the right of equality (have value 0) 2) each dependent (basic) variable appears in only one equation 3) each equation has exactly one basic variable appearing ( z variable may be interpreted as a basic variable, but usually it is treated separately since it always remains basic and it is irrelevant to the description of the feasible solutions) So change the dictionary so that it satisfies the above properties. OR-1 2012 10
OR-1 2012 11
q OR-1 2012 12
Equivalent to performing row operations OR-1 2012 13
q OR-1 2012 14
q OR-1 2012 15
q OR-1 2012 16
q Moving directions in Rn in the example x 1 = (5/2), x 2, x 3 = 0, x 4 = 0, x 5 = 1, x 6 = (1/2), z = 25/2 OR-1 2012 17
Geometric meaning of an iteration q Notation x 2=0 x 1=0 x 3=0 x 1 x 2 OR-1 2012 18
q Our example : assume x 2 does not exist. It makes the polyhedron 2 dimensional since we have 5 variables and 3 equations (except nonnegativity and objective row) x 3=0 A x 1=0 x 4=0 OR-1 2012 x 6=0 d B 19
Terminology q OR-1 2012 20
q OR-1 2012 21
q The set of basic variables is called a basis (기저) of the basic solution. (note that the set of colubasic variables spans the subspace generated by the columns of A matrix. ) q In a simplex iteration, the nonbasic variable which becomes basic in that iteration is called entering (nonbasic) variable (도입변수) and the basic variable which becomes nonbasic is called leaving (basic) variable (탈락 변수) q Minimum ratio test (최소비율검사) : test to determine the leaving basic variable q Pivoting : computational process of constructing the new dictionary (elementary row operations) OR-1 2012 22
Remarks q The basic feasible solution to the augmented form is an extreme point of the corresponding polyhedron. Also it corresponds to the extreme point of the polyhedron for standard LP (after ignoring the slack variables). (If the given LP is not in standard form, we should be careful in saying the equivalence, especially when free variables exist. ) q Simplex method searches the extreme points of the polyhedron during the iterations. q Note that we used (though without proof) the equivalence of the extreme points (geometric definition) and the basic feasible solution (algebraic definition) for augmented form LP. OR-1 2012 23
q OR-1 2012 24
Obtaining all optimal solutions OR-1 2012 25
q Another example OR-1 2012 26
Tableau format q OR-1 2012 27
q Tableau format only maintains coefficients in the equations. It is convenient to carry out simplex iterations in the tableau. OR-1 2012 28
- Slides: 28