Download presentation
Presentation is loading. Please wait.
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
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.