Skip to main content

Split cuts from sparse disjunctions

Abstract

Split cuts are arguably the most effective class of cutting planes within a branch-and-cut framework for solving general Mixed-Integer Programs (MIP). Sparsity, on the other hand, is a common characteristic of MIP problems, and it is an important part of why the simplex method works so well inside branch-and-cut. In this work, we evaluate the strength of split cuts that exploit sparsity. In particular, we show that restricting ourselves to sparse disjunctions—and furthermore, ones that have small disjunctive coefficients—still leads to a significant portion of the total gap closed with arbitrary split cuts. We also show how to exploit sparsity structure that is implicit in the MIP formulation to produce splits that are sparse yet still effective. Our results indicate that one possibility to produce good split cuts is to try and exploit such structure.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8

Notes

  1. 1.

    Note that neither [6] nor [19] have any cut validity procedure and also that [6] has no time limit on their experiments

References

  1. 1.

    Achterberg, T., Koch, T., Martin, A.: MIPLIB 2003. Oper. Res. Lett. 34(4), 361–372 (2006). https://doi.org/10.1016/j.orl.2005.07.009

    MathSciNet  Article  MATH  Google Scholar 

  2. 2.

    Andersen, K., Weismantel, R.: Zero-coefficient cuts. In: Eisenbrand, F., Shepherd, F.B. (eds.) Integer Programming and Combinatorial Optimization, pp. 57–70. Springer, Berlin (2010)

    Chapter  Google Scholar 

  3. 3.

    Aykanat, C., Pinar, A., Çatalyürek, U.: Permuting sparse rectangular matrices into block-diagonal form. SIAM J. Sci. Comput. 25(6), 1860–1879 (2004). https://doi.org/10.1137/S1064827502401953

    MathSciNet  Article  MATH  Google Scholar 

  4. 4.

    Balas, E., Ceria, S., Cornuéjols, G.: A lift-and-project cutting plane algorithm for mixed 0–1 programs. Math. Program. 58(1–3), 295–324 (1993)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Balas, E., Ceria, S., Cornuéjols, G.: Mixed 0–1 programming by lift-and-project in a branch-and-cut framework. Manag. Sci. 42(9), 1229–1246 (1996). https://doi.org/10.1287/mnsc.42.9.1229

    Article  MATH  Google Scholar 

  6. 6.

    Balas, E., Saxena, A.: Optimizing over the split closure. Math. Program. 113(2), 219–240 (2008). https://doi.org/10.1007/s10107-006-0049-5

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Bastubbe, M., Lübbecke, M.E., Witt, J.T.: A computational investigation on the strength of Dantzig–Wolfe reformulations. In: D’Angelo, G. (ed.) 17th International Symposium on Experimental Algorithms (SEA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol. 103, pp. 11:1–11:12. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2018). https://doi.org/10.4230/LIPIcs.SEA.2018.11. http://drops.dagstuhl.de/opus/volltexte/2018/8946

  8. 8.

    Basu, A., Bonami, P., Cornuéjols, G., Margot, F.: On the relative strength of split, triangle and quadrilateral cuts. Math. Program. 126(2), 281–314 (2011)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Bergner, M., Caprara, A., Ceselli, A., Furini, F., Lübbecke, M.E., Malaguti, E., Traversi, E.: Automatic Dantzig–Wolfe reformulation of mixed integer programs. Math. Program. 149(1), 391–424 (2015). https://doi.org/10.1007/s10107-014-0761-5

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Bixby, R.E.: A brief history of linear and mixed-integer programming computation. Documenta Mathematica, 107–121 (2012)

  11. 11.

    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 

  12. 12.

    Bixby, R.E., Rothberg, E.: Progress in computational mixed integer programming: a look back from the other side of the tipping point. Ann. Oper. Res. 149(02), 37–41 (2007)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Bonami, P.: On optimizing over lift-and-project closures. Math. Program. Comput. 4(2), 151–179 (2012). https://doi.org/10.1007/s12532-012-0037-0

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Bonami, P., Cornuéjols, G., Dash, S., Fischetti, M., Lodi, A.: Projected Chvátal–Gomory cuts for mixed integer linear programs. Math. Program. 113(2), 241–257 (2008). https://doi.org/10.1007/s10107-006-0051-y

    MathSciNet  Article  MATH  Google Scholar 

  15. 15.

    Caprara, A., Letchford, A.N.: On the separation of split cuts and related inequalities. Math. Program. 94(2), 279–294 (2003). https://doi.org/10.1007/s10107-002-0320-3

    MathSciNet  Article  MATH  Google Scholar 

  16. 16.

    Center, I.K.: Deterministic time limit. https://www.ibm.com/support/knowledgecenter/SSSA5P_12.6.3/ilog.odms.cplex.help/CPLEX/Parameters/topics/DetTiLim.html. Accessed 18 Jan 2019

  17. 17.

    Cook, W.J., Kannan, R., Schrijver, A.: Chvátal closures for mixed integer programs. Math. Program. 47, 155–174 (1990)

    Article  Google Scholar 

  18. 18.

    Cornuéjols, G., Nannicini, G.: Practical strategies for generating rank-1 split cuts in mixed-integer linear programming. Math. Program. Comput 3(4), 281–318 (2011). https://doi.org/10.1007/s12532-011-0028-6

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Dash, S., Günlük, O., Lodi, A.: MIR closures of polyhedral sets. Math. Program. 121(1), 33–60 (2010). https://doi.org/10.1007/s10107-008-0225-x

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Dey, S.S., Molinaro, M., Wang, Q.: Approximating polyhedra with sparse inequalities. Math. Program. 154(1), 329–352 (2015). https://doi.org/10.1007/s10107-015-0925-y

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Dey, S.S., Molinaro, M., Wang, Q.: Analysis of sparse cutting planes for sparse MILPs with applications to stochastic MILPs. Math. Oper. Res. 43(1), 304–332 (2018). https://doi.org/10.1287/moor.2017.0866

    MathSciNet  Article  MATH  Google Scholar 

  22. 22.

    Fischetti, M., Lodi, A.: Optimizing over the first Chvátal closure. Math. Program. 110(1), 3–20 (2007). https://doi.org/10.1007/s10107-006-0054-8

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Fischetti, M., Lodi, A., Tramontani, A.: On the separation of disjunctive cuts. Math. Program. 128(1), 205–230 (2011). https://doi.org/10.1007/s10107-009-0300-y

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Fischetti, M., Salvagnin, D.: A relax-and-cut framework for Gomory mixed-integer cuts. Math. Program. Comput. 3(2), 79–102 (2011). https://doi.org/10.1007/s12532-011-0024-x

    MathSciNet  Article  MATH  Google Scholar 

  25. 25.

    Fischetti, M., Salvagnin, D.: Approximating the split closure. INFORMS J. Comput. 25(4), 808–819 (2013). https://doi.org/10.1287/ijoc.1120.0543

    MathSciNet  Article  Google Scholar 

  26. 26.

    Gamrath, G., Lübbecke, M.E.: Experiments with a generic dantzig-wolfe decomposition for integer programs. In: Festa, P. (ed.) Experimental Algorithms, pp. 239–252. Springer, Berlin (2010)

    Chapter  Google Scholar 

  27. 27.

    Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: MIPLIB 2010. Math. Program. Comput. 3(2), 103–163 (2011)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Suhl, U.H., Suhl, L.M.: Computing sparse LU factorizations for large-scale linear programming bases. ORSA J. Comput. 2(4), 325–335 (1990)

    Article  Google Scholar 

  29. 29.

    Walter, M.: Sparsity of lift-and-project cutting planes. In: Helber, S., Breitner, M., Rösch, D., Schön, C., Graf von der Schulenburg, J.M., Sibbertsen, P., Steinbach, M., Weber, S., Wolter, A. (eds.) Operations Research Proceedings 2012, pp. 9–14. Springer, Cham (2014)

    Chapter  Google Scholar 

Download references

Acknowledgements

We acknowledge the support of the Natural Sciences and Engineering Research Council of Canada (NSERC), [funding reference number RGPIN-2018-04335 and RGPIN-2014-05623].

Author information

Affiliations

Authors

Corresponding author

Correspondence to Ricardo Fukasawa.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendix

Appendix

Effect of heuristic features in computation

In order to examine the effect of some features and modifications we introduced to our separation routine, we ran the code on MIPLIB 3.0 instances with \(M = +\infty \) and \(U = 100\). We set the global time limit to an hour, and disabled the following features one at a time:

  • cut strengthening (cut_str_off);

  • stabilizing objective (stb_obj_off);

  • set covering (set_cov_off).

We then plotted, for each scenario, the number of instances on which at least \(x\%\) integrality gap was closed, for \(x \in \{10, 20, \ldots , 90\}\). As shown in Fig. 9, the additional features indeed helped to obtain better results.

Among the three heuristics compared, using set covering to impose partial orthogonality between split cuts plays the most important role. The advantage of stabilizing objective is also evident. Note that, these results were obtained with a bound \(U = 100\) already imposed on the disjunction coefficients. We thus expect to observe a more dramatic gain from stabilized objective, had we chosen a larger bound U to begin with. Table 7 shows the average gap closed in each computational setting. Note that we were able to close significantly more integrality gap when all features were used (default).

Fig. 9
figure9

Effect of heuristic features

Table 7 Average gap closed under different settings
Table 8 Gap closed for the full split closure under the original and the modified MILP(\(\theta \))
Table 9 Percentage of nonzero cut coefficients, before lifting, that (i) overlap with nonzero split coefficients (corr_n) (ii) overlap with the block where nonzero split coefficients come from (corr_b)

Gap closed for the full split closure under a modified separation routine

Our original implementation for the separation of arbitrary split cuts (with bounds \(U = 100\) on disjunction coefficients) essentially finds a feasible solution to MILP(\(\theta \)) whose objective value is less than a preset cut violation threshold \(\epsilon < 0\). In theory, the same result can be achieved by adding the requirement that the objective value be less than \(\epsilon \), \(s^\top {\hat{x}} - \theta (\pi ^\top {\hat{x}} - \pi _0) < \epsilon \), as a constraint in MILP(\(\theta \)), and then finding a feasible solution. Furthermore, in order to encourage some sparsity in split disjunctions, we can introduce a new objective function into MILP(\(\theta \)), thus obtaining the following modified MILP(\(\theta \)):

$$\begin{aligned} \begin{aligned} \min \;\;&\sum _{j=1}^p r_j \\ \text{ s.t. }&s^\top {\hat{x}} - \theta (\pi ^\top {\hat{x}} - \pi _0) < \epsilon \\&-Ur_j \le \pi _j \le Ur_j, \quad j = 1,2,\ldots ,p \\&{\texttt {plus original constraints of MILP(}}\theta {\texttt {)}} \end{aligned} \end{aligned}$$

Although, in theory, this modified formulation of MILP(\(\theta \)) should produce the same results, provided that all the other computational parameters/heuristics are set to be the same, in practice the modified MILP(\(\theta \)) could lead to very different results. In particular, we ran the modified separation routine with \(U = 100\) as an approximation to the full split closure, and compare the results with those obtained from our original implementation. We set a global time limit to 24 h. As shown in Table 8, with the modified formulation of MILP(\(\theta \)), we were able to close much more integrality gap on average within the same time limit.

Effect of split sparsity pattern on cut sparsity pattern

Table 9 presents the results discussed in Sect. 4 on how sparsity of the cuts and splits are related. Results of this table are for \(M=10\) and \(U=1\) parameters only.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Fukasawa, R., Poirrier, L. & Yang, S. Split cuts from sparse disjunctions. Math. Prog. Comp. 12, 295–335 (2020). https://doi.org/10.1007/s12532-020-00180-9

Download citation

Mathematics Subject Classification

  • 90C11 (Mixed integer programming)