बहुपद पदानुक्रम के प्रत्येक स्तर के बीच में निहित विभिन्न जटिलता वर्ग हैं, जिनमें , , , और । बेहतर शब्दावली की कमी के लिए, मैं इन और किसी भी अन्य को बहुपद पदानुक्रम में स्तरों और बीच मध्यवर्ती कक्षाओं के रूप में संदर्भित करूंगा । इस प्रश्न के प्रयोजनों के लिए, मान लें कि वे समाहित हैं, लेकिन और / या । हम शामिल से बचना चाहते हैं डी पी बिहार कश्मीर Σ पी मैं ∩ Π पी मैं मैं मैं + 1 Σ पी मैं + 1 ∩ Π पी मैं + 1 Σ पी मैं Π पी मैं Σ पी मैं + 1 ∩ Π पी मैं + 1 पीएच मैं + 1 टी ज , यदि संभव हो, तो यह तुच्छ रूप से बराबर है अगर यह ढह जाता है स्तर।
इसके अतिरिक्त, निम्न निर्धारित करें:
उपरोक्त ( भी लिखा जाता है) का सामान्यीकरण है । इस परिभाषा में, DP 1 के बराबर है । यह एक और cstheory.se प्रश्न में माना जाता है । यह देखना आसान है कि डी पी मैं ⊆ Δ पी मैं + 1 और दोनों शामिल Σ पी मैं और Π पी मैं ।
संदर्भ आरेख:
प्रश्न:
मान लीजिए कि बहुपद hierachy स्तर तक गिर जाता है, लेकिन i t h स्तर तक नहीं गिरता है। यही कारण है, Σ पी मैं + 1 = Π पी मैं + 1 और Σ पी मैं ≠ Π पी मैं ।
हम नीचे किसी भी स्तर में इन मध्यवर्ती खुद को कक्षाओं और अन्य लोगों के बीच संबंधों के बारे में अधिक कुछ भी कह सकते हैं ? क्या जटिलता वर्गों के संग्रह के लिए एक स्कीमा है जहां, हर संग्रह के लिए, कक्षाएं समान हैं यदि और केवल अगर PH एक मनमाने ढंग से चुने गए स्तर तक गिरता है?
बस एक अनुवर्ती के रूप में, मान लीजिए कि पदानुक्रम (जैसे इन मध्यवर्ती वर्गों में से किसी विशेष एक के लिए ढह )। चयनित वर्ग के आधार पर, क्या हम जानते हैं कि क्या इस पतन को नीचे की ओर विस्तारित करना जारी रखना चाहिए, शायद यहां तक कि i t h स्तर तक?
उपरोक्त प्रश्न का हेमासपंड्रा एट द्वारा एक पेपर में आंशिक रूप से पता लगाया गया था और इसका उत्तर दिया गया था। अल:
बहुपत्नी पदानुक्रम के भीतर एक नीचे की गिरावट
किसी को इस पेपर में उल्लिखित अतिरिक्त उदाहरणों के बारे में नहीं पता है या इसे पूरा करने के लिए एक वर्ग के लिए क्या होने की आवश्यकता है?