15.093: Optimization Methods
15.093: Optimization Methods
1 Todays Lecture
Modeling with integer variables What is a good formulation? Theme: The Power of Formulations
Slide 1
2 Integer Optimization
2.1 Mixed IO
(MIO) max c x + h y s.t. Ax + B y b n (x 0 x integer) x 2 Z+ y 2 Rm + (y 0)
0 0
Slide 2
2.2 Pure IO
(IO) max c x s.t. Ax b n x 2 Z+ Important special case: Binary Optimization (BO) max c x s.t. Ax b x 2 f0 1gn
0 0
Slide 3
2.3 LO
Slide 4
Slide 5
Slide 6
n P max cj xj j 1 P s.t. aj xj b xj 2 f0 1g
X
j
Slide 7
xj 1
Neither or both events occur x2 ; x1 = 0 If one event occurs then, another occurs 0 x2 x1 If x = 0, then y = 0 if x = 1, then y is uncontrained 0 y Ux x 2 f0 1g
n people m jobs
Slide 8
j1 m P
Slide 9
N = f1 : : :ng potential facility locations I = f1 : : :mg set of clients cj : cost of facility placed at j hij : cost of satisfying client i from facility j:
Decision variables a facility is placed at location j xj = 1 0 otherwise yij = fraction of demand of client i satis ed by facility j:
n m P n P P IZ1 = min cj xj + hij yij j 1 i1 j 1 n P s.t. yij = 1 j 1 yij xj xj 2 f0 1g 0 yij 1: Consider an alternative formulation. n m P n P P h y IZ = min cx +
Slide 10
Slide 11
s.t.
yij m xj i1 xj 2 f0 1g 0 yij
j 1 m P
j 1 n P
j j
yij = 1
i1 j 1
ij ij
1:
4.2 Observations
IZ1 = IZ2 , since the integer points both formulations de ne are the same. P1 = f(x y) :
n X
Slide 12
P2 = f(x y) :
yij = 1
m X i1
yij m xj
0 xj 1 0 yij 1
Slide 13
Let
Z2 = min cx + hy (x y) 2 P2
4.3 Implications
Finding IZ1 (= IZ2 ) is di cult. Solving to nd Z1 Z2 is a LOP. Since Z1 is closer to IZ1 several methods (branch and bound) would work better (actually much better). Suppose that if we solve min cx + hy (x y) 2 P1 we nd an integral solution. Have we solved the facility location problem?
Slide 14
Slide 15
Formulation 1 is better than Formulation 2. (Despite the fact that 1 has a larger number of constraints than 2.) What is then the criterion?
Slide 16
The extreme points of CH (H ) have f0 1g coordinates. So, if we know CH (H ) explicitly, then by solving min cx + hy (x y) 2 CH (H ) we solve the problem. Message: Quality of formulation is judged by closeness to CH (H ).
C H (H ) P1 P2
How do telephone companies bill you? It used to be that rate/minute: Boston ! LA proportional to distance in MST Other applications: Telecommunications, Transportation (good lower bound for TSP)
Slide 18
Slide 19
Given a graph G = (V E ) undirected and Costs ce e 2 E . Find a tree of minimum cost spanning all the nodes. 1 if edge e is included in the tree Decision variables xe = 0 otherwise The tree should be connected. How can you model this requirement? Let S be a set of vertices. Then S and V n S should be connected 2S Let (S ) = fe = (i j ) 2 E : i j 2V nS Then, X xe 1
Slide 20
e2 (S )
P IZM ST = min cexe E 8 eP x 1 > < eP(S ) e H > x = n;1 >eE e : xe 2 f0 1g: Is this a good formulation?
5.1 Formulation
Slide 21
8S
V S= 6 V
Slide 22
Is Pcut the CH (H )?
e2 (S )
Pcut = fx 2 R E : 0 x e X xe = n ; 1 e E X 6 Vg xe 1 8 S V S =
j j 2
5.2 What is C H (H )?
Let Psub = fx 2 R E : xe = n ; 1 e E X xe jS j ; 1 8 S V S 6= V g
j j 2
Slide 23
e2E (S )
Slide 24
Theorem: Psub = CH (H ). ) Psub is the best possible formulation. MESSAGE: Good formulations can have an exponential number of constraints.
Given G = (V E ) an undirected graph. V = f1 : : : ng, costs ce 8 e 2 E . Find a tour that minimizes total length.
Slide 25
6.1 Formulation I
xe =
Slide 26
6.2 Formulation II
min s:t:
Pc x Pe ex jS j ; 1 S E e eP E (S ) x =2 i2V
e e2 (i) xe 2 f0 1g
Slide 27
Slide 28
TS P = Pcut
fx 2 RjE j
j j
P
e2 (S )
2
xe 2
P
e2 (i)
xe = 2
TS P = Psub
0 xe 1g P fx 2 R E xe = 2 ) P x ejS j(i; 1 e e (S ) 0 xe 1g
2
Slide 29
TS P Pcut
TSP 6 = Psub
7 Minimum Matching
Given G = (V E ) ce costs on e 2 E . Find a matching of minimum cost. Formulation: Pc x min P e e s:t: xe = 1 i 2 V e (i) xe 2 f0 1g
Slide 30
P x =1 PM AT = fx 2 R E : e e (i) P 6 xe 1 jS j = 2k + 1 S = e (S ) xe 0g Theorem: PM AT = CH (H )
2
Let
Slide 31
8 Observations
For MST, Matching there are e cient algorithms. CH (H ) is known. For TSP 6 9 e cient algorithm. TSP is an NP ; hard problem. CH (H ) is not known. Conjuecture: The convex hull of problems that are polynomially solvable are explicitly known.
Slide 32
9 Summary
1. An IO formulation is better than another one if the polyhedra of their linear relaxations are closer to the convex hull of the IO. 2. A good formulation may have an exponential number of constraints. 3. Conjecture: Formulations characterize the complexity of problems. If a problem is solvable in polynomial time, then the convex hull of solutions is known.
Slide 33