Câu hỏi được gắn thẻ «sum-of-squares»

Gần đây tôi đã thấy một số bài viết về arxiv đề cập đến một hệ thống bằng chứng được gọi là tổng bình phương. Ai đó có thể giải thích một bằng chứng tổng bình phương là gì và tại sao các bằng chứng đó là quan trọng / …

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

Tôi đã đọc một chút về phương pháp tổng bình phương (SOS) từ khảo sát của Barak & Steurer và các bài giảng của Barak . Trong cả hai trường hợp, họ quét các vấn đề về độ chính xác số dưới tấm thảm. Theo hiểu biết của tôi về …

13 optimization  sum-of-squares 

Tôi đã không thể tìm thấy trong tài liệu một đặc điểm chính xác về sự biến mất của khoảng cách đối ngẫu SDP. Hoặc, khi nào "nhị nguyên mạnh" giữ? Ví dụ, khi một người qua lại giữa Lasserre và SOS SDP, về nguyên tắc, người ta có một …

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