polynomial-hierarchy पर टैग किए गए जवाब

में वर्णनात्मक जटिलता , Immerman है कोरोलरी 7.23। निम्नलिखित स्थितियां समतुल्य हैं: 1. पी = एनपी। 2. ओवरनाइट, ऑर्डर की गई संरचनाएं, एफओ (एलएफपी) = एसओ। इसे "जटिलता" पी = एनपी के रूप में माना जा सकता है कि यह एक बड़े पैमाने पर जटिलता वर्गों के बराबर बयान (संभवतः) …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

हम जानते हैं कि बहुपद पदानुक्रम (यानी एनपी और सह-एनपी) का पहला स्तर पीपी में है, और वह । हम टोडा के प्रमेय से यह भी जानते हैं कि ।PP⊆PSPACEPP⊆PSPACEPP \subseteq PSPACEPH⊆PPPPH⊆PPPPH \subseteq P^{PP} क्या हम जानते हैं कि ? यदि नहीं, तो क्यों यह है कि एक साथ ओरेकल …

37 cc.complexity-theory  counting-complexity  polynomial-hierarchy 

संपादित करें : जैसा कि रवि बोपाना ने अपने उत्तर में सही ढंग से बताया और स्कॉट आरोनसन ने भी अपने उत्तर में एक और उदाहरण जोड़ा , इस प्रश्न का उत्तर इस तरह से "हाँ" निकला, जिसकी मुझे बिल्कुल भी उम्मीद नहीं थी। पहले मैंने सोचा कि वे उस …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

यह सर्वविदित है कि अगर तो बहुपद पदानुक्रम ढह जाता है और ।P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} यह आसानी से oracle मशीनों का उपयोग करके आसानी से समझा जा सकता है। प्रश्न है - हम वैकल्पिक प्रक्रिया को वैकल्पिक स्तर से आगे क्यों नहीं और उर्फ साबित कर सकते हैं। )?A P = P …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

क्या यह सच है कि समय (O(nk)O(nk)O(n^k) बहुपद पदानुक्रम के कुछ स्तर में एक वैकल्पिक ट्यूरिंग मशीन द्वारा ) में बहुपद पदानुक्रम में समस्याएँ हैं जो किसी भी स्तर में O(nk−1)O(nk−1)O(n^{k-1}) में हल करने योग्य नहीं हैं । बहुपद पदानुक्रम? दूसरे शब्दों में - क्या बहुपद पदानुक्रम के लिए एक …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

मुझे संपूर्ण भाषाओं की सूची की आवश्यकता है । इस तरह की दो समस्याएं कॉम्प्लेक्सिटी ज़ू में सूचीबद्ध हैं , जैसे:Σपी2Σ2पी\Sigma_2^p न्यूनतम समकक्ष डीएनएफ। DNF सूत्र F और पूर्णांक k को देखते हुए, क्या DNF सूत्र, शाब्दिक के k या कम घटनाओं के साथ F के बराबर है? सबसे छोटा …

16 complexity-classes  polynomial-hierarchy 

यह ज्ञात है कि PSPACE में बाउंड-एरर रैंडमाइजेशन को जोड़ने से पावर नहीं जुड़ती है। वह है, BPPSAPCE = PSPACE। यह ज्ञात नहीं है कि P = BPP ज्ञात है, लेकिन यह ज्ञात है कि ।BPP⊆Σ2∩Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 इस प्रकार, यह संभव है (जबकि गलत होने के लिए अनुमान लगाया …

12 randomness  derandomization  polynomial-hierarchy 

बहुपद पदानुक्रम के प्रत्येक स्तर के बीच में निहित विभिन्न जटिलता वर्ग हैं, जिनमें , , , और । बेहतर शब्दावली की कमी के लिए, मैं इन और किसी भी अन्य को बहुपद पदानुक्रम में स्तरों और बीच मध्यवर्ती कक्षाओं के रूप में संदर्भित करूंगा । इस प्रश्न के प्रयोजनों …

12 cc.complexity-theory  polynomial-hierarchy 

ग्रेग कुपरबर्ग द्वारा जटिलता जूलॉजी में कहा गया है कि एक भाषा ऐसी है जिसमें - दूसरे शब्दों में, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - लेकिन इस परिणाम का संदर्भ नहीं देता है। यह पकड़ क्यों है? या प्रमाण …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

हम जानते हैं कि यदि तो पूरे पीएच का पतन हो जाता है। यदि बहुपद पदानुक्रम आंशिक रूप से ढह जाए तो क्या होगा? (या कैसे समझें कि PH एक निश्चित बिंदु से ऊपर गिर सकता है और नीचे नहीं?)P=NPपी=एनपीP=NP कम शब्दों में, और के परिणाम क्या होंगे ?NP=coNPएनपी=सीओएनपीNP=coNPP≠NPपी≠एनपीP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

PCP प्रमेय में कहा गया है कि NP की प्रत्येक निर्णय समस्या में संभाव्य रूप से जाँच योग्य साक्ष्य (या समतुल्य है, कि NP में प्रमेयों के लिए पूर्ण क्वेरी के लिए एक पूर्ण और अर्ध-ध्वनि प्रूफ प्रणाली मौजूद है जो निरंतर क्वेरी जटिलता और लघुगणक यादृच्छिक यादृच्छिक बिट्स का …

9 lo.logic  pcp  polynomial-hierarchy