Вопросы с тегом «sum-of-squares»

Недавно я видел несколько статей об arxiv, которые ссылаются на систему доказательств под названием сумма квадратов. Может кто-нибудь объяснить, что такое доказательство суммы квадратов и почему такие доказательства важны / интересны? Как они связаны с другими алгебраическими системами доказательств? Они что-то вроде двойника Лассере?

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

Я немного читал о методе суммы квадратов (SOS) из опроса Barak & Steurer и лекционных заметок Barak . В обоих случаях они охватывают вопросы числовой точности под ковриком. Из моего (по общему признанию ограниченного) понимания метода следует следующее: Для любой системы полиномиальных равенств над вещественными переменными x ∈ R n …

13 optimization  sum-of-squares 

Я не смог найти в литературе точную характеристику исчезновения разрыва двойственности СДП. Или когда держится «сильная двойственность»? Например, когда кто-то переходит между Лассерром и SDP SDP, в принципе у него есть пробел в дуальности. Однако, почему-то, кажется, есть какая-то «тривиальная» причина, почему этого разрыва нет. Условие Слейтера кажется достаточным, но …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual