Questions marquées «sum-of-squares»

Système de preuve de somme des carrés

Récemment, j'ai vu plusieurs articles sur arxiv qui se réfèrent à un système de preuve appelé somme des carrés. Quelqu'un peut-il expliquer ce qu'est une preuve de somme des carrés et pourquoi ces preuves sont importantes / intéressantes? Comment sont-ils liés à d'autres systèmes de preuve algébriques? S'agit-il d'une sorte …

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

Précision numérique dans la méthode de la somme des carrés?

J'ai lu un peu sur la méthode de la somme des carrés (SOS) de l' enquête de Barak & Steurer et les notes de cours de Barak . Dans les deux cas, ils balaient les problèmes de précision numérique sous le tapis. D'après ma compréhension (certes limitée) de la méthode, …

13 optimization sum-of-squares

Quand l'écart de dualité de la programmation semi-définie (SDP) est-il nul?

Je n'ai pas pu trouver dans la littérature une caractérisation précise de la disparition de l'écart de dualité SDP. Ou, quand la "forte dualité" tient-elle? Par exemple, quand on va et vient entre le Lasserre et le SOS SDP, on a en principe un écart de dualité. Cependant, d'une manière …

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

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.