Abstract
In this paper we study the relationship between valid inequalities for mixed-integer sets, lattice-free sets associated with these inequalities and the multi-branch split cuts introduced by Li and Richard (Discret Optim 5:724–734, 2008). By analyzing \(n\)-dimensional lattice-free sets, we prove that for every integer \(n\) there exists a positive integer \(t\) such that every facet-defining inequality of the convex hull of a mixed-integer polyhedral set with \(n\) integer variables is a \(t\)-branch split cut. We use this result to give a finite cutting-plane algorithm to solve mixed-integer programs. We also show that the minimum value \(t\), for which all facets of polyhedral mixed-integer sets with \(n\) integer variables can be generated as \(t\)-branch split cuts, grows exponentially with \(n\). In particular, when \(n=3\), we observe that not all facet-defining inequalities are 6-branch split cuts.
Similar content being viewed by others
References
Adams, W.P., Sherali, H.D.: A hierarchy of relaxations leading to the convex hull representation for general discrete optimization problems. Ann. Oper. Res. 140, 21–47 (2005)
Andersen, K., Louveaux, Q., Weismantel, R., Wolsey, L.: Cutting planes from two rows of a simplex tableau. In: Fischetti, M., Williamson, D.P. (eds.) Proceedings 12th Conference on Integer Programming and Combinatorial Optimization (LNCS 4513), pp. 1–15. Springer, Berlin (2007)
Apostol, T.M.: Mathematical Analysis. Addison-Wesley, Boston (1974)
Averkov, G., Wagner, C., Weismantel, R.: Maximal lattice-free polyhedra: finiteness and an explicit description in dimension three. Math. Oper. Res. 36, 721–742 (2011)
Balas, E.: Disjunctive programming. Ann. Discret. Math. 5, 3–51 (1979)
Banaszczyk, W., Litvak, A.E., Pajor, A., Szarek, S.J.: The flatness theorem for nonsymmetric convex bodies via the local theory of banach spaces. Math. Oper. Res. 24, 728–750 (1999)
Basu, A., Conforti, M., Cornuejols, G., Zambelli, G.: Maximal lattice-free convex sets in linear subspaces. Math. Oper. Res. 35, 704–720 (2010)
Bourgain, J., Milman, V.D.: New volume ratio properties for convex symmetric bodies in \(R^n\). Invent. Math. 88, 319–340 (1987)
Chen, B., Küçükyavuz, S., Sen, S.: Finite disjunctive programming characterizations for general mixed-integer programs. Oper. Res. 59, 202–210 (2011)
Cook, W.J., Kannan, R., Schrijver, A.: Chvátal closures for mixed integer programming problems. Math. Program. 47, 155–174 (1990)
Dash, S., Dey, S.S., Günlük, O.: Two dimensional lattice-free cuts and asymmetric disjunctions for mixed-integer polyhedra. Math. Program. 135, 221–254 (2012)
Dash, S., Dey, S.S., Günlük, O.: On mixed-integer sets with two integer variables. Oper. Res. Lett. 39, 305–309 (2011)
Dash, S., Günlük, O.: On t-branch split cuts for mixed-integer programs. Math. Program. doi:10.1007/s10107-012-0542-y
Del Pia, A.: On the rank of disjunctive cuts. Math. Oper. Res. 37, 372–378 (2012)
Del Pia, A., Weismantel, R.: On convergence in mixed integer programming. Math. Program. 135, 397–412 (2012)
Dey, S.S., Wolsey, L.A.: Two row mixed integer cuts via lifting, Tech. Report CORE DP 30, Université catholique de Louvain, Louvain-la-Neuve, Belgium (2008)
Gomory, R.E.: Outline of an algorithm for integer solutions to linear programs. Bull. Am. Math. Soc. 64, 275–278 (1958)
Gomory, R.E.: An Algorithm for the Mixed Integer Problem, RM-2597. The Rand Corporation, Santa Monica (1960)
Hurkens, C.A.J.: Blowing up convex sets in the plane. Linear Algebra Appl. 134, 121–128 (1990)
Jörg, M.: \(k\)-disjunctive cuts and cutting plane algorithms for general mixed integer linear programs. PhD Thesis, Technische Universität München, 2008
Jörg, M.: \(k\)-disjunctive cuts and cutting plane algorithms for general mixed integer linear programs. arXiv:0707.3945, 2007
Kannan, R., Lovász, L.: Covering minima and lattice-point-free convex bodies. Ann. Math. 128, 577–602 (1998)
Khinchine, A.: A quantitative formulation of Kroneckers theory of approximation (in Russian). Izv. Acad. Nauk SSSR, Ser. Mat. 12, 113–122 (1948)
Kuperberg, G.: From the Mahler conjecture to Gauss linking integrals. Geom. Funct. Anal. 18, 870–892 (2008)
Lenstra, H.W.: Integer programming with a fixed number of variables. Math. Oper. Res. 8, 538–548 (1983)
Li, Y., Richard, J.-P.P.: Cook, Kannan and Schrijver’s example revisited. Discret. Optim. 5, 724–734 (2008)
Lovász, L.: Geometry of numbers and integer programming. In: Iri, M., Tanabe, K. (eds.) Mathematical Programming: Recent Developments and Applications, pp. 177–201. Kluwer, Dordrecht (1989)
Owen, J.H., Mehrotra, S.: A disjunctive cutting plane procedure for mixed-integer linear programs. Math. Prog. 89, 437–448 (2001)
Rudelson, M.: Distances between non-symmetric convex bodies and the MM* estimate. Positivity 4, 161–178 (2000)
Schrijver, A.: Theory of Linear and Integer Programming. Wiley, New York (1986)
Acknowledgments
We would like to thank the two anonymous referees for their careful and detailed reports.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dash, S., Dobbs, N.B., Günlük, O. et al. Lattice-free sets, multi-branch split disjunctions, and mixed-integer programming. Math. Program. 145, 483–508 (2014). https://doi.org/10.1007/s10107-013-0654-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-013-0654-z