मैं सभी संतोषजनक प्रस्तावक तर्क सूत्रों की भाषा पर विचार कर रहा हूँ, SAT (यह सुनिश्चित करने के लिए कि यह एक परिमित वर्णमाला है, हम कुछ उपयुक्त तरीके से प्रस्ताव पत्र सांकेतिक शब्दों में बदलना होगा [संपादित करें: उत्तरों ने कहा कि प्रश्न के उत्तर के तहत मजबूत नहीं हो सकता है] अलग-अलग एन्कोडिंग, इसलिए किसी को अधिक विशिष्ट होने की आवश्यकता है - नीचे मेरे निष्कर्ष देखें] )। मेरा सीधा सा सवाल है
क्या सैट एक संदर्भ-मुक्त भाषा है?
मेरा पहला अनुमान था कि आज (2017 की शुरुआत में) उत्तर "किसी को नहीं पता होना चाहिए, क्योंकि यह जटिलता सिद्धांत में अनसुलझे प्रश्नों से संबंधित है।" हालांकि, यह वास्तव में सच नहीं है (नीचे उत्तर देखें), हालांकि पूरी तरह से गलत भी नहीं है। यहां उन चीजों का एक संक्षिप्त सारांश है जो हम जानते हैं (कुछ स्पष्ट चीजों के साथ शुरू)।
- सैट नियमित नहीं है (क्योंकि कोष्ठक मिलान के कारण प्रस्ताव तर्क का वाक्य-विन्यास भी नियमित नहीं है)
- SAT संदर्भ-संवेदनशील है (इसके लिए LBA देना कठिन नहीं है)
- सैट एनपी-पूर्ण (कुक / लेविन) है, और विशेष रूप से बहुपद समय में nondeterministic TMs द्वारा निर्णय लिया गया है।
- SAT को वन-वे नोंडेर्मिनिस्टिक स्टैक ऑटोमेटा (1-NSA) द्वारा भी देखा जा सकता है (डब्ल्यूसी राउंड्स देखें, मध्यवर्ती स्तर की भाषाओं में मान्यता की जटिलता , स्विचिंग और ऑटोमेटा थ्योरी, 1973, 145-158 http://dx.doi.org/ 10.1109 / SWAT.1973.5 )
- संदर्भ-मुक्त भाषाओं के लिए शब्द समस्या की अपनी जटिलता वर्ग (देखें https://complexityzoo.uwaterloo.ca/Complexity_Zoo:C#cfl )
- , जहां LOGCFL समस्याओं का वर्ग है logspace को कम करने योग्य सीएफएल (देखेंhttps://complexityzoo.uwaterloo.ca/Complexity_Zoo:L#logcfl)। ऐसा नहीं है कि जाना जाता है NL ⊆ LOGCFL ।
- NL = एनपी एनसी 1 ⊊ पीएच एनपी LOGCFL LOGCFL
हालाँकि, यह अंतिम बिंदु अभी भी इस संभावना को छोड़ देता है कि SAT को में नहीं जाना जाता है । सामान्य तौर पर, मैं बहुत से रिश्ते के बारे में नहीं पा सके को पदानुक्रम है कि हो सकता है मदद मेरे सवाल के epistemic स्थिति स्पष्ट करने के लिए।सीएफएल नेकां
रिमार्क (कुछ शुरुआती जवाबों को देखने के बाद): मैं फॉर्मूले को सामान्य रूप में समवर्ती होने की उम्मीद नहीं कर रहा हूं (इससे उत्तर के सार पर कोई फर्क नहीं पड़ेगा, और आमतौर पर तर्क तब भी लागू होते हैं क्योंकि सीएनएफ भी एक सूत्र है। लेकिन दावा करें कि समस्या का निरंतर-संख्या-चर संस्करण नियमित रूप से विफल रहता है, क्योंकि किसी को वाक्यविन्यास के लिए कोष्ठक की आवश्यकता होती है।)
निष्कर्ष: मेरी जटिलता-सिद्धांत से प्रेरित अनुमान के विपरीत, कोई भी सीधे दिखा सकता है कि SAT संदर्भ-मुक्त नहीं है। इसलिए स्थिति यह है:
- यह ज्ञात है कि सैट है विषय से मुक्त नहीं (दूसरे शब्दों में: सैट में नहीं है ), धारणा एक का उपयोग करता है "प्रत्यक्ष" एन्कोडिंग के तहत सूत्रों जहां प्रोपोज़िशनल चर द्विआधारी संख्या से पहचाने जाते हैं की (और कुछ आगे के प्रतीक ऑपरेटरों और विभाजकों के लिए उपयोग किए जाते हैं)।
- अगर यह पता नहीं है सैट में है , लेकिन "अधिकांश विशेषज्ञों लगता है कि" कि ऐसा नहीं है, के बाद से इस अर्थ होगा । इसका मतलब यह भी है कि यह अज्ञात है अगर सैट के अन्य "उचित" एन्कोडिंग संदर्भ-मुक्त हैं (यह मानते हुए कि हम लॉगस्पेस को एनपी-हार्ड समस्या के लिए एक स्वीकार्य एन्कोडिंग प्रयास मानेंगे)।पी = एनपी
ध्यान दें कि ये दो बिंदु । इसे सीधे दिखाते हुए दिखाया जा सकता है कि में भाषाएं हैं (इसलिए in ) जो संदर्भ-मुक्त नहीं हैं (उदाहरण के लिए, )।एल LOGCFL एक एन बी एन सी एन