This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Chapter 8Chapter 8Integer Linear ProgrammingInteger Linear Programming
Types of Integer Linear Programming ModelsTypes of Integer Linear Programming Models Graphical and Computer Solutions for an All-Graphical and Computer Solutions for an All-
Integer Linear ProgramInteger Linear Program Applications Involving 0-1 VariablesApplications Involving 0-1 Variables Modeling Flexibility Provided by 0-1 Modeling Flexibility Provided by 0-1
Types of Integer Programming ModelsTypes of Integer Programming Models
An LP in which all the variables are restricted An LP in which all the variables are restricted to be integers is called an to be integers is called an all-integer linear all-integer linear program program (ILP).(ILP).
The LP that results from dropping the integer The LP that results from dropping the integer requirements is called the requirements is called the LP RelaxationLP Relaxation of the of the ILP.ILP.
If only a subset of the variables are restricted If only a subset of the variables are restricted to be integers, the problem is called a to be integers, the problem is called a mixed-mixed-integer linear programinteger linear program (MILP). (MILP).
Binary variables are variables whose values Binary variables are variables whose values are restricted to be 0 or 1. If all variables are are restricted to be 0 or 1. If all variables are restricted to be 0 or 1, the problem is called a restricted to be 0 or 1, the problem is called a 0-1 or binary integer linear program0-1 or binary integer linear program. .
Solving the problem as a linear program Solving the problem as a linear program ignoring the integer constraints, the optimal ignoring the integer constraints, the optimal solution to the linear program gives fractional solution to the linear program gives fractional values for both values for both xx11 and and xx22. From the graph on . From the graph on the next slide, we see that the optimal solution the next slide, we see that the optimal solution to the linear program is:to the linear program is:
If we round up the fractional solution If we round up the fractional solution ((xx11 = 2.5, = 2.5, xx22 = 1.5) to the LP relaxation = 1.5) to the LP relaxation problem, we get problem, we get xx11 = 3 and = 3 and xx22 = 2. From the = 2. From the graph on the next slide, we see that this graph on the next slide, we see that this point lies outside the feasible region, making point lies outside the feasible region, making this solution infeasible. this solution infeasible.
By rounding the optimal solution down to By rounding the optimal solution down to xx11 = 2, = 2, xx22 = 1, we see that this solution indeed = 1, we see that this solution indeed is an integer solution within the feasible is an integer solution within the feasible region, and substituting in the objective region, and substituting in the objective function, it gives function, it gives zz = 8. = 8.
We have found a feasible all-integer We have found a feasible all-integer solution, but have we found the OPTIMAL all-solution, but have we found the OPTIMAL all-integer solution?integer solution?
------------------------------------------
The answer is NO! The optimal solution The answer is NO! The optimal solution is is xx11 = 3 and = 3 and xx22 = 0 giving = 0 giving zz = 9, as evidenced = 9, as evidenced in the next two slides. in the next two slides.
When When xxii and and xxjj represent binary variables represent binary variables designating whether projects designating whether projects ii and and jj have been have been completed, the following special constraints may completed, the following special constraints may be formulated:be formulated:
• At most At most kk out of out of nn projects will be completed: projects will be completed: xxjj << kk jj
• Project Project jj is is conditionalconditional on project on project ii: :
xxjj - - xxii << 0 0
• Project Project ii is a is a corequisitecorequisite for project for project jj: :
xxjj - - xxii = 0 = 0
• Projects Projects ii and and jj are are mutually exclusivemutually exclusive: :
Metropolitan has decided that they Metropolitan has decided that they should not stock projection TVs unless they should not stock projection TVs unless they stock either TV/VCRs or color TVs. Also, they stock either TV/VCRs or color TVs. Also, they will not stock both VCRs and DVD players, and will not stock both VCRs and DVD players, and they will stock video games if they stock color they will stock video games if they stock color TVs. Finally, the company wishes to introduce TVs. Finally, the company wishes to introduce at least three new product lines. at least three new product lines.
If the company has $45,000 to invest If the company has $45,000 to invest and 420 sq. ft. of floor space available, and 420 sq. ft. of floor space available, formulate an integer linear program for formulate an integer linear program for Metropolitan to maximize its overall expected Metropolitan to maximize its overall expected return.return.
Define the Decision VariablesDefine the Decision Variables
xxjj = 1 if product line = 1 if product line jj is introduced; is introduced;
= 0 otherwise.= 0 otherwise.
where:where:Product line 1 = TV/VCRsProduct line 1 = TV/VCRsProduct line 2 = Color TVsProduct line 2 = Color TVsProduct line 3 = Projection TVsProduct line 3 = Projection TVsProduct line 4 = VCRsProduct line 4 = VCRsProduct line 5 = DVD PlayersProduct line 5 = DVD PlayersProduct line 6 = Video GamesProduct line 6 = Video GamesProduct line 7 = Home ComputersProduct line 7 = Home Computers
Tina's Tailoring has five idle tailors and Tina's Tailoring has five idle tailors and four custom garments to make. The estimated four custom garments to make. The estimated time (in hours) it would take each tailor to make time (in hours) it would take each tailor to make each garment is shown in the next slide. (An 'X' each garment is shown in the next slide. (An 'X' in the table indicates an unacceptable tailor-in the table indicates an unacceptable tailor-garment assignment.)garment assignment.)
Cautionary Note About Sensitivity Cautionary Note About Sensitivity AnalysisAnalysis
Sensitivity analysis often is more crucial for ILP Sensitivity analysis often is more crucial for ILP problems than for LP problems.problems than for LP problems.
A small change in a constraint coefficient can A small change in a constraint coefficient can cause a relatively large change in the optimal cause a relatively large change in the optimal solution.solution.
Recommendation: Resolve the ILP problem Recommendation: Resolve the ILP problem several times with slight variations in the several times with slight variations in the coefficients before choosing the “best” coefficients before choosing the “best” solution for implementation.solution for implementation.