Abstract
Using the recently proposed maximal quadratic-free sets and the well-known monoidal strengthening procedure, we show how to improve intersection cuts for quadratically-constrained optimization problems by exploiting integrality requirements. We provide an explicit construction that allows an efficient implementation of the strengthened cuts along with computational results showing their improvements over the standard intersection cuts. We also show that, in our setting, there is unique lifting which implies that our strengthening procedure is generating the best possible cut coefficients for the integer variables.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
With a slight abuse of notation, we refer to a non-convex set \(C - M\) as S-free whenever the convex set \(C - m\) is S-free for every \(m \in M\).
- 2.
A function \(\psi \) is subadditive if \(\psi (x+y) \le \psi (x) + \psi (y)\).
- 3.
This means that if \(\rho \) is such that \(C = \{ s \in \mathbb {R}^p \,:\,\rho (s - f) \le 1\}\) then \(\rho (s) \ge \phi (s)\).
- 4.
This citation deals with a particular set S, but the proof can be easily extended to any conic set S.
- 5.
Note that \(S^{g}\) is contained on a halfspace, so \(S^{g}\)-freeness is with respect to the induced topology in \(H\).
References
Balas, E.: Intersection cuts–a new type of cutting planes for integer programming. Oper. Res. 19(1), 19–39 (1971)
Balas, E., Jeroslow, R.G.: Strengthening cuts for mixed integer programs. Eur. J. Oper. Res. 4(4), 224–234 (1980)
Basu, A., Campelo, M., Conforti, M., Cornuéjols, G., Zambelli, G.: Unique lifting of integer variables in minimal inequalities. Math. Program. 141(1–2), 561–576 (2012)
Basu, A., Dey, S.S., Paat, J.: Nonunique lifting of integer variables in minimal inequalities. SIAM J. Discret. Math. 33(2), 755–783 (2019)
Bestuzheva, K., et al.: The SCIP Optimization Suite 8.0. ZIB-Report 21–41, Zuse Institute Berlin, December 2021
Bienstock, D., Chen, C., Munoz, G.: Outer-product-free sets for polynomial optimization and oracle-based cuts. Math. Program. 1–44 (2020)
Chmiela, A., Muñoz, G., Serrano, F.: Monoidal strengthening and unique lifting in MIQCPs (2022). https://www.gonzalomunoz.org/publications/
Chmiela, A., Muñoz, G., Serrano, F.: On the implementation and strengthening of intersection cuts for QCQPs. Math. Program. pp. 1–38 (2022)
Conforti, M., Cornuéjols, G., Zambelli, G.: A geometric perspective on lifting. Oper. Res. 59(3), 569–577 (2011)
Dey, S.S., Wolsey, L.A.: Two row mixed-integer cuts via lifting. Math. Program. 124(1–2), 143–174 (2010)
Fukasawa, R., Poirrier, L., Xavier, Á.S.: The (not so) trivial lifting in two dimensions. Math. Program. Comput. 11(2), 211–235 (2018). https://doi.org/10.1007/s12532-018-0146-5
Furini, F., et al.: A library of quadratic programming instances. Programming Computation, QPLIB (2018)
Glover, F.: Convexity cuts and cut search. Oper. Res. 21(1), 123–134 (1973)
MINLP library (2010). http://www.minlplib.org/
Muñoz, G., Serrano, F.: Maximal quadratic-free sets. In: Bienstock, D., Zambelli, G. (eds.) IPCO 2020. LNCS, vol. 12125, pp. 307–321. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-45771-6_24
Muñoz, G., Serrano, F.: Maximal quadratic-free sets. Math. Program. 1–42 (2021)
Rockafellar, R.T.: Convex Analysis. Princeton University Press, Princeton (1970)
Santana, A., Dey, S.S.: The convex hull of a quadratic constraint over a polytope. SIAM J. Optim. 30(4), 2983–2997 (2020)
Tuy, H.: Concave programming with linear constraints. In: Doklady Akademii Nauk, vol. 159, pp. 32–35. Russian Academy of Sciences (1964)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Chmiela, A., Muñoz, G., Serrano, F. (2023). Monoidal Strengthening and Unique Lifting in MIQCPs. In: Del Pia, A., Kaibel, V. (eds) Integer Programming and Combinatorial Optimization. IPCO 2023. Lecture Notes in Computer Science, vol 13904. Springer, Cham. https://doi.org/10.1007/978-3-031-32726-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-32726-1_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-32725-4
Online ISBN: 978-3-031-32726-1
eBook Packages: Computer ScienceComputer Science (R0)