barriers पर टैग किए गए जवाब

बहुत से लोग मानते हैं कि । हालाँकि हम केवल यह जानते हैं कि बहुपद पदानुक्रम के दूसरे स्तर में है, यानी । को दिखाने की दिशा में एक कदम पहले इसे बहुपदीय पदानुक्रम के प्रथम स्तर पर लाने का है, यानी ।BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

क्या कोई खिलौना उदाहरण हैं जो P=NPP=NPP = NP समस्या के तीन ज्ञात अवरोधों को समझने में 'आवश्यक' अंतर्दृष्टि प्रदान करते हैं - सापेक्षता, प्राकृतिक प्रमाण और बीजगणित?

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

हाल ही में, रयान विलम्स ने साबित किया कि जटिलता का एक पृथक्करण प्राप्त करने के लिए प्राकृतिक प्रूफ में निर्माण अपरिहार्य है: और । टी सी 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} नेचुरल प्रूफ में कंस्ट्रक्टिविटी एक शर्त है कि सर्किट कॉम्प्लेक्सिटी में सभी कॉम्बीनेटरियल प्रूफ संतुष्ट हो जाते हैं और हम यह तय …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

यह सर्वविदित है कि पी बनाम एनपी प्रश्न को हल करने वाले किसी भी प्रमाण को सापेक्षता , प्राकृतिक प्रमाण और बीजगणित बाधाओं को दूर करना चाहिए । निम्नलिखित आरेख विभिन्न क्षेत्रों में "प्रूफ स्पेस" का विभाजन करता है। उदाहरण के लिए, उन साक्ष्यों के सेट से मेल खाती है, …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

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

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

हम सब दिखा पता बाधाओं है। हम सब इन बाधाओं का अध्ययन किया है क्योंकि हम मानते हैं पी ≠ एन पी ।P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP हालांकि मान लें और ऐसे बुद्धिमान लोग हैं जो मानते हैं कि संभावना मौजूद है । यदि यह वास्तव में मामला है, तो यह तथ्य …

15 p-vs-np  barriers 

प्राकृतिक सबूत बूलियन फ़ंक्शंस की सर्किट जटिलता पर कम सीमा साबित करने की दिशा में एक बाधा है। वे सीधे तौर पर सर्किट जटिलता पर कम सीमा साबित करने में ऐसी किसी भी बाधा का अर्थ नहीं लगाते हैं। क्या इस तरह की बाधाओं की पहचान करने की दिशा में …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

यह मेरे पिछले प्रश्न का अनुसरण है: एनपी में प्राकृतिक समस्या के लिए सबसे अच्छा ज्ञात नियतात्मक समय जटिलता कम है मुझे यह देखकर आश्चर्य होता है कि हम किसी भी दिलचस्प एनपी समस्या के लिए किसी भी द्विघात नियतात्मक समय को कमतर साबित नहीं कर पाए हैं, जिसकी लोग …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

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

11 cc.complexity-theory  complexity-classes  relativization  barriers 

क्या नैसर्गिक प्रमाण , सापेक्षता और बीजगणित भी अन्य जटिलता वर्गों को अलग करने को प्रभावित करते हैं जैसे आदि?L≠NL≠NP≠coNP≠PH≠PSPACEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE उदाहरण के लिए प्राकृतिक सबूत बाधा को किसी भी सबूत को प्रभावित करना चाहिए क्योंकि यह को अलग करेगा । हालाँकि, और के बीच …

9 cc.complexity-theory  barriers