Pertanyaan yang diberi tag «sum-of-squares»

Baru-baru ini saya telah melihat beberapa artikel tentang arxiv yang merujuk pada sistem bukti yang disebut sum-of-square. Dapatkah seseorang menjelaskan apa yang merupakan bukti jumlah kotak dan mengapa bukti semacam itu penting / menarik? Bagaimana mereka terkait dengan sistem bukti aljabar lainnya? Apakah mereka semacam dualitas bagi Lassere?

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

Saya telah membaca sedikit tentang metode sum-of-square (SOS) dari survei Barak & Steurer dan catatan kuliah Barak . Dalam kedua kasus mereka menyapu masalah akurasi numerik di bawah karpet. Dari pemahaman saya (yang diakui terbatas) tentang metode ini, hal-hal berikut ini harus benar: Dengan adanya sistem persamaan polinomial EEE atas …

13 optimization  sum-of-squares 

Saya belum bisa menemukan karakterisasi yang tepat dalam menghilangnya kesenjangan dualitas SDP. Atau, kapan "dualitas kuat" bertahan? Misalnya, ketika seseorang bolak-balik antara Lasserre dan SOS SDP, pada prinsipnya seseorang memiliki celah dualitas. Namun, entah mengapa ada alasan "sepele" mengapa celah ini tidak ada. Kondisi Slater tampaknya cukup tetapi tidak perlu …

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