Skip to main content

Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization

  • Conference paper
  • First Online:
Operations Research Proceedings 2017

Part of the book series: Operations Research Proceedings ((ORP))

Abstract

We investigate how the numerical properties of the LP relaxations evolve throughout the solution procedure in a solver employing the branch-and-cut algorithm. The long-term goal of this work is to determine whether the effect on the numerical conditioning of the LP relaxations resulting from the branching and cutting operations can be effectively predicted and whether such predictions can be used to make better algorithmic choices. In a first step towards this goal, we discuss here the numerical behavior of an existing solver in order to determine whether our intuitive understanding of this behavior is correct.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 199.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Achterberg, T., Koch, T., & Martin, A. (2006). MIPLIB 2003. Operations Research Letters, 34(4), 1–12.

    Article  Google Scholar 

  2. Bixby, R. E., et al. (1998). An updated mixed integer programming library: MIPLIB 3.0. Optima, 58, 12–15.

    Google Scholar 

  3. Bürgisser, P., & Cucker, F. (2013). Condition—The geometry of numerical algorithms (Vol. 349)., Grundlehren der math. Wissenschaften Heidelberg: Springer.

    Google Scholar 

  4. Conforti, M., Cornuéjols, G., & Zambelli, G. (2014). Integer programming. Berlin: Springer.

    Book  Google Scholar 

  5. Fischetti, M., & Salvagnin, D. (2011). A relax-and-cut framework for Gomory mixed-integer cuts. Mathematical Programming Computation, 3(2), 79–102.

    Article  Google Scholar 

  6. Higham, N. J. (2002). Accuracy and stability of numerical algorithms. Philadelphia: Society for Industrial and Applied Mathematics.

    Book  Google Scholar 

  7. Koch, T., et al. (2011). MIPLIB 2010. Mathematical Programming Computation, 3(2), 103–163.

    Article  Google Scholar 

  8. Maher, S. J. et al. (2017). The SCIP optimization suite 4.0. Technical report 17-12. ZIB.

    Google Scholar 

  9. Zanette, A., Fischetti, M., & Balas, E. (2011). Lexicography and degeneracy: can a pure cutting plane algorithm work? Mathematical Programming, 130(1), 153–176.

    Article  Google Scholar 

Download references

Acknowledgements

The work for this article has been partly conducted within the Research Campus Modal funded by the German Federal Ministry of Education and Research (fund number 05M14ZAM). The support of Lehigh University is also gratefully acknowledged.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Miltenberger .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Miltenberger, M., Ralphs, T., Steffy, D.E. (2018). Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization. In: Kliewer, N., Ehmke, J., Borndörfer, R. (eds) Operations Research Proceedings 2017. Operations Research Proceedings. Springer, Cham. https://doi.org/10.1007/978-3-319-89920-6_21

Download citation

Publish with us

Policies and ethics