क्या कोई ऐसा तरीका है जो एक कहावत को सत्यापित कर सकता है कि कुछ HORN-SAT अभिव्यक्ति संतोषजनक है?
बेशक यह मूर्खतापूर्ण लग सकता है, क्योंकि HORN-SAT के लिए रैखिक समय एल्गोरिदम हैं। दूसरी ओर, HORN-SAT P- पूर्ण है, जिसका अर्थ है कि इसमें लॉग-स्पेस एल्गोरिदम नहीं है जब तक कि P = L नहीं। तदनुसार, एल के लिए सत्यापनकर्ता की कम्प्यूटेशनल क्षमताओं को सीमित करें। अब सत्यापनकर्ता बहुत कमजोर है, इसलिए समस्या अच्छी तरह से नहीं है।
इस पर एक और मोड़ यह है कि क्या यह एक शून्य-ज्ञान प्रमाण हो सकता है।
1
गैर-शून्य-ज्ञान के मामले में, मुझे लगता है कि प्रमाण पत्र के रूप में एक संतोषजनक सत्य असाइनमेंट का उपयोग करने वाले भोले सत्यापन को केवल लॉग स्पेस की आवश्यकता होती है, बशर्ते कि इनपुट और प्रमाण पत्र केवल-पढ़ने के लिए टेप पर लिखे गए हों जो अंतरिक्ष के रूप में गणना नहीं करते हैं।
—
त्सुयोशी इतो
@Tsuyoshi: मैं यह नहीं देखता कि केवल लॉग-स्पेस में भोलेपन का सत्यापन कैसे किया जाए। अगर हम ऐसा कर सकते हैं, तो वह शो HORN-SAT NL में नहीं है, और इस तरह P- पूर्णता P = NL देते हैं?
—
शॉन हरकर
नहीं। मैंने मान लिया है कि प्रमाणपत्र केवल पढ़ने के लिए टेप पर है, जो एनएल द्वारा किए गए सत्यापन से अलग है।
—
त्सुयोशी इतो
@ त्सुयोशी: आह, तो आप प्रमाण पत्र को कई बार पढ़ सकते हैं, जबकि एनएल की एक प्रमाण-आधारित परिभाषा में एक प्रमाण पत्र होगा जो केवल एक बार पढ़ा जा सकता है।
—
शॉन हरकर