Abstract
The complexity of quadratic programming problems with two quadratic constraints is an open problem. In this paper we show that when one constraint is a ball constraint and the Hessian of the quadratic function defining the other constraint is positive definite, then, under quite general conditions, the problem can be solved in polynomial time in the real-number model of computation through an approach based on the analysis of the dual space of the Lagrange multipliers. However, the degree of the polynomial is rather large, thus making the result mostly of theoretical interest.
Similar content being viewed by others
References
Ai, W., Zhang, S.: Strong duality for the CDT subproblem: a necessary and sufficient condition. SIAM J. Optim. 19, 1735–1756 (2008)
Ben-Tal, A., Teboulle, M.: Hidden convexity in some nonconvex quadratically constrained quadratic programming. Math. Program. 72, 51–63 (1996)
Ben-Tal, A., den Her tog, D.: Hidden conic quadratic representation of some nonconvex quadratic optimization problems. Math. Program. 143, 1–29 (2014)
Bienstock, D., Michalka, A.: Polynomial solvability of variants of the trust-region subproblem. In: SODA ’14 Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 380–390 (2014)
Burer, S., Anstreicher, K.: Second-order cone constraints for extendedtrust-region subproblems. SIAM J. Optim. 23, 432451 (2013)
Celis, M.R., Dennis, J.E., Tapia, R.A.: A trust region algorithm for nonlinear equality constrained optimization. In: Boggs, R.T., Byrd, R.H., Schnabel, R.B. (eds.) Numerical Optimization, pp. 71–82. SIAM, Philadelphia (1985)
Cox, D.A., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, Berlin (2015)
Emeliyanenko, P., Sagraloff, M.: On the complexity of solving a bivariate polynomial system. In: International Symposium on Symbolic and Algebraic Computation (ISSAC), ACM (2012)
Emiris, I.Z., Mourrain, B., Tsigaridas, E.P.: The DMM bound: multivariate (aggregate) separation bounds. In: Proceedings of Symbolic and Algebraic Computation, International Symposium, ISSAC 2010, Munich, Germany (2010)
Kobel, A., Sagraloff, M.: On the complexity of computing with planar algebraic curves. J. Complex. 31(2), 206–236 (2015)
Locatelli, M.: Some results for quadratic problems with one or two quadratic constraints. Oper. Res. Lett. 43(2), 126–131 (2015)
Renegar, J.: Incorporating condition measures into the complexity theory of linear programming. SIAM J. Optim. 5(3), 506–524 (1995)
Stern, R.J., Wolkowicz, H.: Indefinite trust region subproblems and nonsymmetric eigenvalue perturbations. SIAM J. Optim. 5, 286–313 (1995)
Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series in Mathematics. American Mathematical Society (2002)
Terrell, W.J.: Stability and Stabilization: An Introduction. Princeton University Press, Princeton (2009)
Thrall, R.M., Tornheim, L.: Vector Spaces and Matrices, Dover Books on Mathematics. Dover, New York (2014)
Ye, Y.: Approximating quadratic programming with bound and quadratic constraints. Math. Program. 84, 219–226 (1999)
Ye, Y.: Approximating global quadratic optimization with convex quadratic constraints. J. Glob. Optim. 15(1), 1–17 (1999)
Ye, Y., Zhang, S.: New results on quadratic minimization. SIAM J. Optim. 14, 245–267 (2003)
Acknowledgments
The authors are extremely grateful to the Associate Editor and the anonymous reviewers. The comments and critics to previous submissions of our work allowed us to significatively improve the final result.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Consolini, L., Locatelli, M. On the complexity of quadratic programming with two quadratic constraints. Math. Program. 164, 91–128 (2017). https://doi.org/10.1007/s10107-016-1073-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-016-1073-8