के पतन को


12

बहुपद पदानुक्रम के प्रत्येक स्तर के बीच में निहित विभिन्न जटिलता वर्ग हैं, जिनमें , , , और । बेहतर शब्दावली की कमी के लिए, मैं इन और किसी भी अन्य को बहुपद पदानुक्रम में स्तरों और बीच मध्यवर्ती कक्षाओं के रूप में संदर्भित करूंगा । इस प्रश्न के प्रयोजनों के लिए, मान लें कि वे समाहित हैं, लेकिन और / या । हम शामिल से बचना चाहते हैं डी पी बिहार कश्मीर Σ पी मैंΠ पी मैं मैं मैं + 1 Σ पी मैं + 1Π पी मैं + 1 Σ पी मैं Π पी मैं Σ पी मैं + 1Π पी मैं + 1 पीएच मैं + 1 टी ΔiPDPBHkΣiPΠiPii+1Σi+1PΠi+1PΣiPΠiPΣi+1PΠi+1P , यदि संभव हो, तो यह तुच्छ रूप से बराबर है अगर यह ढह जाता है स्तर।PHi+1th

इसके अतिरिक्त, निम्न निर्धारित करें:
DPi={LL:LΣiP and LΠiP}

उपरोक्त DP ( भी लिखा जाता है) का सामान्यीकरण है DP। इस परिभाषा में, DP 1 केDP बराबर है । यह एक और cstheory.se प्रश्न में माना जाता है । यह देखना आसान है कि डी पी मैंΔ पी मैं + 1 और दोनों शामिल Σ पी मैं और Π पी मैंDP1DPiΔi+1PΣiPΠiP

संदर्भ आरेख:

PH का आरेख

प्रश्न:
मान लीजिए कि बहुपद hierachy स्तर तक गिर जाता है, लेकिन i t h स्तर तक नहीं गिरता है। यही कारण है, Σ पी मैं + 1 = Π पी मैं + 1 और Σ पी मैंΠ पी मैंi+1thithΣi+1P=Πi+1PΣiPΠiP

हम नीचे किसी भी स्तर में इन मध्यवर्ती खुद को कक्षाओं और अन्य लोगों के बीच संबंधों के बारे में अधिक कुछ भी कह सकते हैं ? क्या जटिलता वर्गों के संग्रह के लिए एक स्कीमा है जहां, हर संग्रह के लिए, कक्षाएं समान हैं यदि और केवल अगर PH एक मनमाने ढंग से चुने गए स्तर तक गिरता है?i+1PH

बस एक अनुवर्ती के रूप में, मान लीजिए कि पदानुक्रम (जैसे इन मध्यवर्ती वर्गों में से किसी विशेष एक के लिए ढह )। चयनित वर्ग के आधार पर, क्या हम जानते हैं कि क्या इस पतन को नीचे की ओर विस्तारित करना जारी रखना चाहिए, शायद यहां तक ​​कि i t h स्तर तक?Δi+1Pith

उपरोक्त प्रश्न का हेमासपंड्रा एट द्वारा एक पेपर में आंशिक रूप से पता लगाया गया था और इसका उत्तर दिया गया था। अल:
बहुपत्नी पदानुक्रम के भीतर एक नीचे की गिरावट
किसी को इस पेपर में उल्लिखित अतिरिक्त उदाहरणों के बारे में नहीं पता है या इसे पूरा करने के लिए एक वर्ग के लिए क्या होने की आवश्यकता है?

जवाबों:


11

मेरे पास एक अच्छा उत्तर नहीं है, लेकिन जटिलता की भावना में, मेरे पास कुछ उत्तर हैं जो बताते हैं कि एक अच्छा उत्तर मुश्किल हो सकता है :)।

  1. नोट Ladner की प्रमेय का सामान्यीकरण संस्करण का तात्पर्य है कि असीम कई पाली समय सख्ती से बीच में डिग्री देखते हैं कि और सख्ती से यह ऊपर किसी भी पाली समय डिग्री। विशेष रूप से, पदानुक्रम यह संक्षिप्त हो अगर मैं + 1 -ST स्तर नहीं बल्कि मैं वें, तो असीम कई के बीच पी डिग्री Σ मैं पी और Σ मैं + 1 पीΠ मैं + 1 पी = Σ मैं + 1 पीΣiPi+1iΣiPΣi+1PΠi+1P=Σi+1P

  2. अगर मुझे सही ढंग से याद है, तो एक ओरेकल का निर्माण करना जिसके लिए दिखता है जैसे अंकगणितीय पदानुक्रम अभी भी एक खुली समस्या है। द्वारा "अंकगणित पदानुक्रम की तरह दिखता है," मेरा मतलब है कि पी एच पतन नहीं होता है, और Σ कश्मीर पीΠ कश्मीर पीΔ कश्मीर + 1 पी = Σ कश्मीर + 1 पीΠ कश्मीर + 1 पी सभी के लिए कश्मीर । यह कम से कम सुझाव देता है कि आपके प्रश्न का उत्तर ज्ञात नहीं हो सकता है।PHPHΣkPΠkPΔk+1P=Σk+1PΠk+1Pk

  3. केर-मैं Ko देववाणी जिसमें उन्होंने के स्तर को अलग करती है देता के उन लोगों से पी एच । जैसा कि ये दोनों पदानुक्रम एक दूसरे को परस्पर जोड़ते हैं, इससे आपको पी एच के स्तरों के बीच समस्याओं के सापेक्ष पतन के बारे में कम से कम कुछ जानकारी मिलती है ।BPHPHPH

  4. यह अगला संदर्भ गलत दिशा है, लेकिन आपको परिणाम और इसकी तकनीकों में भी रुचि हो सकती है। चांग और कडिन ने दिखाया कि यदि बूलियन पदानुक्रम (जो पूरी तरह से के दूसरे स्तर से नीचे रहता है , लेकिन D P को पूरी पदानुक्रम तक बढ़ाता है ) अपने k -th स्तर तक गिर जाता है, तो P H , Boolean के k -th स्तर तक ढह जाता है अधिक पदानुक्रम Σ 2 पीPHDPkPHkΣ2P


1
ΣkPΠkPΔkP=Σk+1PΠk+1P
ΔkP=ΣkPΠkPΔk+1P=Σk+1PΠk+1P?

1
Σk1PΠk1PΔkPΣkpΠkPΣkPΠkP
P=Σ0PΠ0P=PPΔ1P=PΣ1pΠ1P=NPcoNPΣ1PΠ1P=NPcoNPΔ2P=PNPΣ2PΠ2PΣ2PΠ2P
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.