340 likes | 415 Views
Linear Programming: The Simplex Method. Introduction. Graphical methods are fine for 2 variables. But most LP problems are too complex for simple graphical procedures. The Simplex Method: examines corner points, like in graphing;
E N D
Introduction • Graphical methods are fine for 2 variables. • But most LP problems are too complex for simple graphical procedures. • The Simplex Method: • examines corner points, like in graphing; • systematically examines corner points, using algebra, until an optimal solution is found; • does its searching iteratively.
Introduction Why study the Simplex Method? • The Simplex Method: • Provides the optimal solution to the Xi variables and the maximum profit (or minimum cost). • Provides important economic information. • Understanding how the Simplex Method works is important because • it allows for understanding how to interpret LP computer printouts.
Setting UP the Simplex Method • The algebraic procedure is based on solving systems of equations. • The first step in setting up the simplex method is to convert the functional inequality constraints to equivalent equality constraints. This conversion is accomplished by introducing slack variables. • To illustrate, consider this constraint: X14 The slack variable for this constraint is defined to be S1=4 - X1 which is the amount of slack in the left-hand side of the inequality. Thus X1+S1=4
Example • Objective Function Max. Z=3X1+5X2 • Subject to: X14 X1+S1=4 2X2 12 2X2+S2=12 3X1+2X2 18 3X1+2X2+S3=18 X1,X2 0
The Standard Form of the Model Z-3X1-5X2=0 ..………(0) X1+S1=4 ...……...(1) 2X2+S2=12 ..………(2) 3X1+2X2+X5=18 ………...(3)
Summary of the Simplex Method • Initialization: Introduce slack variables, then constructing the initial simplex tableau. • Optimality Test: The current basic feasible solution is optimal if and only if everycoefficient in row (0) is nonegative (0). If it is, stop; otherwise, go to an iteration to obtain the next basic feasible solution. • Iteration: Step1 Determine the entering basic variable by selecting the variable with negative coefficient having the largest absolute value (i,e., the “most negative” coefficient) in Eq. (0). Put a box around the column below this coefficient, and call this the pivot column.
Summary of the Simplex Method/ continued Step 2 Determine the leaving basic variable by applying the minimum ratio test. Minimum Ratio Test • Pick out each coefficient in the pivot column that is strictly positive (>0). • Divide each of these coefficients into the right side entry for the same row. • Identify the row that has the smallest of these ratios. • The basic variable for that row is the leaving basic variable, so replace that variable by the entering basic variable in the basic variable column of the next simplex tableau. Put a box around this row and call it the pivot row. Also call the number that is in both boxes the pivot number.
Summary of the Simplex Method/ continued Step 3 Solve for the new basic feasible solution by using elementary row operations (by applying Gauss-jordan method), The method effects a change in basis by using two types of computations: 1. Type 1 (pivot equation): new pivot Eq.=old pivot Eq. ÷ pivot number 2. Type 2 (all other eqautions, including Z): new Eq. = old Eq. – (its entering column coefficient) X (new pivot Eq.)
Example • Solve this model using the simplex method: • Objective Function Max. Z=3X1+5X2 • Subject to: X14 2X2 12 3X1+2X2 18 X1,X2 0
Solution • First, the Standard Form of the model: • Z-3X1-5X2=0 ..……….(0) • X1+S1=4 ...……....(1) • 2X2+S2=12 ..…….…(2) • 3X1+2X2+X5=18 ………...(3)
Going to the optimality test, we find that this solution is optimal because none of the coefficients in row (0) is negative, so the algorithm is finished. • Consequently, the optimal solution for this problem is X1=2, X2=6.
Special Cases in Simplex Method Application • We will consider special cases that can arise in the application of the simplex method, which include: • Degeneracy. • Alternative optima (more than one optimum solution). • Unbounded solutions. • Nonexisting (or infeasible) solutions.
Degeneracy • In the application of the feasibility condition, a tie for the minimum ratio may be broken for the purpose of determining the leaving variable. When this happens, however, one or more of the basic variables will necessarily equal zero in the next iteration. • In this case, we say that the new solution is degenerate. (In all LP examples we have solved so far, the basic variables always assumed strictly positive values). • The degeneracy has two implications: The first deals with the phenomenon of cycling or circling (If you look at iterations 1 and 2 in the next example you will find that the objective value has not improved (Z=18)), in general, the simplex procedure would repeat the same sequence of iterations, never improving the objective value and never terminating the computations.
Degeneracy • The second theoretical point arises in the examination of iterations 1 and 2. Both iterations, although differing in classifying the variables as basic and nonbasic, yield identical values of all variables and objective. • An argument thus arises as to the possibility of stopping the computations at iteration 1 (when degeneracy first appears), even though it is not optimum. This argument is not valid because, in general, a solution may be temporarily degenerate.
Degeneracy/example Max. Z=3X1+9X2 ST X1+4X2 8 X1+2X2 4 X1,X2 0
Alternative Optima • When the objective function is parallel to a binding constraint, the objective function will assume the same optimal value at more than one solution point. For this reason they are called alternative optima. • Algebraically, after the simplex method finds one optimal basic feasible (BF) solution, you can detect if there any others and, if so, find them as follows: Whenever a problem has more than one optimal BF solution, at least one of the nonbasic variables has a coefficient of zero in the final row (0), so increasing any such variable will not change the value of Z. Therefore, these other optimal BF solutions can be identified (if desired) by performing additional iterations of the simplex method, each time choosing a nonbasic variable with a zero coefficient as the entering basic variable.
Alternative Optima/example Max. Z=2X1+4X2 ST X1+2X2 5 X1+ X2 4 X1,X2 0
(2, 6) Every point on this darker line segment is optimal, each with z = 18. (4, 3) As in this case, any problem having multiple optimal solutionswill have an infinite number of them, each with the same optimal value of the objective function.
Unbounded Solution • In some LP models, the values of the variables may be increased indefinitely without violating any of the constraints, meaning that the solution space is unbounded in at least one direction. • Unboundedness in a model can point to one thing only. The model is poor constructed. • The general rule for recognizing unboundedness is as follows: If at any iteration the constraint coefficients of a nonbasic variable are nonpositive, then the solution space is unbounded in that direction.
Unbounded Solution/example Max. Z=2X1+X2 ST X1-X2 10 2X1 40 X1,X2 0
Infeasible Solution • If the constraints cannot be satisfied, the model is said to have no feasible solution. This situation can never occur if all the constraints are of the type (assuming nonegative right-side constants), since the slack variable always provides a feasible solution. • However, when we employ the other types of constraints, we resort to the use of artificial variables which may do not provide a feasible solution to the original model. • Although provisions are made to force the artificial variables to zero at the optimum, this can occur only if the model has a feasible space. If it does not, at least one artificial variable will be positive in the optimum iteration. • See the next example, the artificial variable R is positive (=4) in the optimal solution.
Infeasible Solution/example Max. Z=3X1+2X2 ST 2X1+X2 2 3X1 +4X2 12 X1,X2 0