Download presentation
Presentation is loading. Please wait.
1
2. Generating All Valid Inequalities
Let π={π₯β π + π :π΄π₯β€π} π={π₯β π
+ π :π΄π₯β€π} π=πβ© π π Valid inequalities for π (conv(π)) can be generated using πΆβπΊ procedure. Also as π·βinequalities. All valid inequalities for π can be generated using these procedures. 0-1 problems: π={π₯β π
+ π : π΄π₯β€π, π₯β€1}, π=πβ© π π All valid inequalities are π·βinequalities. We say that any valid inequality for π dominated by a πΆβπΊ inequality (π·βinequality) is also a πΆβπΊ inequality (π·βinequality). Integer Programming 2015
2
π π‘ =ππππ£[ π π‘+1 β© π₯: π₯ π‘+1 =0 βͺ π π‘+1 β© π₯: π₯ π‘+1 =1 ], π‘=πβ1, β¦, 0
Let π π =π. π π‘ =ππππ£[ π π‘+1 β© π₯: π₯ π‘+1 =0 βͺ π π‘+1 β© π₯: π₯ π‘+1 =1 ], π‘=πβ1, β¦, 0 Since π 0 contains all of the integral points in P, ππππ£(π)β π 0 . Show that all valid inequalities for S (conv(S)) are D-inequalities by showing that all valid inequalities for S are D-inequalities for π 0 . (which yields that π 0 βππππ£(π), hence π 0 =ππππ£ π .) Thm 2.3: Every valid inequality for π=πβ© π π with π={π₯β π
+ π : π΄π₯β€π, π₯β€1} is a π·βinequality Thm 2.4: π 0 =conv π . To get conv(π), we only need to integralize one variable at a time. Integer Programming 2015
3
For 0-1 problems, all valid inequalities are πΆβπΊ inequalities.
Thm 2.8: Let ππ₯β€ π 0 with (π, π 0 )β π π+1 be a valid inequality for π=πβ© π π with π={π₯β π
+ π : π΄π₯β€π, π₯β€1}. Then ππ₯β€ π 0 is a πΆβπΊ inequality for π. Thm 2.15: Let ππ₯β€ π 0 with (π, π 0 )β π π+1 be a valid inequality for π=πβ© π π with π={π₯β π
+ π : π΄π₯β€π, π₯β€ π }. Then ππ₯β€ π 0 is a πΆβπΊ inequality for π. Thm 2.16: Let ππ₯β€ π 0 with (π, π 0 )β π π+1 be a valid inequality for π={π₯β π + π : π΄π₯β€π}β β
. Then ππ₯β€ π 0 is a πΆβπΊ inequality for π. Integer Programming 2015
4
Rank of C-G Inequality NW p.225. πΆβπΊ procedure is used recursively
Def: elementary closure of P (first Chvatal closure): π π ={ π, π 0 : π π = π’ π π for πβπ, π 0 = π’π for some π’β π
+ π }, π(π) contains all of the nondominated πΆβπΊ inequalities that can be obtained by one application of the procedure. Prop 2.17: If π, π 0 βπ(π), then π 0 β₯ π 0 πΏπ (ο° : integer vector) Pf) Since π, π 0 βπ(π), there exists π’β π
+ π such that π’ π π = π π for πβπ and π’π = π 0 . Such π’ is a feasible solution to the dual of max{ππ₯:π₯βπ}. Thus π’πβ₯ π 0 πΏπ and π 0 = π’π β₯ π 0 πΏπ . οΏ (If π 0 < π 0 πΏπ , π, π 0 is not in π(π).) Integer Programming 2015
5
rank of π : π(π) = max{r(π, π 0 ): (π, π 0 ) is valid for π=πβ© π π }
Def: (π, π 0 ) is of rank π with respect to π if (π, π 0 ) is not equivalent to or dominated by any nonnegative linear combination of πΆβπΊ inequalities, each of which can be determined by no more than πβ1 applications of the πΆβπΊ procedure, but is equivalent to or dominated by a nonnegative linear combination of some πΆβπΊ inequalities that require no more than π applications of the procedure. (The smallest number of the πΆβπΊ procedure to get a given valid inequality for π) rank of (π, π 0 ) : r π, π 0 =π rank of π : π(π) = max{r(π, π 0 ): (π, π 0 ) is valid for π=πβ© π π } For matching problem, π π =1. But, for most IP problems, the rank of the polyhedron increases without bound as a function of the dimension of the polyhedron. Even when dimension is fixed, there are examples such that the rank increases without bound as a function of the magnitude of the coefficients in the linear inequality description of π. Integer Programming 2015
6
Suppose a family of polyhedra F has bounded rank (π π β€π βπβπΉ)
βΉ Validity for conv(π) can be in ππ. (only need original constraints for π and 1+π+ β¦+ π πβ1 β€ π π weight vectors to show that ππ₯β€ π 0 is valid for conv(π)) Certificate of optimality for IP problem: If a family of polyhedra F has bounded rank, we have short proof of optimality of π₯ 0 to max{ππ₯:π₯βπ}. Only need to show that ππ₯β€ π§ 0 is a valid inequality, where π π₯ 0 = π§ 0 , π₯ 0 βπ Using original constraints and π π weight vectors (provided that the weight vectors are polynomial in the description of π.), we have short proof that ππ₯β€ π§ 0 is valid. Hence validity is in ππ. If lower bound feasibility (complement of validity) is ππβcomplete, we have πππΆβ©πΆπππβ β
, which implies ππ=πΆπππ. Therefore it is unlikely that if a class of IP problem is ππβhard, the polyhedra over which it is defined has bounded rank. Integer Programming 2015
7
3. Gomoryβs Fractional Cuts and Rounding
Why called Chvatal-Gomory procedure? πΆβπΊ procedure was implicitly used in the earlier work of Gomoryβs finite cutting plane algorithm. S={π₯β π + π : π΄π₯β€π}, (π΄,π) is integral πΓ(π+1) π π ={π₯β π + π+π : π΄, πΌ π₯=π} Let πβ π
+ π , π π =ο¬ π π , πβπ, π =ππ βΉ πβπ π π π₯ π + πβπ π π π₯ π+π = π (3.1) Assume that this represents a row of the optimal simplex tableau for LP relaxation. (Technically, π₯ 0 =ππ₯ is included in the constraints and max π₯ 0 is solved. ο¬ is a row of π΅ β1 ) Let π π = π π β π π , π 0 = π β π , π’ π = π π β π π From modular arithmetic, βΉ πβπ π π π₯ π + πβπ π’ π π₯ π+π β₯ π 0 (Gomory cutting plane) (3.2) Integer Programming 2015
8
We can get Gomory cut using C-G with weights π’ π = π π β π π β₯0.
Thm 3.1: Let S={π₯β π + π : π΄π₯β€π}. The fractional cut (3.2) derived from (3.1) is a C-G inequality for S obtained with weights π’ π = π π β π π for πβπ. Pf) Let π =( π 1 , β¦, π π ) and π’=πβ π β₯0. Then π’π΄π₯=ππ΄π₯β π π΄π₯β€ππβ π π=π’π. or πβπ π π π₯ π β πβπ πβπ π π π ππ π₯ π β€ π β πβπ π π π π Round down βΉ πβπ π π π₯ π + πβπ π π ( π π β πβπ π ππ π₯ π )β€ π (β1)Γ πβπ π π π₯ π + πβπ π π π₯ π+π β€ π πβπ π π π₯ π + πβπ π π π₯ π+π = π πβπ ( π π β π π )π₯ π + πβπ ( π π β π π ) π₯ π+π β₯ π β π Integer Programming 2015
9
βΉ ο₯ nonbasic (fractional term) ο³ π β π >0
Coefficient of a basic variable =1 in the optimal tableau of LP and all other basic variables have coefficient 0. βΉ ο₯ nonbasic (fractional term) ο³ π β π >0 Note that the current optimal LP solution violates this valid inequality since the values of nonbasic variables are all 0. Gomory showed that this cutting plane algorithm converges in a finite number of steps if the cuts are chosen with some rule. Integer Programming 2015
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.