Integer Programming Part 2 Assoc. Prof. Dr. Arslan M. RNEK 1 9.3. - - PowerPoint PPT Presentation

integer programming
SMART_READER_LITE
LIVE PREVIEW

Integer Programming Part 2 Assoc. Prof. Dr. Arslan M. RNEK 1 9.3. - - PowerPoint PPT Presentation

Chapter 9 Integer Programming Part 2 Assoc. Prof. Dr. Arslan M. RNEK 1 9.3. Branch-and-Bound Method (Pure IP) Branch-and-Bound methods find the optimal solution to an IP by efficiently enumerating the points in a subproblems feasible


slide-1
SLIDE 1

Chapter 9 Integer Programming Part 2

  • Assoc. Prof. Dr. Arslan M. ÖRNEK

1

slide-2
SLIDE 2

2

9.3. Branch-and-Bound Method (Pure IP)

  • Branch-and-Bound methods find the optimal solution to an IP by

efficiently enumerating the points in a subproblem’s feasible region.

  • IMPORTANT OBSERVATION: If you solve the LP relaxation of a

pure IP and obtain a solution in which all variables are integers, then the optimal solution to the LP relaxation is also the optimal solution to the IP.

slide-3
SLIDE 3

3

9.3. Branch-and-Bound Method (Pure IP)

  • The Telfa Corporation manufactures tables and chairs.
  • A table requires 1 hour of labor and 9 square board feet of wood,

and a chair requires 1 hour of labor and 5 square board feet of wood.

  • Currently, 6 hours of labor and 45 square board feet of wood are

available.

  • Each table contributes $8 to profit, and each chair contributes $5

to profit.

  • Formulate and solve an IP to maximize Telfa’s profit.
slide-4
SLIDE 4

4

9.3. Branch-and-Bound Method (Pure IP)

slide-5
SLIDE 5

5

9.3. Branch-and-Bound Method (Pure IP)

Upper bound

slide-6
SLIDE 6

6

9.3. Branch-and-Bound Method (Pure IP)

  • Chose any variable that is

fractional at the moment.

  • Let’s chose x1:
  • At the optimal solution it

can be either <=3 or >=4.

  • We partition the solution

space by branching on this variable.

  • Two new subproblems:
slide-7
SLIDE 7

7

9.3. Branch-and-Bound Method (Pure IP)

  • Chose a subproblem to solve

(arbitrarily):

  • Subproblem 2 LP relaxation:
slide-8
SLIDE 8

8

9.3. Branch-and-Bound Method (Pure IP)

A node of the branch and bound tree An arc of the branch and bound tree Solution not integer, branch

  • n x2
slide-9
SLIDE 9

9

9.3. Branch-and-Bound Method (Pure IP)

Chose this node to solve (LIFO): Infeasible – Fathomed. Then, chose this node

slide-10
SLIDE 10

10

9.3. Branch-and-Bound Method (Pure IP)

Upper bound Subproblem 5:

slide-11
SLIDE 11

11

9.3. Branch-and- Bound Method (Pure IP)

slide-12
SLIDE 12

12

9.3. Branch-and- Bound Method (Pure IP)

Lower bound on the original IP: Incumbent Solution

slide-13
SLIDE 13

13

9.3. Branch-and- Bound Method (Pure IP)

NEW Lower bound

  • n the original IP

New Incumbent Solution

slide-14
SLIDE 14

14

9.3. Branch-and-Bound Method (Pure IP)

  • Only remaining subproblem:
  • Subproblem 3: Solve LP relaxation:

This is smaller than the current LB , so fathom.

slide-15
SLIDE 15

15

9.3. Branch-and- Bound Method (Pure IP)

Incumbent Solution = Best LB = Optimal Solution

slide-16
SLIDE 16

16

9.3. Branch-and-Bound Method (Pure IP)

slide-17
SLIDE 17

17

9.4. Branch-and-Bound Method (Mixed IP)

  • In a mixed IP, some variables are required to be integers and
  • thers are allowed to be either integers or nonintegers.
  • Branch only on variables that are required to be integers.

Optimal solution of the LP-relaxation:

slide-18
SLIDE 18

Branch-and-Bound Method (Binary Prog.)

18

slide-19
SLIDE 19

Prototype Example: Bounding

19

slide-20
SLIDE 20

Prototype Example: Bounding

20

slide-21
SLIDE 21

Prototype Example: Fathoming

  • A subproblem can be fathomed in three ways:
  • 1. LP relaxation of the subproblem gives an integer

solution, so we do not need to branch further, the subproblem is solved optimally.

21

slide-22
SLIDE 22

Prototype Example: Fathoming

  • A subproblem can be fathomed in three ways:
  • 2. A subproblem is fathomed if its bound ≤ incumbent soln.
  • Ex. Since Z*=9, there is no need to consider any solution

whose bound is below 9.

22

slide-23
SLIDE 23

Prototype Example: Fathoming

  • A subproblem can be fathomed in three ways:
  • 3. If a subproblem’s LP relaxation has no feasible solution,

then the subproblem itself must have no feasible solutions, so it can be dismissed (fathomed).

23

slide-24
SLIDE 24

Prototype Example continued – Iteration 2

24

slide-25
SLIDE 25

Prototype Example continued – Iteration 2

Cannot fathom. Cannot fathom.

25

slide-26
SLIDE 26

Prototype Example continued – Iteration 2

Resulting solution tree after iteration 2:

26

slide-27
SLIDE 27

Prototype Example continued- Iteration 3

27

slide-28
SLIDE 28

Prototype Example continued – Iteration 3

Resulting solution tree after iteration 3:

28

slide-29
SLIDE 29

Prototype Example continued- Iteration 4

New incumbent!

29

slide-30
SLIDE 30

Prototype Example continued – Iteration 3

Resulting solution tree after iteration 4 (final):

30

slide-31
SLIDE 31

B&B for Minimization Problems

31