Cut Generation through Binarization

  • Pierre Bonami
  • François Margot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8494)


For a mixed integer linear program where all integer variables are bounded, we study a reformulation introduced by Roy that maps general integer variables to a collection of binary variables. We study theoretical properties and empirical strength of rank-2 simple split cuts of the reformulation. We show that for a pure integer problem with two integer variables, these cuts are sufficient to obtain the integer hull of the problem, but that this does not generalize to problems in higher dimensions. We also give an algorithm to compute an approximation of the rank-2 simple split cut closure. We report empirical results on 22 benchmark instances showing that the bounds obtained compare favorably with those obtained with other approximate methods to compute the split closure or lattice-free cut closure. It gives a better bound than the split closure on 6 instances while it is weaker on 9 instances, for an average gap closed 3.8% smaller than the one for the split closure.


Split cuts closure binarization 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Achterberg, T., Koch, T., Martin, A.: MIPLIB 2003. Oper. Res. Lett. 34, 361–372 (2006)CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Andersen, K., Louveaux, Q., Weismantel, R., Wolsey, L.: Cutting planes from two rows of a simplex tableau. In: Fischetti, M., Williamson, D.P. (eds.) IPCO 2007. LNCS, vol. 4513, pp. 1–15. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Balas, E., Ceria, S., Cornuéjols, G.: A lift-and-project cutting plane algorithm for mixed 0-1 programs. Math. Program. 58, 295–323 (1993)CrossRefzbMATHGoogle Scholar
  4. 4.
    Balas, E., Jeroslow, R.G.: Strengthening cuts for mixed integer programs. European J. Oper. Res. 4(4), 224–234 (1980)CrossRefzbMATHMathSciNetGoogle Scholar
  5. 5.
    Balas, E., Saxena, A.: Optimizing over the split closure. Math. Program. 113, 219–240 (2008)CrossRefzbMATHMathSciNetGoogle Scholar
  6. 6.
    Bonami, P.: On optimizing over lift-and-project closures. Math. Program. Computation 4, 151–179 (2012)CrossRefzbMATHMathSciNetGoogle Scholar
  7. 7.
    Bixby, R.E., Ceria, S., McZeal, C.M., Savelsbergh, M.W.P.: An updated mixed integer programming library: MIPLIB 3.0. Optima 58, 12–15 (1998)Google Scholar
  8. 8.
    Chen, B., Küçükyavuz, S., Sen, S.: Finite disjunctive programming characterizations for general mixed-integer linear programs. Oper. Res. 59, 202–210 (2011)CrossRefzbMATHMathSciNetGoogle Scholar
  9. 9.
    Cook, W., Kannan, R., Schrijver, A.: Chvátal closures for mixed integer programming problems. Math. Program. 47, 155–174 (1990)CrossRefzbMATHMathSciNetGoogle Scholar
  10. 10.
    Cornuéjols, G., Margot, F.: On the facets of mixed integer programs with two integer variables and two constraints. Math. Program. 120, 419–456 (2009)CrossRefGoogle Scholar
  11. 11.
    Dash, S., Günlük, O., Lodi, A.: MIR closures of polyhedral sets. Math. Program. 121, 33–60 (2010)CrossRefzbMATHMathSciNetGoogle Scholar
  12. 12.
    Dash, S., Günlük, O., Molinaro, M.: On the relative strength of different generalizations of split cuts. Working paper (2012)Google Scholar
  13. 13.
    Dash, S., Günlük, O., Vielma, J.P.: Computational experiments with cross and crooked cross cuts. Working paper (2011)Google Scholar
  14. 14.
    Fischetti, M., Salvagnin, D.: Approximating the split closure. INFORMS Journal on Computing 25, 808–819 (2013)CrossRefMathSciNetGoogle Scholar
  15. 15.
    Fischetti, M., Salvagnin, D.: Personnal communicationGoogle Scholar
  16. 16.
    Gomory, R.E.: An Algorithm for Integer Solutions to Linear Programs. In: Graves, R.L., Wolfe, P. (eds.) Recent Advances in Mathematical Programming, pp. 269–302. McGraw-Hill, New York (1963)Google Scholar
  17. 17.
    Li, Y., Richard, J.-P.P.: Cook, Kannan and Schrijver’s example revisited. Discrete Optim. 5, 724–734 (2008)CrossRefzbMATHMathSciNetGoogle Scholar
  18. 18.
    Louveaux, Q., Poirrier, L., Salvagnin, D.: The strength of multi-row models. Working paper (2012)Google Scholar
  19. 19.
    Owen, H., Mehrotra, S.: On the value of binary expansions for general mixed-integer linear programs. Oper. Res. 50, 810–819 (2002)CrossRefzbMATHMathSciNetGoogle Scholar
  20. 20.
    Roy, J.-S.: “Binarize and Project” to generate cuts for general mixed-integer programs. Algorithmic Oper. Res. 2 (2007)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Pierre Bonami
    • 1
    • 2
  • François Margot
    • 3
  1. 1.IBM ILOG CPLEXMadridSpain
  2. 2.LIFAix-Marseille UniversitéMarseilleFrance
  3. 3.Tepper School of BusinessCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations