Ostatnio widziałem kilka artykułów na temat arxiv, które odnoszą się do systemu sprawdzania zwanego sumą kwadratów. Czy ktoś może wyjaśnić, co to jest dowód sumy kwadratów i dlaczego takie dowody są ważne / interesujące? Jak są one powiązane z innymi algebraicznymi systemami dowodowymi? Czy są...
Czytałem trochę o metodzie sumy kwadratów (SOS) z badania Baraka i Steurera oraz notatek z wykładu Baraka . W obu przypadkach zamiatają pod dywan dywaniki o dokładności numerycznej. Z mojego (co prawda ograniczonego) zrozumienia tej metody powinny być spełnione następujące warunki: Biorąc pod...
Nie udało mi się znaleźć w literaturze dokładnej charakterystyki zaniku luki dualności SDP. Lub kiedy ma miejsce „silna dualność”? Na przykład, kiedy ktoś porusza się między Lasserre a SOS SDP, w zasadzie ma się lukę w dualności. Jednak wydaje się, że istnieje jakiś „trywialny” powód, dla którego...