MIP Lifting Techniques for Mixed Integer Nonlinear Programs

63
MIP Lifting Techniques for Mixed Integer Nonlinear Programs Jean-Philippe P. Richard* School of Industrial Engineering, Purdue University Mohit Tawarmalani Krannert School of Management, Purdue University *Supported by NSF DMI0348611

description

MIP Lifting Techniques for Mixed Integer Nonlinear Programs. Jean-Philippe P. Richard* School of Industrial Engineering, Purdue University Mohit Tawarmalani Krannert School of Management, Purdue University. *Supported by NSF DMI0348611. Structure of the Talk. - PowerPoint PPT Presentation

Transcript of MIP Lifting Techniques for Mixed Integer Nonlinear Programs

Page 1: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP Lifting Techniques for Mixed Integer Nonlinear Programs

Jean-Philippe P. Richard*School of Industrial Engineering, Purdue University

Mohit TawarmalaniKrannert School of Management, Purdue University

*Supported by NSF DMI0348611

Page 2: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

2

Structure of the Talk

Page 3: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

3

Page 4: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

4

A Motivation in Integer Programming

Page 5: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

5

A Motivation in Integer Programming

Page 6: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

6

What is MIP Lifting?

Page 7: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

7

Some Literature on MIP lifting

Page 8: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

8

What is Hard about MINLP Lifting?

Page 9: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

9

Overview & Goal of Our Work

Page 10: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

10

Some Nice Features of MINLP Lifting

Page 11: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

11

Page 12: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

12

Goal of Part II

Page 13: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

13

Page 14: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

14

Mixed Integer Nonlinear Knapsack

Page 15: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

15

Mixed Integer Nonlinear Knapsack

Page 16: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

16

Generating Valid Inequalities for PS

Page 17: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

17

A General Lifting Result for PS

Page 18: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

18

Advantages and Limitations of the Lifting Scheme

Page 19: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

19

A Superadditive Lifting Result for PS

Page 20: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

20

A Superadditive Lifting Result for PS

Page 21: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

21

A Superadditive Lifting Result for PS

Page 22: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

22

Page 23: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

23

Application: Bilinear Mixed Integer Knapsack Problem (BMIKP)

Page 24: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

24

BMIKP: Comments

Page 25: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

25

The Convex Hull of PT’ is a Polyhedron

Page 26: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

26

Obtaining Facets of PT using Superadditive Lifting

Page 27: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

27

Obtaining Facets of PT using Superadditive Lifting

Page 28: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

28

Example

Page 29: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

29

Obtaining Facets of PT using Superadditive Lifting

Page 30: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

30

Another Family of Strong Inequalities for PT

Page 31: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

31

Another Family of Strong Inequalities for PT

Page 32: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

32

Example

Page 33: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

33

Page 34: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

34

Page 35: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

35

An Equivalent Integer Programming Formulation for PT

Page 36: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

36

An Equivalent Integer Programming Formulation for PT

Page 37: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

37

Strong Rank-1 Inequalities

Page 38: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

38

High Rank Certificate

Page 39: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

39

Lifted Cover Cuts for BMIKP are not Strong Rank-1

Page 40: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

40

Towards the Next Step…

Page 41: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

41

Page 42: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

42

Goal of Part III

Page 43: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

43

A General Procedure

Page 44: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

44

Deriving Nonlinear Cuts for Mixed Integer Programs: Applications

Page 45: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

45

Obtaining the Convex Hull of a Simple Bilinear Knapsack Set

Page 46: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

46

Obtaining the Convex hull of a Simple Bilinear Knapsack Set

Page 47: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

47

Obtaining the Convex hull of a Simple Bilinear Knapsack Set

Page 48: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

48

Obtaining the Convex hull of a Simple Bilinear Knapsack Set

Page 49: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

49

Obtaining Convex Hulls of Disjunctive Sets: An Example

Page 50: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

50

Obtaining Convex Hulls of Disjunctive Sets: An Example

Page 51: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

51

Obtaining Convex Hulls of Disjunctive Sets: An Example

Page 52: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

52

Obtaining the Convex Hull of Disjunctive Sets: A Result

Page 53: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

53

Obtaining the Convex Hull of Disjunctive Sets: An Example

Page 54: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

54

Obtaining the Convex Hull of Disjunctive Sets: An Example

Page 55: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

55

Some Comments

Page 56: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

56

Page 57: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

57

Goal of Part IV

Page 58: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

58

Generalizing the Theory…

Page 59: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

59

Generalizing the Superadditive Lifting Theory…

Page 60: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

60

Application: Sequence Independent lifting for single-constraint problems

Page 61: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

61

Application: Sequence Independent lifting for single-constraint problems

Page 62: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

62

Page 63: MIP Lifting Techniques for Mixed Integer Nonlinear Programs

MIP 2006, Thursday June 8th 2006

63

Conclusion & Future Work