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

क्या सबूत नहीं है कि ?सी ओ आर पी≠ एनपीसीओआरपी≠एनपीcoRP \neq NP भाषाओं का वह वर्ग है जिसके लिए एक संभाव्य ट्यूरिंग मशीन मौजूद होती है जो बहुपद समय में चलती है और हमेशा भाषा से संबंधित इनपुट पर हां का जवाब देती है और जवाब देती है कि संभाव्यता …

10 cc.complexity-theory  complexity-classes 

यह 70 के दशक की शुरुआत से ही जाना जाता है एन पीNP{\bf NP} तथा ई =डीटीमैंमइ(2ओ ( एन ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) बराबर नहीं हैं (क्योंकि इE{\bf E} इसके विपरीत बहुपद-काल-एक-एक में कमी नहीं है एन पीNP{\bf NP})। जहां तक ​​मुझे पता है, हालांकि, यह अभी भी खुला है कि क्या …

10 cc.complexity-theory  complexity-classes  np-complete 

क्वैसी-बहुपद समय, या संक्षेप में क्यूपी, नियतात्मक ट्यूरिंग मशीन पर एक जटिलता वर्ग है। यहाँ सटीक परिभाषा है: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q##p जबकि ondP सीमित नोंदेर्तिवाद का एक जटिलता वर्ग है। यहाँ सटीक परिभाषा है: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#loap यह देखना आसान है कि easyP की किसी भी मशीन को QP की मशीन द्वारा अनुकरण किया …

9 cc.complexity-theory  complexity-classes 

हमें एक समस्या है और हमें एक एल्गोरिथ्म मिला है जो 2-नेक्सपाइम प्रतीत होता है। मैं एक कम बाउंड ढूंढने के लिए ज्ञात 2-नेक्स्टाइम-पूर्ण समस्याओं को ढूंढना चाहूंगा। मुझे साहित्य में मुख्य रूप से ऐसी दो समस्याएं मिलीं: क्या PCP से कम आकार के समाधान के रूप में है22n22n2^{2^n} और …

9 complexity-classes  time-complexity  complexity 

चलो xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} के लिये i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, इस वादे के साथ x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (जहां योग समाप्त हो गया है ZZ\mathbb{Z})। फिर अगर निर्धारित करने की जटिलता क्या हैx=1x=1x = 1? ध्यान दें कि तुच्छ समस्या में निहित है ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} चूंकि x≡1modmx≡1modmx \equiv 1\bmod{m}iff …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

यह अच्छी तरह से ज्ञात है कि क्रिप्टोग्राफी (डिजिटल हस्ताक्षर, छद्म आयामी जनरेटर, निजी-कुंजी एन्क्रिप्शन, आदि) के लिए एक-तरफ़ा कार्यों का अस्तित्व आवश्यक और पर्याप्त है। मेरा प्रश्न है: एक तरफ़ा कार्यों के अस्तित्व की जटिलता-सिद्धांत संबंधी परिणाम क्या हैं ? उदाहरण के लिए, OWFs का मतलब है कि , …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

अधिकांश क्वांटम कंप्यूटिंग साहित्य सर्किट मॉडल पर केंद्रित है। एडियाबेटिक क्वांटम कंप्यूटिंग एकात्मक ऑपरेटरों के अनुक्रम को लागू करने पर आधारित नहीं है, बल्कि एक समय-निर्भर हैमिल्टन को बदलने पर आधारित है। मैं निम्नलिखित में से किसी में अंतर्दृष्टि तलाश रहा हूं। क्या एडियाबेटिक क्वांटम कंप्यूटिंग सर्किट मॉडल की तरह …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

हम जानते हैं कि । Savitch की प्रमेय से, , और, अंतरिक्ष पदानुक्रम Teorem, । इसलिए, जैसा कि हम नहीं जानते कि अगर , तो हम नहीं जानते कि क्या , या क्या हमें पता है कि ? क्या कोई भी यह साबित करने की कोशिश कर रहा है कि …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Let उन भाषाओं की श्रेणी है, जो स्थानिक का उपयोग करके समय में रुकने वाली ट्यूरिंग मशीनों द्वारा निर्णय लिया जाता है । चलो ट्यूरिंग मशीन बारी द्वारा निर्णय लिया भाषाओं का उपयोग रोकने के के वर्ग होना alternations और अंतरिक्ष ।ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) रुज़ो ने साबित किया कि । …

9 cc.complexity-theory  complexity-classes  structural-complexity 

क्या हर ट्यूरिंग-पहचानने योग्य अयोग्य भाषा में एनपी-पूर्ण उपसमूह है? इस प्रश्न को इस तथ्य के एक मजबूत संस्करण के रूप में देखा जा सकता है कि प्रत्येक अनंत ट्यूरिंग-पहचानने योग्य भाषा में एक अनंत पर्णपाती उपसमुच्चय है।

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

प्राथमिक-पुनरावर्ती कार्यों पर क्रिस प्रेसे के दिलचस्प सवाल से प्रेरित होकर , मैं वेब पर इस प्रश्न का उत्तर खोजने के लिए अधिक खोज कर रहा था और असमर्थ था। प्राथमिक पुनरावर्ती कार्यों घातीय पदानुक्रम के लिए अच्छी तरह से अनुरूप,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। यह परिभाषा से सीधा लगता …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

यहां तक ​​कि अगर यह एक महत्वपूर्ण बिंदु नहीं है, तो मैं इस प्रश्न के आसपास कोई साहित्य नहीं देखता हूं। क्या सापेक्षता परिणाम हैं? क्या एनपी मशीन के सभी संभावित रास्तों की खोज करके गैर-नियतात्मक समय पदानुक्रम प्रमेय को अपनाने से सख्त समावेश को साबित करना काफी सरल नहीं …

9 cc.complexity-theory  complexity-classes 

परिभाषित करें कम्प्यूटेशनल मॉडल MPostBQP के समान होने के लिए PostBQP को छोड़कर हम बाद चयन और अंतिम माप से पहले polynomially कई qubit माप अनुमति देते हैं। क्या हम यह इंगित करते हुए कोई सबूत दे सकते हैं कि MPostBQP PostBQP से अधिक शक्तिशाली है? MPostBQP को परिभाषित करें …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

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

9 cc.complexity-theory  complexity-classes  big-picture