Split Closure and Intersection Cuts
暂无分享,去创建一个
In the seventies, Balas introduced intersection cuts for a Mixed Integer Linear Program (MILP), and showed that these cuts can be obtained by a closed form formula from a basis of the standard linear programming relaxation. In the early nineties, Cook, Kannan and Schrijver introduced the split closure of an MILP, and showed that the split closure is a polyhedron. In this paper, we show that the split closure can be obtained using only intersection cuts. We give two different proofs of this result, one geometric and one algebraic. Furthermore, the result is used to provide a new proof of the fact that the split closure is a polyhedron. Finally, we extend the result to more general two-term disjunctions.
[1] William J. Cook,et al. Chvátal closures for mixed integer programming problems , 1990, Math. Program..
[2] Egon Balas,et al. A precise correspondence between lift-and-project cuts, simple disjunctive cuts, and mixed integer gomory cuts for 0-1 programming , 2003, Math. Program..
[3] Egon Balas,et al. Intersection Cuts - A New Type of Cutting Planes for Integer Programming , 1971, Oper. Res..