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

हम जानते हैं कि यदि आपके पास एक PSPACE मशीन है, तो यह किसी भी स्तर के बहुपदीय पदानुक्रम का एक इंटरैक्टिव प्रमाण देने के लिए पर्याप्त शक्तिशाली है। (और अगर मुझे सही याद है, तो आप सभी की जरूरत #P है।) लेकिन मान लीजिए कि आप एक सदस्यता का …

33 cc.complexity-theory  interactive-proofs 

मैं वास्तव में इस प्रश्न के उत्तर में दिलचस्पी ले रहा था, क्योंकि यह उन खेलों की जटिलता पर एक दिलचस्प बदलाव है, जिन्हें हल नहीं किया गया है, इसलिए मैंने एक इनाम की पेशकश की। मुझे लगा कि मूल प्रश्न बहुत कठिन था, इसलिए मैंने तीन संबंधित प्रश्न पोस्ट …

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

IP = PSPACE को एक गैर-रिलेटिविंग परिणाम के विहित उदाहरण के रूप में सूचीबद्ध किया गया है, और इसके लिए प्रमाण यह है कि एक ओरेकल मौजूद है जैसे कि , जबकि अन्य के लिए सभी दैवज्ञ ।OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO हालाँकि, मैंने देखा है …

19 cc.complexity-theory  interactive-proofs  relativization 

हाल ही में, Watrous et al ने साबित किया कि QIP (3) = PSPACE एक उल्लेखनीय परिणाम है। यह अपने आप में कम से कम कहने के लिए एक आश्चर्यजनक परिणाम था और इसने मुझे सोचने से रोक दिया ... मुझे आश्चर्य है कि क्या होगा अगर क्वांटम कंप्यूटरों को …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

यह सर्वविदित है कि दो-प्रचलित इंटरेक्टिव प्रूफ सिस्टम वाली भाषाओं का समूह, जिसमें बहुपद-काल (MIP) में सत्यापनकर्ता चलता है, NEXP है। लेकिन क्या ऐसे संवादात्मक सबूतों की शक्ति पर सीमाएं ज्ञात हैं, जब सिद्धकर्ता सत्ता में प्रतिबंधित हैं? उदाहरण के लिए, बहुपद-काल सिद्धियों के साथ दो-प्रचलित संवादात्मक प्रमाण स्वीकार करने …

17 cc.complexity-theory  interactive-proofs 

संभावित प्रमाण प्रणाली PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)] को आमतौर पर प्रतिबंध के रूप में जाना जाता है MAMA\mathcal{MA}, जहां आर्थर केवल f(n)f(n)f(n) यादृच्छिक बिट्स का उपयोग कर सकते हैं और केवल g(n)g(n)g(n) बिट्स की जांच कर सकते हैं मर्लिन द्वारा भेजे गए प्रमाण प्रमाण पत्र (देखें, http://en.wikipedia.org/wiki/Interactive_proof_system#cCP )। हालाँकि, 1990 में, Babai, Fortnow, …

15 cc.complexity-theory  pcp  interactive-proofs 

प्रस्तावना। जटिलता वर्ग एएम वे समस्याएं हैं जो एक "मर्लिन" और एक सत्यापनकर्ता "आर्थर" के बीच दो-गोल इंटरैक्टिव प्रूफ सिस्टम द्वारा हल की जा सकती हैं। एक समस्या - जो किसी वस्तु X की कुछ संपत्ति का परीक्षण करती है - AM में है यदि: के लिए हाँ उदाहरणों, एक …

15 cc.complexity-theory  interactive-proofs  unique-solution 

मेरा पहला सवाल यह है कि क्या एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन सभी क्लासिक जटिलता वर्गों के लिए जाना जाता है। मैं P, NP, PSPACE, EXP, NEXP, EXPSPACE, पुनरावर्ती और पुनरावर्ती असंख्य कार्यों को क्लासिक (अन्य के बीच) कहूंगा। विशेष रूप से, एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन है …

14 cc.complexity-theory  big-picture  interactive-proofs 

छोटे संदेशों के साथ क्वांटम इंटरएक्टिव सबूतों की शक्ति पर बेगी, शोर और वॉट्रस का बहुत अच्छा पेपर है । वे 'लघु संदेशों' के तीन प्रकारों पर विचार करते हैं, और जिस विशिष्ट की मुझे परवाह है, वह उनका दूसरा संस्करण है जहां किसी भी संख्या में संदेश भेजे जा …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

मैं Coq को कैसे मना सकता हूं कि नीचे दिया गया पुनरावर्ती कार्य समाप्त हो गया है? फ़ंक्शन दो प्रेरक तर्क लेता है। वास्तव में, पुनरावृत्ति समाप्त हो जाती है क्योंकि या तो तर्क विघटित हो जाता है। विशेष रूप से, फ़ंक्शन इनपुट के रूप में दो पेड़ लेता है। …

14 interactive-proofs  proof-assistants  coq 

रेज़ का पैरेलल प्रीटिशन प्रमेय पीसीपी, इंप्रूवमेंट आदि में एक महत्वपूर्ण परिणाम है। प्रमेय को निम्न प्रकार से फॉमलाइज़ किया जाता है। एक खेल G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V) , जहां S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} परिमित सेट कर रहे हैं, ππ\pi पर एक वितरण है S×TS×T\mathcal{S}\times\mathcal{T} , और विधेय V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\} । खेल मूल्य को परिभाषित करेंv(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t))nnn …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

मैं हाल ही में इंटरेक्टिव सबूतों के बारे में सीख रहा हूं और मुझे आश्चर्य हो रहा है कि क्या पूरी बात एक सैद्धांतिक जिज्ञासा से ज्यादा कुछ नहीं थी, या यदि यह कोई व्यावहारिक अनुप्रयोग था। मैंने सोचा था कि मैं एक उदाहरण के साथ शुरुआत करूंगा जो मुझे …

13 proofs  puzzles  interactive-proofs 

मैं सपा जॉर्डन, डी Gosset, पी.जे. प्यार के "में पढ़ा stoquastic Hamiltonians और मार्कोव मैट्रिक्स के लिए -Complete समस्याओंक्यू एमएक्यूमएQMA " है कि यह संभावना नहीं है कि ।क्यू एमएक ⊆ एक एमक्यूमए⊆एमQMA \subseteq AM मैं इस दावे के बारे में हैरान था। तो और ए एम के बीच उचित …

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

इंटरैक्टिव प्रूफ सिस्टम में पूर्णता और स्पष्टता को अनौपचारिक रूप से परिभाषित किया गया है: पूर्णता: अगर एक वाक्य सही है, ईमानदार prover समझा सकते हैं ईमानदार इस तथ्य का सत्यापनकर्ता whp । ध्वनि: यदि कोई कथन गलत है, तो धोखा देने वाला ईमानदार ईमानदार सत्यापनकर्ता (झूठे अंक की वैधता) …

11 cc.complexity-theory  interactive-proofs 

मर्लिन, जिनके पास निर्बाध कम्प्यूटेशनल संसाधन हैं, वे आर्थर को विश्वास दिलाना चाहते हैं कि m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k के लिए (N,m,k)(N,m,k)(N,m,k) के साथ k=O(logN)k=O(log⁡N)k=O(\log N) और m=O(N).m=O(N).m=O(N). इस योग को सीधे तरीके से गणना करना (मॉड्यूलर घातांक और जोड़) में समय लगता है N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)} …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory