NP-hardness of deciding convexity of quartic polynomials and related problems

作者: John N. Tsitsiklis , Alexander Olshevsky , Pablo A. Parrilo , Amir Ali Ahmadi

DOI: 10.1007/S10107-011-0499-2

关键词:

摘要: We show that unless P = NP, there exists no polynomial time (or even pseudo-polynomial time) algorithm can decide whether a multivariate of degree four higher degree) is globally convex. This solves problem has been open since 1992 when N. Z. Shor asked for the complexity deciding convexity quartic polynomials. also prove strict convexity, strong quasiconvexity, and pseudoconvexity polynomials or strongly NP-hard. By contrast, we quasiconvexity odd be decided in time.

参考文章(39)
P M Pardalos, Complexity in numerical optimization World Scientific. ,(1993) , 10.1142/2041
Luis Rademacher, Santosh Vempala, Testing geometric convexity foundations of software technology and theoretical computer science. pp. 469- 480 ,(2004) , 10.1007/978-3-540-30538-5_39
Saugata Basu, Richard Pollack, Marie-Franco̧ise Roy, Algorithms in real algebraic geometry Springer. ,vol. 10, ,(2003) , 10.1007/978-3-662-05355-3
Jean B. Lasserre, Convexity in SemiAlgebraic Geometry and Polynomial Optimization Siam Journal on Optimization. ,vol. 19, pp. 1995- 2014 ,(2008) , 10.1137/080728214
Man-Duen Choi, Positive semidefinite biquadratic forms Linear Algebra and its Applications. ,vol. 12, pp. 95- 100 ,(1975) , 10.1016/0024-3795(75)90058-0
J. William Helton, Jiawang Nie, Semidefinite representation of convex sets Mathematical Programming. ,vol. 122, pp. 21- 64 ,(2009) , 10.1007/S10107-008-0240-Y
R. Tyrrell Rockafellar, Lagrange Multipliers and Optimality SIAM Review. ,vol. 35, pp. 183- 238 ,(1993) , 10.1137/1035044
A. C. Doherty, Pablo A. Parrilo, Federico M. Spedalieri, Distinguishing separable and entangled states. Physical Review Letters. ,vol. 88, pp. 187904- ,(2002) , 10.1103/PHYSREVLETT.88.187904
Pablo A. Parrilo, Amir Ali Ahmadi, A convex polynomial that is not sos-convex Mathematical Programming. ,vol. 135, pp. 275- 292 ,(2012) , 10.1007/S10107-011-0457-Z