A complete characterization of disjunctive conic cuts for mixed integer second order cone optimization
Abstract
We study the convex hull of the intersection of a disjunctive set defined by parallel hyperplanes and the feasible set of a mixed integer second order cone optimization (MISOCO) problem. We extend our prior work on disjunctive conic cuts (DCCs), which has thus far been restricted to the case in which the intersection of the hyperplanes and the feasible set is bounded. Using a similar technique, we show that one can extend our previous results to the case in which that intersection is unbounded. We provide a complete characterization in closed form of the conic inequalities required to describe the convex hull when the hyperplanes defining the disjunction are parallel.
References
[1]
G. Cornujols, Valid inequalities for mixed integer linear programs, Math. Program., 112 (2008) 3-44.
[2]
E. Balas, Disjunctive programming, in: Annals of Discrete Mathematics 5: Discrete Optimization, North Holland, 1979, pp. 3-51.
[3]
P. Belotti, J.C. Gez, I. Plik, T.K. Ralphs, T. Terlaky, On families of quadratic surfaces having fixed intersections with two hyperplanes, Discrete Appl. Math., 161 (2013) 2778-2793.
[4]
P. Belotti, J.C. Gez, I. Plik, T.K. Ralphs, T. Terlaky, A conic representation of the convex hull of disjunctive sets and conic cuts for integer second order cone optimization, in: Numerical Analysis and Optimization: NAO-III, Muscat, Oman, January 2014, Springer International Publishing, Cham, 2015, pp. 1-35.
[5]
R. Stubbs, S. Mehrotra, A branch-and-cut method for 0-1 mixed convex programming, Math. Program., 86 (1999) 515-532.
[6]
M. ezik, G. Iyengar, Cuts for mixed 0-1 conic programming, Math. Program., 104 (2005) 179-202.
[7]
R. Gomory, Outline of an algorithm for integer solutions to linear programs, Bull. Amer. Math. Soc., 64 (1958) 275-278.
[8]
S. Drewes, Mixed integer second order cone programming, Technische Universitt Darmstadt, Germany, 2009.
[9]
K. Andersen, A. Jensen, Intersection cuts for mixed integer conic quadratic sets, in: Lecture Notes in Computer Science, vol. 7801, Springer Berlin, Heidelberg, 2013, pp. 37-48.
[10]
D. Dadush, S. Dey, J. Vielma, The split closure of a strictly convex body, Oper. Res. Lett., 39 (2011) 121-126.
[11]
F. Kln-Karzan, S. Yldz, Two-term disjunctions on the second-order cone, in: Lecture Notes in Computer Science, vol. 8494, Springer International Publishing, 2014, pp. 345-356.
[12]
S. Modaresi, M.R. Kln, J.P. Vielma, Intersection cuts for nonlinear integer programming: convexification techniques for structured sets, Math. Program., 155 (2016) 575-611.
[13]
S. Modaresi, M.R. Kln, J.P. Vielma, Split cuts and extended formulations for mixed integer conic quadratic programming, Oper. Res. Lett., 43 (2015) 10-15.
[14]
J.C. Gez, Mixed integer second order cone optimization, disjunctive conic cuts: theory and experiments, Lehigh University, 2013.
[15]
S. Searle, Matrix Algebra Useful for Statistics, in: Wiley Series in Probability and Statistics, Wiley-Interscience, 1982.
[16]
G. Golub, Some modified matrix eigenvalues problems, SIAM Rev., 15 (1973) 318-334.
Recommendations
On the Rank of Disjunctive Cuts
Let L be a family of lattice-free polyhedra in Rm containing the splits. Given a polyhedron P in Rm + n, we characterize when a valid inequality for P ∩ (Zm × Rn) can be obtained with a finite number of disjunctive cuts corresponding to the polyhedra in ...
Conic mixed-integer rounding cuts
A conic integer program is an integer programming problem with conic constraints. Many problems in finance, engineering, statistical learning, and probabilistic optimization are modeled using conic constraints. Here we study mixed-integer sets defined ...
Disjunctive cuts in Mixed-Integer Conic Optimization
AbstractThis paper studies disjunctive cutting planes in Mixed-Integer Conic Programming. Building on conic duality, we formulate a cut-generating conic program for separating disjunctive cuts, and investigate the impact of the normalization condition on ...
Comments
Information & Contributors
Information
Published In
Copyright © Elsevier B.V.
Publisher
Elsevier Science Publishers B. V.
Netherlands
Publication History
Published: 01 May 2017
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Jan 2025