एक वाक्य में: लिए एक पदानुक्रम का अस्तित्व किसी भी तरह के व्युत्पन्न परिणाम का संकेत होगा?
एक संबंधित लेकिन अस्पष्ट प्रश्न यह है: क्या लिए एक पदानुक्रम का अस्तित्व किसी भी कठिन निचले सीमा को ? क्या इस समस्या का समाधान जटिलता सिद्धांत में ज्ञात बाधा के खिलाफ है?
इस प्रश्न के लिए मेरी प्रेरणा लिए एक पदानुक्रम दिखाने की सापेक्ष कठिनाई (जटिलता सिद्धांत में अन्य प्रमुख खुली समस्याओं के संबंध में) को । मैं यह मान रहा हूं कि हर कोई मानता है कि इस तरह का पदानुक्रम मौजूद है, लेकिन अगर आप अन्यथा सोचते हैं तो कृपया मुझे सही करें।
कुछ पृष्ठभूमि : में उन भाषाओं को शामिल किया गया है जिनकी सदस्यता साथ समय में एक संभाव्य टर्निंग मशीन द्वारा तय की जा सकती है । अधिक सटीक रूप से, एक भाषा यदि कोई संभाव्य ट्यूरिंग मशीन मौजूद है तो किसी भी लिए मशीन समय में चलती है और संभावना के साथ कम से कम स्वीकार करता है , और किसी भी , समय में चलता है और प्रायिकता के साथ कम से कम को अस्वीकार करता है ।च ( एन ) एल ∈ बी पी टी मैं एम ई ( च ( एन ) ) टी एक्स ∈ एल टी ओ ( च ( | x | ) ) 2 / 3 एक्स ∉ एल टी ओ ( एफ ( | एक्स | ) ) 2
बिना शर्त, यह खुला है या नहीं सभी के लिए । बराक ने दिखाया कि सलाह वाली मशीनों के लिए लिए एक सख्त पदानुक्रम मौजूद है । फोर्ट्वेन और संथानम ने इसे 1 बिट सलाह के लिए सुधारा। यह मुझे लगता है कि एक संभाव्य समय पदानुक्रम के अस्तित्व को साबित करने के लिए है कि दूर नहीं है। दूसरी ओर, परिणाम अभी भी खुला है और मुझे 2004 के बाद कोई प्रगति नहीं मिल रही है। संदर्भ, हमेशा की तरह, चिड़ियाघर में पाया जा सकता है ।ग > 1 बी पी टी मैं एम ई हे ( लॉग एन )
व्युत्पन्नता से संबंध इम्पेग्लियाज़ो और विगडरसन के परिणामों से आता है: उन्होंने दिखाया कि एक प्रशंसनीय जटिलता धारणा के तहत, किसी भी निरंतर और कुछ निरंतर । नियतात्मक समय के लिए शास्त्रीय समय-पदानुक्रम प्रमेयों द्वारा, इसका अर्थ है संभाव्य समय के लिए एक समय पदानुक्रम। मैं उल्टा सवाल पूछ रहा हूं: क्या एक संभाव्य हायोग्राफी व्युत्पन्न परिणाम साबित करने से संबंधित बाधा के खिलाफ हिट करता है?घ ग
EDIT: मैं रयान के जवाब को अधिक संपूर्ण समाधान के रूप में स्वीकार कर रहा हूं।
यदि किसी के पास इस बात का अवलोकन हो कि हमारे बीच क्या है और संभाव्य समय के लिए पदानुक्रम के अस्तित्व को साबित करने के लिए, उत्तर देने के लिए स्वतंत्र महसूस करें या टिप्पणी करें। बेशक, स्पष्ट उत्तर यह है कि में एक शब्दार्थ परिभाषा है जो शास्त्रीय तकनीकों को परिभाषित करती है। मुझे कम स्पष्ट टिप्पणियों में दिलचस्पी है।