complexity-classes पर टैग किए गए जवाब

TC0टीसी0\mathsf{TC^0}TC0d⊊TC0d+1टीसीघ0⊊टीसीघ+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}dघd लिए चिड़ियाघर प्रविष्टिTC0टीसी0\mathsf{TC^0} केवल गहराई 2 और 3 के बीच अलगाव का उल्लेख करती है। इस तथ्य के लिए भी एक मानक संदर्भ है कि पदानुक्रम का पतन नहीं होता है?AC0dएसीघ0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

व्यापक रूप से गलत होने के लिए अनुमान लगाया गया है।आर पी=NPRP=NPRP = NP लेकिन एक पल के लिए कल्पना कीजिए कि यह सच है। ऐसे मामले में, उस कितनी संभावना होगी ?P=NPP=NPP = NP दूसरे शब्दों में कहें: एक ऐसी दुनिया में जहां , अभी भी हमें पी = …

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

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

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

सुरेश के लिए कुछ हद तक असंबंधित परियोजना पर काम करते समय मैं हाल ही में पेज-ओपर द्वारा उपयोगकर्ता-संगत प्रणालियों के बारे में किए गए कुछ काम और उनके काम के एक हिस्से के बारे में संक्षेप में चर्चा की गई समस्याओं का वर्णन कर सकता हूं जिन्हें बहुपद समय …

12 cc.complexity-theory  complexity-classes 

बेकर-गिल-सोलोवे परिणाम से पता चला कि पी = एनपी प्रश्न का कोई संबंध नहीं है, इस अर्थ में कि कोई भी रिलेटिविंग प्रूफ (एक ओरेकल की उपस्थिति के प्रति असंवेदनशील) संभवतः पी = एनपी प्रश्न को हल नहीं कर सकता है। मेरा प्रश्न है: क्या प्रश्न के लिए एक समान …

12 cc.complexity-theory  complexity-classes 

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf द्वारा यदि एक PSPACE- पूर्ण भाषा है, P A = N P A है ।AAAPA=NPAPA=NPAP^{A}=NP^{A} तो एक नियतात्मक बहुपद समय देववाणी है, पी बी ≠ एन पी बी (यह मानते हुए पी ≠ एन पी )।BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP निर्णय समस्याओं के वर्ग के लिए एनालॉग है # पी और …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

कागज़ लॉरी हेला और जोस मारिया तुरुल-टॉरेस, उच्च-क्रम लॉजिक्स , टीसीएस 355 197-214, 2006 के साथ कम्प्यूटिंग क्वेश्चन। doi: 10.1016 / j.tcs.2006.01.009 तर्क VO, चर-क्रम तर्क का प्रस्ताव करता है। यह चर पर आदेशों पर मात्रा का ठहराव की अनुमति देता है। VO काफी शक्तिशाली है और कुछ गैर-गणना योग्य …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

क्या अन्य समस्याओं भाषाओं ग्राफ समाकृतिकता से अलग कर रहे हैं ? क्या आप कुछ संदर्भ दे सकते हैं?NP∩coAMNP∩coAMNP\cap coAM अपडेट: मैं यह उल्लेख करना भूल गया कि मुझे उन भाषाओं में दिलचस्पी है जो में नहीं जानी जाती हैं ।coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

कुछ (अच्छी तरह से ज्ञात नहीं) दावे हैं कि क्या सच है, तो पीएच को गिरना चाहिए? संदर्भ (नों) के साथ एक छोटे उच्च स्तरीय अभिकथन वाले उत्तरों की सराहना की जाती है। मैंने बिना ज्यादा किस्मत जाने उल्टा-सीधा करने की कोशिश की।

12 cc.complexity-theory  complexity-classes  big-list 

कम से कम एक सर्किट से अधिक पेड़-चौड़ाई क्या है {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} कंप्यूटिंग मेजर के लिए? यहाँ MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} आउटपुट 1 iff कम से कम आधे इनपुट 111 । मुझे केवल सर्किट के आकार की परवाह है (बहुपद होना चाहिए) और यह कि एक इनपुट को केवल एक बार …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

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

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

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

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

मेरे पास एक प्रमाण प्रयास का हिस्सा है ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}। प्रमाण के प्रयास में कर की कमी होती है⊕P⊕P\oplus \mathbf{P}- अपूर्ण समस्या ⊕⊕\oplus3-REGULAR VERTEX COVER to SAT। एक घन ग्राफ दिया GGGकमी CNF सूत्र का उत्पादन करती है FFF दोनों निम्नलिखित गुण हैं: FFF सबसे ज्यादा है 111 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

अंतरिक्ष-पदानुक्रम प्रमेय से यह ज्ञात होता है कि यदि अंतरिक्ष-निर्माण योग्य है तो DSPACE ( ) DSPACE ( बराबर नहीं है ।fff2 f ( n ) f ( n ) )2f(n)2f(n)2f(n)f(n))f(n))f(n)) यहाँ, DSPACE ( मेरा तात्पर्य उन सभी समस्याओं के वर्ग से है जिन्हें कुछ निश्चित वर्णमाला के साथ ट्यूरिंग …

11 cc.complexity-theory  complexity-classes 

क्या एन पीपी पी= पीपी पीNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? या, अधिक आम तौर पर है, एन पीपी पी⊆ पीपी पी/ पीओएलवाईNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes