Mathematical Programming

, Volume 170, Issue 1, pp 121–140 | Cite as

Algorithmic and modeling insights via volumetric comparison of polyhedral relaxations

  • Jon Lee
  • Daphne Skipper
  • Emily Speakman
Full Length Paper Series B


This is mostly a survey on some mathematical results concerning volumes of polytopes of interest in non-convex optimization. Our motivation is in geometrically comparing relaxations in the context of mixed-integer linear and nonlinear optimization, with the goal of gaining algorithmic and modeling insights. We consider relaxations of: fixed-charge formulations, vertex packing polytopes, boolean-quadric polytopes, and relaxations of graphs of monomials on box domains. Besides surveying the area, we do give a few new results, and we provide many directions for further work.


Polytope Volume Global optimization Mixed-integer nonlinear optimization Fixed charge Facility location Vertex packing Boolean quadric Monomial Spatial branch-and-bound 

Mathematics Subject Classification

52B11 52B12 90C10 90C11 90C26 90C27 90C57 


  1. 1.
    Lee, J., Leyffer, S. (eds.): Mixed Integer Nonlinear Programming, Volume 154 of The IMA Volumes in Mathematics and its Applications. Springer, New York (2012)Google Scholar
  2. 2.
    Belotti, P., Lee, J., Liberti, L., Margot, F., Wächter, A.: Branching and bounds tightening techniques for non-convex MINLP. Optim. Methods Softw. 24(4–5), 597–634 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Berge, C.: Principles of combinatorics. Translated from the French. Mathematics in Science and Engineering, Vol. 72. Academic, New York, London (1971)Google Scholar
  4. 4.
    Berstein, Y., Lee, J., Onn, S., Weismantel, R.: Parametric nonlinear discrete optimization over well-described sets and matroid intersections. Math. Program. 124(1), 233–253 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bonami, P., Biegler, L.T., Conn, A.R., Cornuéjols, G., Grossmann, I.E., Laird, C.D., Lee, J., Lodi, A., Margot, F., Sawaya, N., Wächter, A.: An algorithmic framework for convex mixed integer nonlinear programs. Discrete Optim. 5(2), 186–204 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Brightwell, G., Winkler, P.: Counting linear extensions. Order 8(3), 225–242 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Cafieri, S., Lee, J., Liberti, L.: On convex relaxations of quadrilinear terms. J. Global Optim. 47(4), 661–685 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    De Loera, J.A., Hemmecke, R., Köppe, M., Weismantel, R.: Integer polynomial optimization in fixed dimension. Math. Oper. Res. 31(1), 147–153 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    De Simone, C.: The cut polytope and the Boolean quadric polytope. Discrete Math. 79(1), 71–75 (1989/90)Google Scholar
  10. 10.
    Dittmer, S., Pak, I.: Counting linear extensions of restricted posets. arXiv:1802.06312. (2018)
  11. 11.
    Speakman, Emily E.: Volumetric Guidance for Handling Triple Products in Spatial Branch-and-Bound. Ph.D., University of Michigan (2017)Google Scholar
  12. 12.
    Grünbaum, B., Sreedharan, V.P.: An enumeration of simplicial 4-polytopes with 8 vertices. J. Comb. Theory 2(4), 437–465 (1967)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Hemmecke, R., Köppe, M., Lee, J., Weismantel, R.: Nonlinear integer programming. In: Jünger, M., Liebling, T.M., Naddef, D., Nemhauser, G.L., Pulleyblank, W.R., Reinelt, G., Rinaldi, G., Wolsey, L.A. (eds.) 50 Years of Integer Programming 1958–2008: From the Early Years to the State-of-the-Art, pp. 561–618. Springer, Berlin, Heidelberg (2010)Google Scholar
  14. 14.
    Jeroslow, R.G.: There cannot be any algorithm for integer programming with quadratic constraints. Oper. Res. 21, 221–224 (1973)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Ko, C.-W., Lee, J., Steingrímsson, E.: The volume of relaxed Boolean-quadric and cut polytopes. Discrete Math 163(1–3), 293–298 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Lawrence, J.: Polytope volume computation. Math. Comput. 57(195), 259–271 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Lee, J., Skipper, D.: Volume computation for sparse boolean quadric relaxations. arXiv:1703.02444. (2017)
  18. 18.
    Lee, J.: All-different polytopes. J. Comb. Optim. 6(3), 335–352 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Lee, J.: Mixed integer nonlinear programming: some modeling and solution issues. IBM J. Res. Dev. 51(3/4), 489–497 (2007)CrossRefGoogle Scholar
  20. 20.
    Lee, J., Morris, W.D.: Jr. Geometric comparison of combinatorial polytopes. Discrete Appl. Math. 55(2), 163–182 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Lee, J., Leung, J., de Vries, S.: Separating type-I odd-cycle inequalities for a binary-encoded edge-coloring formulation. J. Comb. Optim. 9(1), 59–67 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Mahadev, N.V.R., Peled, U.N.: Threshold Graphs and Related Topics, volume 56 of Annals of Discrete Mathematics. North-Holland Publishing Co., Amsterdam (1995)zbMATHGoogle Scholar
  23. 23.
    Misener, R., Floudas, C.A.: ANTIGONE: Algorithms for continuous/integer global optimization of nonlinear equations. J. Global Optim. 59, 503–526 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Onn, S.: Convex Discrete Optimization. European Mathematical Society, Zurich Lectures in Advanced Mathematics (2010)Google Scholar
  25. 25.
    Padberg, M.: The boolean quadric polytope: some characteristics, facets and relatives. Math. Program. 45(1), 139–172 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Papachristodoulou, A., Anderson, J., Valmorbid, G., Prajna, S., Seiler, P., Parrilo, P.A.: SOSTOOLS: Sum of squares optimization toolbox for MATLAB. (2013)
  27. 27.
    Pitowsky, I.: Correlation polytopes: their geometry and complexity. Math. Program. 50(1), 395–414 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  28. 28.
    Speakman, E., Lee, J.: On branching-point selection for trilinear monomials in spatial branch-and-bound: the hull relaxation. J. Global Optim. (2018)
  29. 29.
    Speakman, E., Yu, H., Lee, J.: Experimental validation of volume-based comparison for double-McCormick relaxations. In: Salvagnin, D., Lombardi, M. (eds) Integration of AI and OR Techniques in Constraint Programming: 14th International Conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017, Proceedings, pp. 229–243. Springer (2017)Google Scholar
  30. 30.
    Speakman, E., Lee, J.: Quantifying double McCormick. Math. Oper. Res. 42(4), 1230–1253 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Stanley, R.P.: Enumerative combinatorics, 2nd edn. Volume 1, volume 49 of Cambridge Studies in Advanced Mathematics. Cambridge University Press (2012)Google Scholar
  32. 32.
    Stanley, R.P.: Two poset polytopes. Discrete Comput. Geom. 1(1), 9–23 (1986)MathSciNetCrossRefzbMATHGoogle Scholar
  33. 33.
    Steingrímsson, E.: A decomposition of \(2\)-weak vertex-packing polytopes. Discrete Comput. Geom. 12(4), 465–479 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  34. 34.
    Tawarmalani, M., Sahinidis, N.V.: Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming: Theory, Algorithms, Software, and Applications Nonconvex Optimization and Its Applications. Springer, New York (2002)CrossRefzbMATHGoogle Scholar
  35. 35.
    Vigerske, S., Gleixner, A.: SCIP: global optimization of mixed-integer nonlinear programs in a branch-and-cut framework. Optim. Methods Softw. (2017)

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature and Mathematical Optimization Society 2018

Authors and Affiliations

  1. 1.Department of IOEUniversity of MichiganAnn ArborUSA
  2. 2.Department of MathematicsU.S. Naval AcademyAnnapolisUSA
  3. 3.Institute of Mathematical OptimizationOtto-von-Guericke-UniversitätMagdeburgGermany

Personalised recommendations