Presentation is loading. Please wait.

Presentation is loading. Please wait.

1.2 Guidelines for strong formulations

Similar presentations


Presentation on theme: "1.2 Guidelines for strong formulations"β€” Presentation transcript:

1 1.2 Guidelines for strong formulations
Running time for LP usually depends on π‘š and 𝑛 ( number of iterations are O(π‘š), O(log 𝑛)). Not critically depend on formulation (usually). For IP, the running time is very erratic on different classes of problems and also depends on the choice of formulation significantly. Reason: most algorithms for IP are basically divide-and-conquer type. If the enumeration tree grows big, running time becomes prohibitive. οƒž recent research efforts mostly focus on preventing the growth of the enumeration tree. Also, there are strong theoretical indication that divide-and-conquer may be the best we can do to solve general IP problems (no efficient algorithms exist). However, recent advances in theory and software make it possible to solve many practically sized problems (very fast in some cases). Integer Programming 2015

2 (ii) 𝑐 β€² π‘₯≀ 𝑧 𝑅 (π‘₯) for all π‘₯βˆˆπ‘†.
Definition 1.1: The linear relaxation of MIP is obtained by dropping the integrality requirements on integer variables (resulting problem is LP) Def (NW, p298, in max form) A problem (RP) 𝑧 𝑅 = max { 𝑧 𝑅 π‘₯ :π‘₯∈ 𝑆 𝑅 } is a relaxation of (IP) 𝑧 𝐼𝑃 = max { 𝑐 β€² π‘₯:π‘₯βˆˆπ‘†} if : (i) π‘†βŠ† 𝑆 𝑅 , and (ii) 𝑐 β€² π‘₯≀ 𝑧 𝑅 (π‘₯) for all π‘₯βˆˆπ‘†. Prop 1.1) If RP is infeasible, so is IP. If IP is feasible, then 𝑧 𝐼𝑃 ≀ 𝑧 𝑅 . pf) From (i), first statement is true. Now suppose 𝑧 𝐼𝑃 is finite and let π‘₯ 0 be an optimal solution to IP. Then 𝑧 𝐼𝑃 =𝑐′ π‘₯ 0 ≀ 𝑧 𝑅 π‘₯ 0 ≀ 𝑧 𝑅 . Finally, if 𝑧 𝐼𝑃 =∞, (i) and (ii) imply that 𝑧 𝑅 =∞. ο‚„ Hence optimal solution to a relaxation provides an upper bound on optimal value (for maximization problem). (Lower bound for minimization problem.) Integer Programming 2015

3 (Back to minimization problem) Typical methods to obtain lower bound
Relaxation Dual problem LP relaxation widely used, but there are other types of relaxations: Lagrangian relaxation, combinatorial relaxation, semidefinite relaxation, … Purpose is to obtain lower bound Upper bound usually obtained by finding a feasible solution. If lower bound = upper bound, it is optimal value (we may need to find the solution additionally) We usually use divide-and- conquer. If 𝑧 𝐿𝑃 is the lower bound for a subproblem, and 𝑧′ is the current best objective value we know (upper bound) and 𝑧 𝐿𝑃 β‰₯𝑧′, then we can discard the subproblem since the subproblem does not have a better solution. So it is important to have a good (tight) lower bound to increase the possibility of pruning the subproblem early in the divide-and-conquer (branch-and-bound method). Integer Programming 2015

4 Suppose we have two formulations A and B for the same problem, and let 𝑃 𝐴 and 𝑃 𝐡 be the polyhedra defined by the LP relaxation of the formulations, respectively. Then, if 𝑃 𝐴 βŠ† 𝑃 𝐡 , we have 𝑧 βˆ— β‰₯ 𝑧 𝐴 β‰₯ 𝑧 𝐡 . So 𝑃 𝐴 gives tighter lower bound, hence better formulation. If an optimal solution to the relaxation is feasible to the MIP, then it is also an optimal solution to MIP. Integer Programming 2015

5 Ex: Facility location problem Alternative formulation:
min π‘—βˆˆπ‘ 𝑐 𝑗 𝑦 𝑗 + π‘–βˆˆπ‘€ π‘—βˆˆπ‘ 𝑑 𝑖𝑗 π‘₯ 𝑖𝑗 π‘—βˆˆπ‘ π‘₯ 𝑖𝑗 =1, for π‘–βˆˆπ‘€ π‘–βˆˆπ‘€ π‘₯ 𝑖𝑗 β‰€π‘š 𝑦 𝑗 , for π‘—βˆˆπ‘ 0≀ π‘₯ 𝑖𝑗 ≀1 for π‘–βˆˆπ‘€, π‘—βˆˆπ‘, 𝑦 𝑗 ∈ 0, 1 for π‘—βˆˆπ‘ Let 𝑃 𝐹𝐿 ={ π‘₯,𝑦 β€² : π‘—βˆˆπ‘ π‘₯ 𝑖𝑗 =1, βˆ€ 𝑖, π‘₯ 𝑖𝑗 ≀ 𝑦 𝑗 , βˆ€ 𝑖,𝑗 0≀ π‘₯ 𝑖𝑗 ≀1, 0≀ 𝑦 𝑗 ≀1} 𝑃 𝐴𝐹𝐿 ={ π‘₯,𝑦 β€² : π‘—βˆˆπ‘ π‘₯ 𝑖𝑗 =1, βˆ€ 𝑖, π‘–βˆˆπ‘€ π‘₯ 𝑖𝑗 β‰€π‘š 𝑦 𝑗 , βˆ€π‘— 𝑃 𝐹𝐿 βŠ‚ 𝑃 𝐴𝐹𝐿 , and the inclusion can be strict. Hence 𝑧 𝐹𝐿 β‰₯ 𝑧 𝐴𝐹𝐿 . Integer Programming 2015

6 Consider the LP optimal solutions for the two LP relaxations
Consider the LP optimal solutions for the two LP relaxations. An extreme point optimal solution exists for a linear programming problem (if opt solution exists). Recall that an extreme point can be characterized by setting 𝑛 of the linearly independent inequalities (in 𝑅 𝑛 ) at equalities, which provides a unique solution, and the obtained point is in the polyhedron (satisfies other inequalities). In 𝑃 𝐹𝐿 , if the constraint π‘₯ 𝑖𝑗 ≀ 𝑦 𝑗 is active (hold at equality) at an extreme point optimal solution, the value of 𝑦 𝑗 is likely to be large (close to 1). Hence the optimal objective value for the LP relaxation can be large. However, for 𝑃 𝐴𝐹𝐿 , if the constraint π‘–βˆˆπ‘€ π‘₯ 𝑖𝑗 β‰€π‘š 𝑦 𝑗 is active at an extreme point optimal solution, the value of 𝑦 𝑗 can be small because of π‘š. Hence the optimal objective value can be small, which results in small lower bound. For the same reason, the use of bigβˆ’π‘€ in the formulation can be bad for the algorithm performance. (Recall the formulations for disjunctive constraints.) Integer Programming 2015

7 PAFL PFL conv(F) Integer Programming 2015

8 Ideal Formulation (also in Chap 3, BW)
Def: Given a set π‘‹βŠ† 𝑅 𝑛 , the convex hull of 𝑋, denoted conv(𝑋), is defined as: conv(𝑋)={π‘₯:π‘₯= 𝑖=1 𝑑 πœ† 𝑖 π‘₯ 𝑖 , 𝑖=1 𝑑 πœ† 𝑖 =1, πœ† 𝑖 β‰₯0 for 𝑖=1,…,𝑑 over all finite subsets π‘₯ 1 ,…, π‘₯ 𝑑 of 𝑋} Assume 𝑋 finite, then Prop 1.1: conv(𝑋) is a polyhedron. (polytope) Prop 1.2: The extreme points of conv(𝑋) all lie in 𝑋. Props also hold for unbounded integer sets. (NW, p104) Rationale: to solve IP : max 𝑐 β€² π‘₯:π‘₯βˆˆπ‘‹ , Solve max 𝑐 β€² π‘₯:π‘₯βˆˆπ‘π‘œπ‘›π‘£(𝑋) . The problem is LP and LP has an extreme point optimal solution (simplex method can find it). Integer Programming 2015

9 But conv(𝑋) may need lots of inequalities (not a big problem) to describe and/or we may have limited knowledge about the characteristics of the inequalities ( trouble). Good approximation to conv(𝑋) is helpful ( π‘‹βŠ†π‘π‘œπ‘›π‘£(𝑋)βŠ†π‘ƒ), we may have stronger bound. Integer Programming 2015

10 Ex : The pigeon hole principle
Place 𝑛+1 pigeons into 𝑛 holes in such a way that no two pigeons share the same hole. (impossible) Formulations: ( π‘₯ 𝑖𝑗 =1: pigeon 𝑖 occupies hole 𝑗) (1.3) 𝑗=1 𝑛 π‘₯ 𝑖𝑗 =1, 𝑖=1,…,𝑛+1, π‘₯ 𝑖𝑗 + π‘₯ π‘˜π‘— ≀1, 𝑗=1,…,𝑛, π‘–β‰ π‘˜, 𝑖,π‘˜=1,…,𝑛+1, π‘₯ 𝑖𝑗 ∈ 0,1 , 𝑖=1,…,𝑛+1, 𝑗=1,…,𝑛 (1.4) 𝑗=1 𝑛 π‘₯ 𝑖𝑗 =1, 𝑖=1,…,𝑛+1, 𝑖=1 𝑛+1 π‘₯ 𝑖𝑗 ≀1, 𝑗=1,…,𝑛, π‘₯ 𝑖𝑗 =1/𝑛 for all 𝑖,𝑗 satisfies LP relaxation of (1.3), but LP relaxation of (1.4) infeasible. Integer Programming 2015


Download ppt "1.2 Guidelines for strong formulations"

Similar presentations


Ads by Google