On the complexity of testing attainment of the optimal value in nonlinear optimization

We prove that unless P = NP , there exists no polynomial time (or even pseudo-polynomial time) algorithm that can test whether the optimal value of a nonlinear optimization problem where the objective and constraints are given by low-degree polynomials is attained. If the degrees of these polynomial...

Ausführliche Beschreibung