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

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf द्वारा यदि एक PSPACE- पूर्ण भाषा है, P A = N P A है ।AAAPA=NPAPA=NPAP^{A}=NP^{A} तो एक नियतात्मक बहुपद समय देववाणी है, पी बी ≠ एन पी बी (यह मानते हुए पी ≠ एन पी )।BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP निर्णय समस्याओं के वर्ग के लिए एनालॉग है # पी और …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

मैं जानना चाहूंगा कि क्या कोई संबंधित दुनिया मौजूद है जहां । मुझे यह भी पता करने के लिए अगर वहाँ एक relativized दुनिया मौजूद है दिलचस्पी है जहां पी बी ≠ एन पी बी = पी पी बी ।PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} …

11 cc.complexity-theory  oracles  relativization 

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

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

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

11 complexity-classes  oracles 

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

10 lo.logic  type-theory  oracles  halting-problem 

मैं साहित्य में MAMA\mathsf{MA} और से संबंधित बयान नहीं पा सका हूं NPRPNPRP\mathsf{NP}^\mathsf{RP}; संकेत की सराहना की जाएगी। मेरा मानना ​​है कि वे समान हैं: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} :NPNP\mathsf{NP} मशीन मर्लिन के स्ट्रिंग का अनुमान लगाती है, औरRPRP\mathsf{RP} ऑर्कल स्ट्रिंग की पुष्टि करता है जैसा कि आर्थर करेगा। NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq …

10 cc.complexity-theory  oracles 

चलो हो किसी भी ऍक्स्प पूरा समस्या। फिर, पी ए = एन पी ए ।AAAPA=NPAPA=NPAP^A = NP^A चलो कुछ ओरेकल कि प्रश्नों कि खातों में ले जाता है हो सकता है एम (पी में एक टीएम) कर देगा, और हम प्राप्त कर सकते हैं पी बी ≠ एन पी बी …

10 cc.complexity-theory  oracles  relativization 

अयोग्य जनरेटर को निम्नानुसार परिभाषित किया गया है: आज्ञा देना एक NP संबंध है, और M एक मशीन है जो L ( R ) को स्वीकार करता है । अनौपचारिक रूप से, एक कार्यक्रम एक है अभेद्य जनरेटर है, पर इनपुट 1 एन , यह उदाहरण के गवाह जोड़े का …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

अधिकांश साहित्य विशिष्ट समस्याओं के लिए एकल oracles के साथ मशीनों से संबंधित प्रतीत होता है, हालांकि कुछ कागजात प्रतीत होते हैं जो कई oracles के साथ मशीनों पर विचार करते हैं। क्या एक अच्छा पेपर या थीसिस है जो इस तरह की मशीनों के बारे में जाना जाता है? …

10 oracles  turing-machines