“…. , M} using a difference of convex (D.C.) underestimators [22,87,118]; we refer to these as αBB underestimators because they specialise the generic results of Floudas and co-workers to MIQCQP [5,6,9,65]. Anstreicher [12] has shown that, no matter the choice of α parameter, a D.C. relaxation of MIQCQP is dominated by a relaxation combining McCormick [71] envelopes and a semidefinite condition.…”
Section: Literature Reviewmentioning
confidence: 99%
“…Anstreicher [12] has shown that, no matter the choice of α parameter, a D.C. relaxation of MIQCQP is dominated by a relaxation combining McCormick [71] envelopes and a semidefinite condition. Based on this result [12], we avoid extensive computation generating the α parameters (e.g., we do not solve an LP as proposed by Zheng et al [118]). Section 4.6 presents the proposed αBB convexifications and demonstrates their importance to the GloMIQO 2 cutting plane strategy; generating αBB cuts is less computationally demanding than, for example, deriving vertex polyhedral cuts.…”
The Global Mixed-Integer Quadratic Optimizer, GloMIQO, addresses mixed-integer quadratically-constrained quadratic programs (MIQCQP) to ε-global optimality. This paper documents the branch-and-cut framework integrated into GloMIQO 2. Cutting planes are derived from reformulation-linearisation technique equations, convex multivariable terms, αBB convexifications, and low-and high-dimensional edge-concave aggregations. Cuts are based on both individual equations and collections of nonlinear terms in MIQCQP. Novel contributions of this paper include: development of a corollary to Crama's [35] necessary and sufficient condition for the existence of a cut dominating the termwise relaxation of a bilinear expression; algorithmic descriptions for deriving each class of cut; presentation of a branch-and-cut framework integrating the cuts. Computational results are presented along with comparison of the GloMIQO 2 performance to several state-of-the-art solvers.
“…. , M} using a difference of convex (D.C.) underestimators [22,87,118]; we refer to these as αBB underestimators because they specialise the generic results of Floudas and co-workers to MIQCQP [5,6,9,65]. Anstreicher [12] has shown that, no matter the choice of α parameter, a D.C. relaxation of MIQCQP is dominated by a relaxation combining McCormick [71] envelopes and a semidefinite condition.…”
Section: Literature Reviewmentioning
confidence: 99%
“…Anstreicher [12] has shown that, no matter the choice of α parameter, a D.C. relaxation of MIQCQP is dominated by a relaxation combining McCormick [71] envelopes and a semidefinite condition. Based on this result [12], we avoid extensive computation generating the α parameters (e.g., we do not solve an LP as proposed by Zheng et al [118]). Section 4.6 presents the proposed αBB convexifications and demonstrates their importance to the GloMIQO 2 cutting plane strategy; generating αBB cuts is less computationally demanding than, for example, deriving vertex polyhedral cuts.…”
The Global Mixed-Integer Quadratic Optimizer, GloMIQO, addresses mixed-integer quadratically-constrained quadratic programs (MIQCQP) to ε-global optimality. This paper documents the branch-and-cut framework integrated into GloMIQO 2. Cutting planes are derived from reformulation-linearisation technique equations, convex multivariable terms, αBB convexifications, and low-and high-dimensional edge-concave aggregations. Cuts are based on both individual equations and collections of nonlinear terms in MIQCQP. Novel contributions of this paper include: development of a corollary to Crama's [35] necessary and sufficient condition for the existence of a cut dominating the termwise relaxation of a bilinear expression; algorithmic descriptions for deriving each class of cut; presentation of a branch-and-cut framework integrating the cuts. Computational results are presented along with comparison of the GloMIQO 2 performance to several state-of-the-art solvers.
“…Closely related approaches have recently been developed by Saxena et al [17] and Zheng et al [20]. In [17], the authors study the relaxation obtained by the following spectral splitting of A i :…”
Section: (2)mentioning
confidence: 99%
“…The paper [20] employs similar ideas but further solves a secondary SDP over different splittings of A i to improve the resultant SOCP relaxation quality.…”
Section: (2)mentioning
confidence: 99%
“…Others have studied different types of relaxations, for example, ones based on linear programming [10,13,18] or second-order cone programming (SOCP) [9,17,20]. Generally speaking, one would expect such relaxations to provide weaker bounds in less time compared to SDP relaxations.…”
We introduce a new relaxation framework for nonconvex quadratically constrained quadratic programs (QCQPs). In contrast to existing relaxations based on semidefinite programming (SDP), our relaxations incorporate features of both SDP and second order cone programming (SOCP) and, as a result, solve more quickly than SDP. A downside is that the calculated bounds are weaker than those gotten by SDP. The framework allows one to choose a block-diagonal structure for the mixed SOCP-SDP, which in turn allows one to control the speed and bound quality. For a fixed blockdiagonal structure, we also introduce a procedure to improve the bound quality without increasing computation time significantly. The effectiveness of our framework is illustrated on a large sample of QCQPs from various sources.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.