sum-of-squares पर टैग किए गए जवाब

हाल ही में मैंने arxiv पर कई लेख देखे हैं जो सम-वर्ग नामक एक प्रमाण प्रणाली का उल्लेख करते हैं। क्या कोई समझा सकता है कि एक राशि-वर्ग प्रमाण क्या है और इस तरह के प्रमाण महत्वपूर्ण / दिलचस्प क्यों हैं? वे अन्य बीजीय प्रूफ सिस्टम से कैसे संबंधित हैं? …

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

मैं बराक एंड स्टेयूर के सर्वेक्षण और बराक के व्याख्यान नोट्स से राशि-वर्ग विधि (एसओएस) के बारे में थोड़ा पढ़ रहा हूं । दोनों मामलों में वे गलीचा के नीचे संख्यात्मक सटीकता के मुद्दों को स्वीप करते हैं। विधि की मेरी (सीमित रूप से सीमित) समझ से, निम्नलिखित सत्य होना …

13 optimization  sum-of-squares 

मैं साहित्य में एसडीपी द्वैत अंतराल के लुप्त होने का सटीक लक्षण वर्णन नहीं कर पाया। या, "मजबूत द्वंद्व" कब पकड़ता है? उदाहरण के लिए, जब कोई लसेरे और एसओएस एसडीपी के बीच आगे और पीछे जाता है, तो सिद्धांत रूप में एक द्वैत अंतराल होता है। हालांकि, किसी भी …

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