हम जानते हैं कि यदि तो पूरे पीएच का पतन हो जाता है। यदि बहुपद पदानुक्रम आंशिक रूप से ढह जाए तो क्या होगा? (या कैसे समझें कि PH एक निश्चित बिंदु से ऊपर गिर सकता है और नीचे नहीं?)
कम शब्दों में, और के परिणाम क्या होंगे ?
हम जानते हैं कि यदि तो पूरे पीएच का पतन हो जाता है। यदि बहुपद पदानुक्रम आंशिक रूप से ढह जाए तो क्या होगा? (या कैसे समझें कि PH एक निश्चित बिंदु से ऊपर गिर सकता है और नीचे नहीं?)
कम शब्दों में, और के परिणाम क्या होंगे ?
जवाबों:
मेरे लिए, के सबसे बुनियादी और आश्चर्यजनक परिणामों में से एक समस्या के पूरे मेजबान के लिए लघु प्रमाणों का अस्तित्व है, जहां यह देखना बहुत मुश्किल है कि उनके पास लघु प्रमाण क्यों होने चाहिए। (यह "इस पतन के अन्य जटिलता के निहितार्थ क्या हैं?" से एक कदम पीछे ले जाने का एक प्रकार है, "इस पतन के बहुत मूल, नीचे-से-पृथ्वी के कारण क्या होंगे?"
उदाहरण के लिए, यदि , तो हर ग्राफ़ के लिए जो हैमिल्टनियन नहीं है, उस तथ्य का एक छोटा सा प्रमाण है। इसी तरह ग्राफ़ के लिए जो 3-रंगीन नहीं हैं। इसी तरह उन युग्मों के युग्मों के लिए जो आइसोमोर्फिक नहीं हैं। इसी तरह किसी भी प्रस्तावना के लिए ।
ऐसी दुनिया में जहां में क्योंकि इस तरह के एक दुनिया में -, प्रोपोज़िशनल tautologies साबित करने में कठिनाई यह है कि कुछ कम tautologies लंबे सबूत नहीं है कि हर अनुलाप एक polynomially कम सबूत है - लेकिन कुछ है बल्कि यह है कि अन्य कारण जो हम उन प्रमाणों को कुशलता से नहीं खोज पा रहे हैं।
यदि हम भी मानते हैं , तो परिकल्पना भी यादृच्छिक वर्गों के पतन का कारण होगी: । हालांकि ये सभी P में बिना शर्त के ढहने के अनुमान हैं, वैसे भी, यह अभी भी खुला है कि क्या वास्तव में ऐसा होता है। किसी भी मामले में, एन पी = सी ओ एन एन पी अपने आप में इसका मतलब नहीं है कि ये यादृच्छिक कक्षाएं ध्वस्त हो जाती हैं।
यदि वे नहीं करते हैं, अर्थात् , हमारे पास कम से कम then पी है , तो, केवल एन पी = सी ओ एन पी परिकल्पना के साथ, यह एक और महत्वपूर्ण परिणाम होगा: । यह जो कहते हैं बाबई, Fortnow, निसान और Wigderson, का एक परिणाम से इस प्रकार है कि अगर में सभी एकल (मिलान) भाषाओं पी एच में गिर पी , फिर बी पी पी = पी । इस प्रकार, यदि बी पी पी ≠ पी , तो वे सभी पी में नहीं गिर सकते हैं, क्योंकि एन पी = सी ओ एन पी धारणा का अर्थ पी एच = एन पी है । इसलिए, N P - P में एक टैली भाषा होनी चाहिए। अंत में, में एक मिलान भाषा की उपस्थिति अच्छी तरह से मतलब है जाना जाता है ई ≠ एन ई ।
ऊपर के तर्क से पता चलता है रोचक प्रभाव है कि परिकल्पना, एक पतन होने के बावजूद, वास्तव में बढ़ाता है अलग करने की शक्ति बी पी पी ≠ पी , बाद अकेले के रूप में यह सूचित करते हैं ज्ञात नहीं है ई ≠ एन ई । यह "विसंगति" अनुमान का समर्थन करने लगता है बी पी पी = पी ।
से परे कक्षाओं की गिनती के लिए दो परिभाषाएं हैं । एक को Valiant द्वारा परिभाषित किया गया था और दूसरे को Toda द्वारा परिभाषित किया गया था।
किसी भी वर्ग के लिएसी, को परिभाषित#सी=∪ एक ∈ सी (#पी) एक है, जहां( # पी ए)कार्यों का मतलब Nondeterministic बहुपद-काल ट्यूरिंग मशीनों की स्वीकृति पथों की गिनती करने के लिएAका दैवज्ञ है।
Valiant की परिभाषा के अनुसार हमारे पास पहले से ही
किसी भी वर्ग के लिएसी, को परिभाषित#। सीकार्यों के वर्ग होने के लिएचऐसी है कि कुछ के लिएसी-गणनीय दो तर्क विधेयआरऔर कुछ बहुपदपी, के लिए हर स्ट्रिंगxयह मानती है कि:च(एक्स)=| | {य| पी(|)और आर ( एक्स , वाई ) } | | ।
टोडा की परिभाषा से हमारे पास यदि और केवल N P = C o N P है तो ।
तो अगर हम भी मानते हैं कि तो हम होता एफ पी ≠ # पी ।
केआर-आई को दिखाया गया कि एक ओरेकल है जो k-th स्तर पर PH को बनाता है। "केआर-आई को देखें: सापेक्ष रूप से बहुस्तरीय समय पदानुक्रमों का सटीक रूप से K स्तर पर होना। सियाम जे। कंप्यू। 18 (2): 392-408 (1989)"।