Introduction To Integer Programming (IP) Difficulties of LP Relaxation IP Formulations Branch and Bound Algorithms
Introduction To Integer Programming (IP) Difficulties of LP Relaxation IP Formulations Branch and Bound Algorithms
Difficulties of LP relaxation
IP Formulations
1
Integer Programming Model
2
Classifications of IP Models
Pure IP Model: Where all variables must take integer values.
Maximize z = x1 - x2
subject to x1 + 2x2 2
2x1 - x2 1, x1, x2 = 0 or 1
3
Classifications of IP Models (contd.)
LP Relaxation: The LP obtained by omitting all integer or 0-1
constraints on variables is called the LP relaxation of IP.
IP:
Maximize z = 21x1 + 11x2
subject to
7x1 + 4x2 13
x1, x2 0, x1 and x2 integer
LP Relaxation:
Maximize z = 21x1 + 11x2
subject to
7x1 + 4x2 13
x1, x2 0
Result:
Optimal objective function value of IP
Optimal objective function value of LP relaxation
4
IP and LP Relaxation
3
x
2
x
x2 7x1 + 4x2= 13
1
x
x x x x
1 2 3
x1
5
Simple Approaches for Solving IP
Approach 1:
Approach 2:
6
The use of binary variables in constraints
To illustrate
7
The use of binary variables in constraints
Example
A decision is to be made whether each of three plants should be built (Y i
= 1) or not built (Yi = 0)
8
Capital Budgeting Problem
Stockco Co. is considering four investments
Investment 1 2 3 4
choice
Cash $5000 $7000 $4000 $3000
outflow
NPV $16000 $22000 $12000 $8000
IP:
9
Fixed Charge Problem
Gandhi cloth company manufactures three types of clothing: shirts,
shorts, and pants
There are 150 hours of labor available per week and 160 square yards of
cloth
10
Fixed Charge Problem (contd.)
Decision Variables:
Formulation:
11
Either-Or Constraints
Dorian Auto is considering manufacturing three types of auto:
compact, midsize, large.
Resources required and profits obtained from these cars are given
below.
12
Either-Or Constraints (contd.)
Decision Variables:
Formulation:
13
Set Covering Problems
Western Airlines has decided to have hubs in USA.
14
Formulation of Set Covering Problems
Decision Variables:
Minimize xAT + xBO + xCH + xDE + xHO + xLA + xNO + xNY + xPI + xSL + xSF + xSE
subject to
AT BO CH DE HO LA NO NY PI SL SF SE Required
AT 1 0 1 0 1 0 1 1 1 0 0 0 xAT >= 1
BO 0 1 0 0 0 0 0 1 1 0 0 0 xBO >= 1
CH 1 0 1 0 0 0 1 1 1 0 0 0 xCH >= 1
DE 0 0 0 1 0 0 0 0 0 1 0 0 xDE >= 1
HO 1 0 0 0 1 0 1 0 0 0 0 0 xHO >= 1
LA 0 0 0 0 0 1 0 0 0 1 1 0 xLA >= 1
NO 1 0 1 0 1 0 1 0 0 0 0 0 xNO >= 1
NY 1 1 1 0 0 0 0 1 1 0 0 0 xNY >= 1
PI 1 1 1 0 0 0 0 1 1 0 0 0 xPI >= 1
SL 0 0 0 1 0 1 0 0 0 1 1 1 xSL >= 1
SF 0 0 0 0 0 1 0 0 0 1 1 1 xSF >= 1
SE 0 0 0 0 0 0 0 0 0 1 1 1 xSE >= 1
15
Additional Applications
Political redistricting
Capital investments
16
Branch and Bound Algorithm
17
Example:
s.t.
18
Solved as LP by Simplex method
19
An Example
Telfa Corporation makes tables and chairs
20
Feasible Region for Telfa’s Problem
Subproblem 1 : The LP relaxation of
original
Subproblem 2: Subproblem 1 +
Constraint x1 4
Subproblem 3: Subproblem 1 +
Constraint x1 3
21
Feasible Region for Subproblems
Branching : The process of
decomposing a subproblem into two
or more subproblems is called
branching.
Subproblem 4: Subproblem 2 +
Constraint x2 2
Subproblem 5: Subproblem 2 +
Constraint x2 1
22
Feasible Region for Subproblems 4 & 5
23
The Branch and Bound Tree
Subproblem 1
z = 41.25
1 x1 = 3.75
x2 = 2.25
x1 4 x1 3
Subproblem 2 Subproblem 3
z = 41
2 x1 = 4
x2 = 1.8
x2 2 x2 1
Subproblem 4 Subproblem 5
3 Infeasible 4
z = 40.05, x1 = 4.44, x2 = 1
Optimal solution of
Subproblem 7:
z = 37, x1 = 4, x2 = 1
Optimal solution of
Subproblem 6:
z = 40, x1 = 5, x2 = 0
25
The Branch and Bound Tree
Subproblem 1
1 z = 41.25
x1 = 3.75
x2 = 2.25
x1 4 x1 3
Subproblem 2 Subproblem 3
z = 41 z = 39
7
2 x1 = 4 x1 = 3
x2 = 1.8 x2 = 3,
x2 2 x2 1
Subproblem 5
Subproblem 4 z = 40.55
3 Infeasible x1 = 4.44 4
x2 = 1
Subproblem 6 Subproblem 7
z = 40 z = 37
6 x1 = 5 x1 = 4 5
x2 = 0, x2 = 1
26
Solving Knapsack Problems
Max z = 16x1+ 22x2 + 12x3 + 8x4
subject to
LP Relaxation:
27
The Branch and Bound Tree
Subproblem 1
z = 44
1 x1 = x 2 = 1
x3 =.5
x3 = 1
x3 = 0
Subproblem 3
Subproblem 2
z = 43.7
z = 43.3, LB=42 2
x1 =x3= 1,
7 x1 = x2=1
x2 = .7, x4=0
x3 = 0, x4 =.67
x2 = 1
x4 = 0 x4 = 1 x2 = 0
3 4
Subproblem 8 Subproblem 9 Subproblem 4 Subproblem 5
z = 38, LB=42 z= 42.85, LB=42 z = 36 z = 43.6
8 x1 = x2=1 9 x1 = x4 =1 x1 = x3=1 x1 =.6, x2=x3=1
x3 = x 4 = 0 x3 = 0, x2 = .85 x2 = 0, x4 =1 x4 = 0, LB = 36
x1 = 0 x1 = 1
Subproblem 6
z = 42 Subproblem 7
x1 =0, x2=x3=1 LB = 42
5 6
Infeasible
x4 = 1, LB = 42
28
Strategies of Branch and Bound
The branch and bound algorithm is a divide and conquer
algorithm, where a problem is divided into smaller and smaller
subproblems. Each subproblem is solved separately, and the
best solution is taken.
29
Strategies of Branch and Bound (contd.)
Upper Bounding Strategy: The process of obtaining an upper
bound (UB) for each subproblem is called an upper bounding
strategy.
30
11.6 分枝界限法及其在二位元整數規劃的應用
31
分枝界限法的步驟
分枝
界限
洞悉
32
分枝
33
界限
34
洞悉
35
洞悉測試摘要
36
BIP 分枝界限演算法摘要
37
38
完成例題解題過程
39
40
41
應用分枝界限法的其他選擇
42
11.7 混合整數規劃之分枝界限演算法
43
MIP 分枝界限演算法摘要
44
45
46
47
48
49
50
51
52
53
54