Presentation is loading. Please wait.

Presentation is loading. Please wait.

2. Generating All Valid Inequalities

Similar presentations


Presentation on theme: "2. Generating All Valid Inequalities"β€” Presentation transcript:

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


Download ppt "2. Generating All Valid Inequalities"

Similar presentations


Ads by Google