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

मुझे लगता है कि सर्किट जटिलता के लिए एक आकार पदानुक्रम प्रमेय क्षेत्र में एक बड़ी सफलता हो सकती है। क्या यह वर्ग अलगाव के लिए एक दिलचस्प दृष्टिकोण है? प्रश्न के लिए प्रेरणा हमें कहना है कुछ फ़ंक्शन है जो आकार सर्किट द्वारा गणना नहीं की जा सकती है …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

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

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

सामान्य प्रश्न क्या अंतरिक्ष पदानुक्रम प्रमेय गैर-गणन अभिकलन को सामान्य करता है? यहाँ कुछ और विशिष्ट प्रश्न दिए गए हैं: है ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly सभी स्थान के लिए रचनात्मक कार्य f(n)f(n)f(n) , क्या DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? किस फ़ंक्शन के लिए h(n)h(n)h(n) यह ज्ञात है कि: सभी अंतरिक्ष के लिए …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

सर्किट गहराई के लिए किस प्रकार के पदानुक्रम प्रमेय हैं? कथन जैसे अगर और च ( एन ) ∈ एन हे ( 1 ) तो एस मैं जेड ई डी ई पी टी एच ( एन हे ( 1 ) , जी ( एन ) ) ⊊ एस मैं z …

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

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

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