time-hierarchy पर टैग किए गए जवाब

यदि हम DTIME पदानुक्रम प्रमेय को देखते हैं, तो हमें एक सार्वभौमिक मशीन द्वारा नियतात्मक ट्यूरिंग मशीन के अनुकरण में ओवरहेड के कारण लॉग मिला है: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) हमने DSPACE के NTIME के ​​लिए इस तरह का ओवरहेड नहीं बनाया है। एक मूल औचित्य सिमुलेटर के बीच के …

30 cc.complexity-theory  universal-computation  time-hierarchy 

एक वाक्य में: लिए एक पदानुक्रम का अस्तित्व किसी भी तरह के व्युत्पन्न परिणाम का संकेत होगा?BPTIMEBPTIME\mathsf{BPTIME} एक संबंधित लेकिन अस्पष्ट प्रश्न यह है: क्या लिए एक पदानुक्रम का अस्तित्व किसी भी कठिन निचले सीमा को ? क्या इस समस्या का समाधान जटिलता सिद्धांत में ज्ञात बाधा के खिलाफ है?BPTIMEBPTIME\mathsf{BPTIME} …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

मूल Nondeterministic Time Hierarchy प्रमेय कुक के कारण है (लिंक एस कुक के लिए है, nondeterministic समय जटिलता के लिए एक पदानुक्रम , JCSS 7 343-353, 1973)। प्रमेय बताता है कि किसी भी वास्तविक संख्या के लिए और , यदि r_1 r_2 है तो NTIME ( r_1 ) सख्ती से …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

क्या यह सच है कि समय (O(nk)O(nk)O(n^k) बहुपद पदानुक्रम के कुछ स्तर में एक वैकल्पिक ट्यूरिंग मशीन द्वारा ) में बहुपद पदानुक्रम में समस्याएँ हैं जो किसी भी स्तर में O(nk−1)O(nk−1)O(n^{k-1}) में हल करने योग्य नहीं हैं । बहुपद पदानुक्रम? दूसरे शब्दों में - क्या बहुपद पदानुक्रम के लिए एक …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

समय पदानुक्रम प्रमेय में कहा गया है कि ट्यूरिंग मशीन अधिक समस्याओं को हल कर सकती हैं यदि उनके पास (पर्याप्त) अधिक समय है। यदि अंतरिक्ष asymptotically सीमित है तो क्या यह किसी तरह से पकड़ में आता है? कैसे करता है DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) से संबंधित DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) अगर fgfg\frac{f}{g} …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

परिभाषित भाषाओं के वर्ग है कि एक (multitape) द्वारा स्वीकार किया जा सकता है के रूप में में टाइम मशीन ट्यूरिंग च ( एन ) + 1 । ( " + 1 वहाँ कोई है सूचना है कि" सिर्फ सरल संकेतन और से बचने के भ्रम की स्थिति है।) हे …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))यह बहुत सारे (पुराने और वर्तमान) परिणाम हैं जो निम्न सीमा सिद्ध करने के लिए समय पदानुक्रम प्रमेयों का उपयोग करते हैं। यहाँ मेरे सवाल हैं:NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). क्या होता है अगर हम निर्धारक या नॉनडेर्मिनिस्टिक मामले के लिए बेहतर परिणाम साबित …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy