में वर्णनात्मक जटिलता , Immerman है
कोरोलरी 7.23। निम्नलिखित स्थितियां समतुल्य हैं:
1. पी = एनपी।
2. ओवरनाइट, ऑर्डर की गई संरचनाएं, एफओ (एलएफपी) = एसओ।
इसे "जटिलता" पी = एनपी के रूप में माना जा सकता है कि यह एक बड़े पैमाने पर जटिलता वर्गों के बराबर बयान (संभवतः) है। ध्यान दें कि SO बहुपद-काल-पदानुक्रम PH को कैप्चर करता है, और FO (LFP) P को कैप्चर करता है, इसलिए इसे P = NP iff P = PH माना जा सकता है।
(इसका दिलचस्प हिस्सा यह कथन है कि P = NP का अर्थ है P = PH; यह तुच्छ है कि P = CC का तात्पर्य किसी भी वर्ग CC के लिए P = NP से है, जिसमें NP है। Immerman बस टिप्पणी करता है "यदि P = NP तो PH = NP है" , संभवतः क्योंकि पी = एनपी का उपयोग पीएच की ओरेकल परिभाषा के साथ किया जा सकता है ताकि यह दिखाया जा सके कि पूरे पदानुक्रम ढह गए हैं।)
मेरा सवाल यह है कि:
इस तरह से पी = एनपी को कितना बढ़ाया जा सकता है?
विशेष रूप से, सबसे बड़ा ज्ञात वर्ग CC 'ऐसा है कि P = NP का तात्पर्य P = CC' है, और सबसे छोटा वर्ग CC, जो P = NP का अर्थ है CC = NP? यह P = NP को समतुल्य प्रश्न CC = CC 'द्वारा प्रतिस्थापित करने की अनुमति देगा। पी एक बल्कि शक्तिशाली वर्ग प्रतीत होता है, जो इसे एनपी से अलग करने की कोशिश कर रहे तर्कों के लिए थोड़ा "wiggle कमरा" प्रदान करता है: विगेल रूम को कितनी दूर तक बढ़ाया जा सकता है?
मैं निश्चित रूप से एक ऐसे तर्क में भी दिलचस्पी लूंगा जो दिखाता है कि पी = पीएच इस दृष्टिकोण की सीमा है।
संपादित करें: बारीकी से संबंधित प्रश्न पर ध्यान दें कि पी = एनपी का मतलब पी = एपी (यानी पी = PSPACE) क्यों नहीं है? जो दूसरी दिशा पर ध्यान केंद्रित करता है, हमारे पास ऐसा प्रमाण क्यों नहीं है कि P = PSPACE। केव और पीटर शोर के उत्तर में तर्क दिया गया है कि विकल्प की संख्या निश्चित है। एक अन्य संबंधित प्रश्न एक निर्णय समस्या है जो पीएच में होने के लिए ज्ञात नहीं है, लेकिन पी में होगा यदि पी = एनपी जो एक उम्मीदवार की समस्या के लिए पूछता है; इस प्रश्न के उत्तर का निर्माण करने के लिए भी उत्तर का उपयोग किया जा सकता है, हालांकि ये वर्ग कुछ हद तक कृत्रिम हैं (शुक्रिया जो इस बात की ओर इशारा करते हैं। एक अधिक सामान्य सेटिंग में, एक्सपटाइम और अल्टरनेशन के कोलैपिंग ने ट्यूरिंग मशीन को बाध्य किया यह पूछता है कि क्या एक प्रत्यावर्तन पदानुक्रम में किसी भी स्तर पर एक स्थानीय पतन एक ऊर्ध्व पतन को प्रेरित करता है, जैसा कि बहुपद-काल के पदानुक्रम के साथ होता है।