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

मैं सोच रहा था कि यह भाषा किस वर्ग की है: एल = { ⟨ जी , कश्मीर ⟩ | जीएल={⟨जी,क⟩|जीL =\{ \langle G,k \rangle \mid G एक ग्राफ है, ककk एक प्राकृतिक संख्या है और ककk , G की वर्णनात्मक संख्या है }जी }जी}G\} मैंने रूप में सोचा (1) …

11 cc.complexity-theory  np-hardness  complexity-classes 

यूपी वर्ग को इस प्रकार परिभाषित किया गया है: निर्णय समस्याओं का वर्ग एक एनपी मशीन द्वारा हल करने योग्य है जैसे कि यदि उत्तर 'हाँ' है, तो ठीक एक गणना पथ स्वीकार करता है। यदि उत्तर 'नहीं' है, तो सभी गणना पथ अस्वीकार कर देते हैं। मैं इस परिभाषा …

11 cc.complexity-theory  complexity-classes 

यह ज्ञात है कि और बीच कुछ (नॉन-रिलेटिव) सिंथैटिक जटिलता वर्ग के पास निम्न संपत्ति है, । मैं सोच रहा था कि क्या कोई (गैर-संबंधित) संश्लिष्ट जटिलता वर्ग जैसे कि ? जटिलता वर्ग के अस्तित्व या गैर-अस्तित्व के निहितार्थ क्या हैं ? PP{\bf P}PSPACEPSPACE{\bf PSPACE}P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq …

11 cc.complexity-theory  complexity-classes 

लॉगस्पेस संगणनाओं को रिलेटिव करने पर एक पेपर में , लेडनर और लिंच एक ओरेकल का निर्माण करते हैं, जिसके सापेक्ष । साहित्य में इस नस में कुछ और रोग संबंधी उदाहरण हैं। मैं रिलेटिव स्माल स्पेस क्लासेस पर कुछ पेपर पढ़ रहा हूं, और इस क्षेत्र में प्राथमिक उपकरणों …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

उत्तर: ज्ञात नहीं है उन सभी के लिए बहुत धन्यवाद जिन्होंने इस प्रश्न और इससे जुड़ी परिभाषाओं को परिष्कृत करने में मदद की। इस विकी की परिभाषाओं ने अधिक हालिया टीसीएस विकी के लिए शुरुआती बिंदु प्रदान किया " क्या पी में ऐसी भाषाएं हैं जिनका अस्तित्व पीए या जेडएफसी …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

मुझे लगता है कि इसे # पी-स्पेस कहा जाएगा लेकिन मैंने केवल एक लेख का उल्लेख किया है। कैसे EXP-TIME- कम्प्लीट, NEXP- कम्प्लीट और साथ ही EXP-SPACE- कम्प्लीट समस्याओं के काउंटिंग वर्जन के बारे में? क्या कोई पिछला काम है जो इस संबंध में या टोडा के प्रमेय की तरह …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

एक समस्या और कारण को कैसे देखता है कि यह एनपी-पूर्ण के विपरीत एनपी-इंटरमीडिएट की संभावना है? किसी समस्या को देखने के लिए अक्सर यह बहुत आसान है और यह बताएं कि क्या यह पूरी तरह से एनपी-पूर्ण है या नहीं, लेकिन मुझे यह बताने के लिए बहुत मुश्किल प्रतीत …

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

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

11 cc.complexity-theory  complexity-classes  relativization  barriers 

मुझे एक समस्या है जो एनईएक्सपी एनपी में है और एक टीएम द्वारा घातीय समय का उपयोग करके हल किया जा सकता है और सिर्फ एक विकल्प (एक अस्तित्व की स्थिति में शुरू)।NPएनपी^{\text{NP}} क्या NEXP NP के बारे में कुछ पता है ? क्या यह NEXP या किसी अन्य वर्ग …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

एक कार्यात्मक प्रोग्रामिंग भाषा की कल्पना करें, जिसका एकमात्र डेटा प्रकार संख्यात्मक स्केल और सरणियों के मनमाने ढंग से घोंसले हैं। भाषा में अनबाउंड इटरेशन के किसी भी साधन का अभाव है, इसलिए निम्नलिखित अस्वीकृत हैं: स्पष्ट छोरों (साइड-इफेक्ट्स के बिना किसी भी तरह से अधिक उपयोग नहीं) प्रत्यावर्तन मनमाना …

11 complexity-classes  functional-programming  dc.parallel-comp 

एनपी की परिभाषा पर यहां दो भिन्नताएं हैं। वे (लगभग निश्चित रूप से) अलग-अलग जटिलता वर्गों को परिभाषित करते हैं, लेकिन मेरा सवाल यह है: क्या इन वर्गों में फिट होने वाली समस्याओं के प्राकृतिक उदाहरण हैं? (यहां प्राकृतिक रूप में जो मायने रखता है, उसके लिए मेरी दहलीज सामान्य …

11 cc.complexity-theory  complexity-classes  np 

बता दें कि कोह कोहेन / बेयर श्रेणी के अर्थ में GGG एक सामान्य आभूषण है। आज्ञा देना RRR यादृच्छिक यादृच्छिक है। क्या A G = B G के साथ A और B की जटिलता कक्षाएं हैं AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R या दूसरी तरह के आसपास, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} सवाल स्कॉट आरोनसन की …

11 cc.complexity-theory  complexity-classes 

इस सवाल का एक स्पष्ट जवाब हो सकता है ... लेकिन यहाँ सवाल वैसे भी है। सहज रूप से, यह निम्नलिखित प्रशंसनीय कथन है - "एक सबरूटीन ए के साथ एक मशीन जिसमें बदले में एक सबरूटीन बी होता है, जो सबरूटीन ए के साथ एक मशीन के समान है …

11 complexity-classes  oracles 

यह मेरे पिछले प्रश्न का सामान्यीकरण है । चलो बहुपद समय नियतात्मक मशीन है कि कुछ ओरेकल के लिए सवाल पूछ सकते हैं हो सकता है । प्रारंभ में खाली है लेकिन इसे एक गेम के बाद बदला जा सकता है जिसे नीचे वर्णित किया जाएगा। को कुछ स्ट्रिंग होने …

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

चलो बहुपद समय नियतात्मक मशीन है कि कुछ ओरेकल के लिए सवाल पूछ सकते हैं हो सकता है । प्रारंभ में A खाली है लेकिन इसे एक गेम के बाद बदला जा सकता है जिसे नीचे वर्णित किया जाएगा। X को कुछ स्ट्रिंग होने दें ।MMMAAAAAAxxx निम्नलिखित ऐलिस और बॉब …

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