09/04/23 15:32:04
>>878
SOS不等式と呼ばれている不等式が何種類かあって紛らわしいから，
普通は前後の脈絡無しに「SOS不等式」って言うことはないんだけど，
最近最適化の専門家の間で >>877 の「SOS不等式」が盛んに研究されてて，
個人的にも今その辺がホットだから，勢いで書いちゃった．
数学的な内容としては >>877 の結果は正しくて，
特にここ10年くらいで，この方法を使った多項式の最小値を計算する
アルゴリズムが実用的になってきてる．
興味があるなら，古典的な話題はHilbertの第17問題で調べるとよくて，
最近は Pablo A. Parrilo って人が活発にやってる．