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

P / Poly बहुपद-आकार बूलियन सर्किट के एक परिवार द्वारा हल की जाने वाली निर्णय समस्याओं का वर्ग है। यह वैकल्पिक रूप से एक बहुपद-समय ट्यूरिंग मशीन के रूप में परिभाषित किया जा सकता है जो एक सलाह स्ट्रिंग प्राप्त करता है जो n में बहुपद है और यह केवल …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

हाल ही में एक प्रश्न (देखें एनपी = PSPACE के परिणाम ) के "बुरा" परिणामों के लिए कहा । और अन्य सहित , पर विश्वास करने के लिए बहुत सारे कारण प्रदान करते हैं, उत्तर कुछ काफी पतन परिणाम की सूची ।एन पी = ग ओ एन पी एन पी …

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

निम्नलिखित सभी एक साथ पकड़ कर सकते हैं? सभी धनात्मक पूर्णांक s के लिए L s + 1 में समाहित है।एलरोंLsL_sएलs + 1Ls+1L_{s+1}रोंss भर में परिमित शब्द की भाषा है { 0 , 1 } ।ल = ⋃रोंएलरोंL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} कुछ जटिलता वर्ग और C …

13 cc.complexity-theory  complexity-classes  reductions 

रेज़ का पैरेलल प्रीटिशन प्रमेय पीसीपी, इंप्रूवमेंट आदि में एक महत्वपूर्ण परिणाम है। प्रमेय को निम्न प्रकार से फॉमलाइज़ किया जाता है। एक खेल 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 cc.complexity-theory  complexity-classes  teaching 

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

13 cc.complexity-theory  complexity-classes  circuit-complexity 

जटिलता वर्ग पीपीएडी को आमतौर पर यह कहते हुए परिभाषित किया जाता है कि एंड-ऑफ-द-लाइन पीपीएडी-पूर्ण है। एंड-ऑफ-द-लाइन एक खोज समस्या है। इनपुट एक निर्देशित ग्राफ, जिसमें प्रत्येक नोड है में डिग्री और बाहर डिग्री सबसे 1. पर ग्राफ एक बहुपद समय गणनीय समारोह द्वारा दिया जाता है के होते …

13 cc.complexity-theory  complexity-classes  ppad 

कुछ नोड पर एक चिप के साथ एक निर्देशित भारित ग्राफ पर निम्नलिखित खेल पर विचार करें ।GGG सभी नोड A या B द्वारा चिह्नित हैं।GGG दो खिलाड़ी हैं एलिस और बॉब। ऐलिस (बॉब) का लक्ष्य चिप को एक नोड में बदलना है जो ए (बी) द्वारा चिह्नित है। शुरुआत …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

कल्पना करें कि हमारे पास अंक दो आकार सेट हैं । यदि वे केवल रोटेशन से भिन्न होते हैं तो परीक्षण की जटिलता (समय) क्या है? : इसमें रोटेशन मैट्रिक्स जो कि ?mmm हे हे टी = हे टी ओ = मैं एक्स = हे YX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY यहां वास्तविक मूल्यों …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

समय पदानुक्रम प्रमेय में कहा गया है कि ट्यूरिंग मशीन अधिक समस्याओं को हल कर सकती हैं यदि उनके पास (पर्याप्त) अधिक समय है। यदि अंतरिक्ष asymptotically सीमित है तो क्या यह किसी तरह से पकड़ में आता है? कैसे करता है DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) से संबंधित DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) अगर fgfg\frac{f}{g} …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

'दिए गए , वहाँ , ' is ।a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} कौन सी जटिलता वर्ग 'दिया गया है , है , ' से संबंधित हैं?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by2=cax2+by2=cax^2+by^2=c

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

PSPACE पर विकिपीडिया पेज में उल्लेख किया गया है कि शामिल किए जाने वाले को सख्त नहीं जाना जाता है (दुर्भाग्य से संदर्भ के बिना)।NL⊂PHNL⊂PHNL\subset PH Q1: और L \ subset P ^ {\ # P} के बारे में क्या - ये सख्त होने के लिए जाने जाते हैं?L⊂PHL⊂PHL\subset PHL⊂P# …

12 cc.complexity-theory  complexity-classes  logspace 

क्या एन पीएन पी∩सी ओ एन पी= एन पीएनपीएनपी∩सीओएनपी=एनपी\mathsf{NP^{NP \,\cap\, coNP}=NP}पकड़? जाहिर एन पीएन पी≠ एन पीएनपीएनपी≠एनपी\mathsf{NP^{NP}\neq NP} , लेकिन मुझे लगता है कि एन पी ∩ सी ओ एन पीएनपी∩सीओएनपी\mathsf{NP\cap coNP} जो बनाता है मुझे विश्वास है कि यह सच है "नियतात्मक" है। क्या कोई सरल प्रमाण है (या …

12 cc.complexity-theory  complexity-classes  oracles 

क्या हम यह साबित कर सकते हैं कि प्रत्येक भाषा जो कि नहीं है (यह ) , ? वैकल्पिक रूप से, क्या यह किसी भी उचित मान्यताओं के तहत सिद्ध किया जा सकता है?एन पी पी ≠ एन पी पी एल ≠ पी सैटL∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

मैं बुहरमैन और होमर का एक पेपर पढ़ रहा था " सुपरपोलिनोमियल सर्किट्स, लगभग स्पार्स ओरकल्स और एक्सपोनेंशियल हायरार्की" । पृष्ठ 2 के तल पर वे टिप्पणी करते हैं कि कन्नन के परिणामों का अर्थ है कि NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} में बहुपद आकार के सर्किट नहीं हैं। मुझे पता है कि घातीय …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits