interactive-proofs पर टैग किए गए जवाब

सबसे अधिक संभावनावादी प्रूफ सिस्टम (उदाहरण के लिए पीसीपी प्रमेय) में, त्रुटि-संभावनाएं आमतौर पर गलत-सकारात्मक के पक्ष में परिभाषित की जाती हैं, अर्थात, एक सामान्य परिभाषा दिख सकती है: यदि तो सत्यापनकर्ता हमेशा स्वीकार करता है, लेकिन अन्य मामले में अस्वीकृति की संभावना कम से कम 1/2 है।x ∈ एलएक्स∈एलx …

10 cc.complexity-theory  pcp  interactive-proofs 

क्या कोई ऐसा तरीका है जो एक कहावत को सत्यापित कर सकता है कि कुछ HORN-SAT अभिव्यक्ति संतोषजनक है? बेशक यह मूर्खतापूर्ण लग सकता है, क्योंकि HORN-SAT के लिए रैखिक समय एल्गोरिदम हैं। दूसरी ओर, HORN-SAT P- पूर्ण है, जिसका अर्थ है कि इसमें लॉग-स्पेस एल्गोरिदम नहीं है जब तक …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

परिभाषित करें कम्प्यूटेशनल मॉडल MPostBQP के समान होने के लिए PostBQP को छोड़कर हम बाद चयन और अंतिम माप से पहले polynomially कई qubit माप अनुमति देते हैं। क्या हम यह इंगित करते हुए कोई सबूत दे सकते हैं कि MPostBQP PostBQP से अधिक शक्तिशाली है? MPostBQP को परिभाषित करें …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

IP (2pfa) और AM (2pfa) क्रमशः निजी और सार्वजनिक सिक्का संस्करणों द्वारा बंधी हुई त्रुटियों से पहचानी जाने वाली भाषाओं के वर्ग हैं, जो सत्यापनकर्ताओं के साथ संवादात्मक प्रूफ सिस्टमों के साथ हैं जो दो-तरफ़ा इनपुट हेड के साथ संभाव्य परिमित ऑटोमेटा हैं। क्या इन वर्गों के किसी करीबी गुण …

9 cc.complexity-theory  interactive-proofs