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

जोश ग्रूचो के सुझाव के बाद, मैं अपनी टिप्पणी को पिछले प्रश्न से एक नए प्रश्न में परिवर्तित कर रहा हूं । हमारे पास लिए क्या साक्ष्य हैं ?यू पी ≠ एन पीUP≠NP\mathsf{UP} \neq \mathsf{NP} यहाँ यू पीUP\mathsf{UP} बहुपाषाण काल ​​के गैर-नियतात्मक ट्यूरिंग मशीनों द्वारा पहचानी जाने वाली भाषाओं की …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

मान लीजिए मैं बीपीपी के निम्नलिखित प्रकार पर विचार करता हूं, जिसे हम ई (एक्सएक्ट) बीपीपी कहते हैं: ईबीपीपी में एक भाषा होती है यदि कोई बहुपद समय यादृच्छिक रूप से टीजी है जो भाषा के प्रत्येक शब्द को बिल्कुल 3/4 प्रायिकता के साथ स्वीकार करता है और हर शब्द …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

हाल ही में, मैंने एज कलरिंग के निम्न प्रकार का सामना किया है। एक जुड़े हुए अप्रत्यक्ष ग्राफ को देखते हुए, किनारों की एक रंगाई का पता लगाएं, जो अधिकतम संख्या में रंगों का उपयोग करता है, जबकि बाधा को भी संतुष्ट करता है कि, प्रत्येक वर्टेक्स , किनारों की …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

निम्नलिखित पेपर के "पहले पृष्ठ" के "अंतिम पैराग्राफ" में: विक्रमन अरविंद , जोहान्स कोबलर , उवे शॉनिंग , रेनर शुलर , " इफ़ एनपी हैव पॉलिनोमियल-साइज़ सर्किट, तो एमए = एएम," सैद्धांतिक कंप्यूटर विज्ञान, 1995। मुझे कुछ हद तक सहज ज्ञान युक्त दावे का सामना करना पड़ा: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} …

17 cc.complexity-theory  complexity-classes 

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

16 complexity-classes  cr.crypto-security  zero-knowledge 

जटिलता वर्ग और के जोड़े के कुछ उदाहरण क्या हैं जैसे किAAABBB हम नहीं जानते कि क्या , औरA=BA=BA=B हम विरोधाभासी सापेक्षताओं को नहीं जानते (या तो, हम और नहीं जानते हैं कि और )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q प्रश्न को दूसरे तरीके से वाक्यांश करने के लिए, हेयुरिस्टिक के …

16 cc.complexity-theory  complexity-classes  relativization 

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

16 complexity-classes  polynomial-hierarchy 

हम कहते हैं कि NFA है लगातार अस्पष्ट अगर वहाँ मौजूद ऐसी है कि किसी भी शब्द या तो द्वारा स्वीकार किया जाता या (वास्तव में) पथ।MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kकk यदि ऑटोमेटोन लगातार लिए अस्पष्ट है , तो को Unambiguous FA (UFA) कहा जाता है ।ममMके = १क=1k=1ममM को एक नियमित …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

क्या में NP ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

मुझे दिलचस्पी है कि अगर कोई अच्छा एक्सपोज़ररी लेख या सर्वेक्षण मौजूद है, जिसका मैं उल्लेख कर सकता हूं जब मैं जटिलता वर्ग के ऑपरेटरों के बारे में लिखता हूं : ऑपरेटर जो कि जटिलता मात्राओं को बदलकर करते हैं जैसे कि उन्हें मात्रात्मक जोड़ना। ऑपरेटरों के उदाहरण निम्नलिखित को …

16 reference-request  complexity-classes 

पदानुक्रम प्रमेय मूलभूत उपकरण हैं। उनमें से एक अच्छी संख्या पहले के प्रश्न में एकत्र की गई थी (देखें कि पदानुक्रम और / या पदानुक्रम प्रमेय क्या आप जानते हैं? )। कुछ जटिलता वर्ग अलगाव सीधे पदानुक्रम प्रमेयों से आते हैं। ऐसे प्रसिद्ध अलगाव के उदाहरण: ,L≠PSPACEL≠PSPACEL\neq PSPACEP≠EXPP≠EXPP\neq EXP , …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

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

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

LogCFL उन सभी भाषाओं का समूह है जो एक संदर्भ-मुक्त भाषा के लिए लॉगस्पेस रिड्यूसबल हैं। इसी तरह, LogDCFL उन सभी भाषाओं का समुच्चय है जो एक नियतात्मक संदर्भ-मुक्त भाषा में लॉगस्पेस रिड्यूसबल हैं। कुछ प्राकृतिक LogCFL- पूर्ण समस्याओं के लिए इस विकिपीडिया लेख को देखें । कई अन्य दिलचस्प …

16 cc.complexity-theory  complexity-classes 

लघु प्रश्न। "क्वांटम" सर्किट की कम्प्यूटेशनल शक्ति क्या है, अगर हम गैर-एकात्मक (लेकिन अभी भी उल्टे) फाटकों की अनुमति देते हैं, और आउटपुट को निश्चितता के साथ सही उत्तर देने की आवश्यकता होती है? यह प्रश्न इस बारे में है कि क्या होता है वर्ग जब आप सर्किटों को सिर्फ …

15 complexity-classes  quantum-computing 

पिछले दो दशकों से चल रहे परमानेंट पर शानदार काम हो रहा है। मैं कुछ समय से नॉन-नेटिव मैट्रिसेस के परमानेंट के लिए स्मूथ पी एल्गोरिथम की संभावना के बारे में सोच रहा था। बेशक जेएसवी एल्गोरिथ्म प्रसिद्ध है, लेकिन यह एक एफपीएस है। स्मूथेड कॉम्प्लेक्सिटी के भीतर अन्य काम …

15 cc.complexity-theory  complexity-classes