1 / 30

Lifting Procedures

Lifting Procedures. Houston Chapter of INFORMS 30 May 2002 Maarten Oosten. Outline. Introduction Lifting Procedures: Review Generalization of the Lifting Procedures Summary. Example: Vending Machine. A Swiss Roll costs 40 cents No change light blinks

bat
Download Presentation

Lifting Procedures

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Lifting Procedures Houston Chapter of INFORMS 30 May 2002 Maarten Oosten

  2. Outline • Introduction • Lifting Procedures: Review • Generalization of the Lifting Procedures • Summary

  3. Example: Vending Machine • A Swiss Roll costs 40 cents • No change light blinks • We have 3 quarters, 5 dimes, and 10 cents • We prefer to use as few coins as possible How many of each type of coins should we use?

  4. Vending Machine (2) Decision variables: Payment equation: Objective function:

  5. LP Relaxation Pcoin

  6. Projection Qcoin

  7. Cutting Planes • We will use at most one quarter • We will use at least one dime

  8. Convex Hull Hcoin

  9. Definitions: Polyhedra

  10. Definitions: Faces

  11. Definitions: Cones

  12. Outline • Introduction • Lifting Procedures: Review • Generalization of the Lifting Procedures • Summary

  13. Definitions • Consider where Bnis the space of n-dimensional binary vectors • Define • Define S1 as S\S0 • Let P be the convex hull of S • Let P0 be the convex hull of S0 • Let P1 be the convex hull of S1

  14. Traditional Lifting • Let be a valid inequality for P0 • Then for some is called a lifting from P0 to P of the inequality if it is valid for P • It is valid if and only if the coefficient  satisfies:

  15. Literature Review • Wolsey, 1976 • Zemel, 1978 • Balas & Zemel, 1984 • Nemhauser & Wolsey, 1988 • Boyd & Pulleyblank, 1991 • Gu et al, 1995 No guarantee that a facet defining inequality of P0 lifts to a facet defining inequality of P if the dimension gap is larger than 1

  16. Example Let S = {(0,0,0), (1,1,0), (1,0,1), (0,1,1)}

  17. Example Polytope

  18. Example Traditional Lifting • is a facet defining inequality for P0 • Then for some is a lifting from P0 to P of the inequality if it is valid for P • It is valid if and only if the coefficient  satisfies: • Strongest lifted inequality is

  19. Example Traditional Lifting (2) Due to the symmetry of the polytope, no matter in which order the variables are lifted, the resulting lifted inequalities are always trivial inequalities

  20. Outline • Introduction • Lifting Procedures: Review • Generalization of the Lifting Procedures • Summary

  21. Corresponding inequality: Example Extended lifting • Take into account all equalities that hold for P0 but not for P • and  should satisfy the solutions of S1: for (x,y,z) = (0,1,1) for (x,y,z) = (1,0,1) Extreme point:  =  = ½

  22. ‘extended lifting of the inequality aTx a0’ Extended Lifting • For every facet defining inequality of P0, we can construct at least one facet defining inequality of P. • We do need a minimal representation of all equations that hold for P0 but not for P. • We do need to find the extreme points of the lifting polyhedron of the inequality

  23. Corresponding inequalities: Example Equality lifting Lift all equalities that hold for P0 but not for P • and  should satisfy the solutions of S1: for (x,y,z) = (0,1,1) for (x,y,z) = (1,0,1) Two extreme rays: (,) = (-1,1) and (,) = (-1,-1)

  24. ‘extended lifting of the equality system’ Equality Lifting • With a minimal representation of all equations (‘equality set of P0’) that hold for P0 but not for P, we can construct at least one facet of P. • We do need to find the extreme rays of the lifting cone of the equality set of P0.

  25. ‘complete lifting of the minimal facial description of P0’ Complete Lifting • The other way around: for every facet of P is the lifting of at least one face of P0. • We do need to find the extreme rays of the complete lifting cone of the polytope P0.

  26. Outline • Introduction • Lifting Procedures: Review • Generalization of the Lifting Procedures • Summary

  27. Summary • Every facet can be lifted to a facet • Equalities can be lifted to a facet • There are complete descriptions of the set of solutions that are partly a facial description, partly a listing of solutions. Lifting procedures describe the relations between these descriptions.

  28. Polarity context • Suppose P0 is the empty set. • We do need a minimal representation of all equations that hold for P0 but not for P, for example: x1=0, x2=0, … xn=0, and 0=1. • The lifting cone of the equality set of P0 reduces to the polar cone of P:

  29. If  is an extreme ray of this cone, your inequality defines a facet of P0 If (,) is an extreme ray of this cone, your inequality defines a facet of P or and Duality context

  30. Outline • Introduction • Lifting Procedures: Review • Generalization of the Lifting Procedures • Summary

More Related