Abstract
We show that unless P=NP, there cannot be a polynomial-time algorithm that finds a point within Euclidean distance \(c^n\) (for any constant \(c \ge 0\)) of a local minimizer of an n-variate quadratic function over a polytope. This result (even with \(c=0\)) answers a question of Pardalos and Vavasis that appeared in 1992 on a list of seven open problems in complexity theory for numerical optimization. Our proof technique also implies that the problem of deciding whether a quadratic function has a local minimizer over an (unbounded) polyhedron, and that of deciding if a quartic polynomial has a local minimizer are NP-hard.
Similar content being viewed by others
Notes
This implies that these problems remain NP-hard even if the bitsize of all numerical data are \(O(\log n)\), where n is the number of variables. For a strongly NP-hard problem, even a pseudo-polynomial time algorithm—i.e., an algorithm whose running time is polynomial in the magnitude of the numerical data of the problem but not necessarily in their bitsize—cannot exist unless P = NP. See [4] or [1, Section 2] for more details.
The converse of this statement also holds, but we do not need it for the proof of Theorem 2.1.
This unique local (and therefore global) minimizer is guaranteed to have rational entries with polynomial bitsize; see [15].
References
Ahmadi, A.A., Hall, G.: On the complexity of detecting convexity over a box. Math. Program. 182, 429–443 (2020). https://doi.org/10.1007/s10107-019-01396-x
Ahmadi, A.A., Zhang, J.: Complexity aspects of local minima and related notions, Adv. Math. (2021). https://doi.org/10.1016/j.aim.2021.108119
De Klerk, E., Pasechnik, D.V.: Approximation of the stability number of a graph via copositive programming. SIAM J. Optim. 12(4), 875–892 (2002)
Garey, M.R., Johnson, D.S.: Computers and Intractability, vol. 29. WH Freeman, New York (2002)
Hemaspaandra, L.A., Williams, R.: SIGACT news complexity theory column 76: an atypical survey of typical-case heuristic algorithms. ACM SIGACT News 43(4), 70–89 (2012)
Karmarkar, N.: A new polynomial-time algorithm for linear programming. In: Proceedings of the 16th annual ACM symposium on theory of computing, pp. 302–311 (1984)
Khachiyan, L.G.: A polynomial algorithm in linear programming. In: Doklady Akademii Nauk, vol. 244, pp. 1093–1096. Russian Academy of Sciences (1979)
Kozlov, M.K., Tarasov, S.P., Khachiyan, L.G.: The polynomial solvability of convex quadratic programming. USSR Comput Math Math Phys 20(5), 223–228 (1980)
Moré, J.J., Vavasis, S.A.: On the solution of concave knapsack problems. Math. Program. 49(1–3), 397–411 (1990)
Motzkin, T.S., Straus, E.G.: Maxima for graphs and a new proof of a theorem of Turán. Can. J. Math. 17, 533–540 (1965)
Murty, K.G., Kabadi, S.N.: Some NP-complete problems in quadratic and nonlinear programming. Math. Program. 39(2), 117–129 (1987)
Pardalos, P.M., Schnitger, G.: Checking local optimality in constrained quadratic programming is NP-hard. Oper. Res. Lett. 7(1), 33–35 (1988)
Pardalos, P.M., Vavasis, S.A.: Quadratic programming with one negative eigenvalue is NP-hard. J. Global Optim. 1(1), 15–22 (1991)
Pardalos, P.M., Vavasis, S.A.: Open questions in complexity theory for numerical optimization. Math. Program. 57(1–3), 337–339 (1992)
Vavasis, S.A.: Quadratic programming is in NP. Inf. Process. Lett. 36(2), 73–77 (1990)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by an AFOSR MURI award, the DARPA Young Faculty Award, the Princeton SEAS Innovation Award, the NSF CAREER Award, the Google Faculty Award, and the Sloan Fellowship.
Rights and permissions
About this article
Cite this article
Ahmadi, A.A., Zhang, J. On the complexity of finding a local minimizer of a quadratic function over a polytope. Math. Program. 195, 783–792 (2022). https://doi.org/10.1007/s10107-021-01714-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-021-01714-2