TNK104 Applied Optimization
LP and IP
Lecture 4
based on the slides provided by Nikolaos Pappas
2
TNK104 Applied Optimization I
LP Basics LP standard form | | |
| | |
LP Basics (cont’d)
3
TNK104 Applied Optimization I
4
TNK104 Applied Optimization I
A Two-dimensional Example
1
x
x2
Objective
Setting two variables to zeros
→ Solution of an equation system!
This type of solutions are called basic solutions
5
TNK104 Applied Optimization I
A Two-dimensional Example
6
TNK104 Applied Optimization I
Basic Solution in Matrix Notation
The Primal Simplex Method
7
TNK104 Applied Optimization I
8
TNK104 Applied Optimization I
Reduced Cost
reduce cost as the incoming variable
9
TNK104 Applied Optimization I
LP Duality
|
|
|
|
Primal
Dual
Unbounded dual Infeasible primal
Both problems infeasible
IP (integer) and MIP (mixed-integer) Model
10
TNK104 Applied Optimization I
The Convex Hull
11
TNK104 Applied Optimization I
Convex hull: The minimum convex set containing all integer solutions
→ Solve ILP = Solve the LP over the convex hull!
Objective
The Convex Hull (cont’d)
12
TNK104 Applied Optimization I
Objective
LP optimum
New LP optimum
13
Acknowledgement: Numerical example from L. Wolsey, Integer Programming, John Wiley & Sons, 1998
TNK104 Applied Optimization I
Example of Structured Valid Inequality: Cover Inequalities
Consider the set of solutions defined by
Cover Inequalities: A General Definition
14
TNK104 Applied Optimization I
Another example: Cover inequalities for Knapsack problem
Separation Problem
15
TNK104 Applied Optimization I
We are only interested in finding useful valid inequalities
Does the current fractional point (LP) violate some valid inequality?
that is, is there a valid inequality separating the point from the convex full?
Separation Problem (cont’d)
16
TNK104 Applied Optimization I
Cutting Plane Method: A Summary
17
TNK104 Applied Optimization I
Still fractional: Construct an integer solution (e.g., rounding heuristic)
Q1: Is it always doable to find a cut violated by a fractional LP solution?
Q2: Is there a cutting plane method that is guaranteed to converge in finite number of steps? Q3: If the answers to Q1 and Q2 are positive, would a cutting plane method alone be sufficient?
Branch and Bound (B&B): Underlying Idea
18
TNK104 Applied Optimization I
19
TNK104 Applied Optimization I
B&B: A Small Example
20
TNK104 Applied Optimization I
B&B: A Small Example (cont’d)
Branch and Bound (B&B): Summary
21
TNK104 Applied Optimization I
→ Implicit enumeration
Branching
Branching
Branching Branching
Solver
22
TNK104 Applied Optimization I
Optimization engine | |||
Simplex method for LP | | ||
Interior-point methods for LP | | ||
Branch and bound/cut for ILP/MIP | | ||
| |||
Non-linear optimization methods | | ||
. . . | |||
| |||
Command line interface GUI
Callable library (e.g., C++)
Numerical model
Solution and related information
Solver Classification
23
TNK104 Applied Optimization I
Optimizing the Knapsack using a Solver
24
TNK104 Applied Optimization I
knapsack.lp
Example of Solver Output for a Minimization MIP
25
TNK104 Applied Optimization I
Self-Study Material
Slides: LP review, IP formulation
Textbook: Chapter 29 Linear Programming
Integer Programming (not in the textbook, see other references)
Cover inequalities and Separation: Knapsack example
MIT OCW video lectures:
LP and Simplex method #15 https://youtu.be/WwMz2fJwUCg
Youtube videos:
Graphical method https://youtu.be/RhHhy-8sz-4, Duality https://youtu.be/yU8updOR87c, https://youtu.be/MWwnk9XIQ0Q
VRP example https://youtu.be/-DjyO0DK9Ys
Cutting plane https://youtu.be/TwpR5p3sKdk, https://youtu.be/ntkVMUroIso
Separation problem https://www.youtube.com/watch?v=fvE1rLtA2ek
Branch and Bound https://youtu.be/v-BpbaDW6QI https://youtu.be/jgQhzl3djM8 https://youtu.be/upcsrgqdeNQ