Graphical Solutions Plot all constraints including nonnegativity ones Determine the feasible region. (The feasible region is the set of feasible solution points) Identify the optimal solution in the feasible region using either – the level curve method – the extreme point method Feasible Regions The feasible region for a two-variable linear programming problem can be nonexistent, a single point, a line, a polygon, or an unbounded area. If a constraint can be removed without affecting the shape of the feasible region, the constraint is said to be redundant. An overconstrained LP that does not have one point satisfying all the constraints simultaneously is said to be infeasible and a feasible region does not exist. The feasible region for the KPiller problem is a polygon, illustrating that an infinite number of feasible solutions exist for this problem. (See class handout). Assuming that a feasible region exists, an optimal solution will always occur at one or more of the extreme points, where an extreme point is a corner point of the feasible region. Level Curves Plot a level curve for a targeted objective function value Level curves are parallel lines that shift away from the origin as the targeted objective function value increases Slide the level curve in the direction of improvement (away from the origin if maximizing, toward the origin if minimizing) until it reaches the last point where it still touches at least one point in the feasible region Solve the two equations which specify the identified feasible point to determine the optimal solution Extreme Point Method Determine all of the extreme points of the feasible region: Extreme Point – – – – (3.5, 3) (6.5, 3) (4.5, 7) (1.5, 9) Calculate the resulting objective function value for each point: Z = 5000*E9 + 4000*F9 – – – – $29,500 $44,500 $50,500 $43,500 Types of LP Solutions Any linear program falls in one of three categories: – is infeasible – has a unique optimal solution or alternate optimal solutions – has an objective function that can be increased without bound In the graphical method, if the objective function line is parallel to a boundary constraint in the direction of optimization, there are alternate optimal solutions, with all points on this line segment being optimal. Solver Result Messages Solver found a solution. All constraints and optimality conditions are satisfied: Solver has correctly identified an optimal solution for the problem you have formulated. Note that there may be alternative optimal solutions possible however. Solver has converged to the current solution. All constraints are satisfied: You have not selected the linear programming option in the Solver options. Thus nonlinear programming is being performed and this is the best solution Solver has found so far. It is not guaranteed to be the optimal one however. Example: Infeasible Problem Solve graphically for the optimal solution: Max s.t. z = 2x1 + 6x2 4x1 + 3x2 < 12 2x1 + x2 > 8 x1, x2 > 0 Example: Infeasible Problem There are no points that satisfy both constraints, x2 hence this problem has no feasible region, and no optimal solution. 2x1 + x2 > 8 8 4x1 + 3x2 < 12 4 3 4 x1 Solver Result Message Solver could not find a feasible solution Possible problems if you know the solution should be feasible are: – too many constraints in Solver – one of the constraints may be entered wrong (e.g. the inequality sign might be going the wrong way) – you may not have the correct changing cells (decision variables) specified in Solver – one or more formulas in the spreadsheet may have been erased. Example: Unbounded Problem Solve graphically for the optimal solution: Max s.t. z = 3x1 + 4x2 x1 + x2 > 5 3x1 + x2 > 8 x 1, x 2 > 0 Example: Unbounded Problem The feasible region is unbounded and the objective function line can be moved parallel to itself without bound so xthat z can be increased infinitely. 2 3x1 + x2 > 8 8 5 x1 + x2 > 5 Max 3x1 + 4x2 2.67 5 x1 Solver Result Messages Set Cell values do not converge: Your model as formulated is unbounded. – One or more constraint is missing from the problem or entered wrong (e.g. an inequality sign is in the wrong direction). – Often times the modeler has forgotten to check the Assume Nonnegativity option in Solver. Note: A feasible region may be unbounded and yet there may be optimal solutions. In the case where the objective does not move in the direction of the unboundedness, you will see the optimal Solver solution message instead of this message. Solver Result Messages The linearity conditions required by this LP Solver are not satisfied: Solver’s preliminary tests indicate that your model is not linear. – Check for use of functions such as IF, MAX, PV, VLOOKUP which create linearity problems. Write the algebraic logic programmed in the objective and constraint cells on paper to ensure linear relationships. – Sometimes this message occurs due to poor scaling (see text section 3.11). If you think your model is linear, try resolving the model again. Often times Solver can find the solution the second time. If not, use the Use Automatic Scaling option in Solver. Solver will attempt to rescale your data. If that doesn’t work, rescale the data yourself.