LogDCFL- पूर्ण समस्याओं

LogCFL उन सभी भाषाओं का समूह है जो एक संदर्भ-मुक्त भाषा के लिए लॉगस्पेस रिड्यूसबल हैं। इसी तरह, LogDCFL उन सभी भाषाओं का समुच्चय है जो एक नियतात्मक संदर्भ-मुक्त भाषा में लॉगस्पेस रिड्यूसबल हैं। कुछ प्राकृतिक LogCFL- पूर्ण समस्याओं के लिए इस विकिपीडिया लेख को देखें । कई अन्य दिलचस्प लॉगसीएफएल-पूर्ण समस्याएं हैं। मुझे कोई प्राकृतिक लॉगडीडीएफएल-पूर्ण समस्या नहीं मिली। किसी भी प्राकृतिक LogDCFL-पूर्ण समस्या का नाम दें।

cc.complexity-theory complexity-classes

— शिव किंतली
स्रोत

जिज्ञासा से बाहर, क्या मैं पूछ सकता हूं कि आप लॉगडीडीएफएल में क्यों रुचि रखते हैं?

— माइकल कैडिलैक

मैं सामान्य रूप से स्पेस-बाउंड कम्प्यूटेशन में रुचि रखता हूं और लॉगडीडीएफएल को समझने की कोशिश कर रहा हूं।

— शिव किंताली

निम्न भाषा सामान्य LogCFL को पूरी तरह से एक से थोड़ा मोड़ देती है ताकि वह LogDCFL पूरा हो जाए। इसका प्रमाण सुदबोरो की ऑन द टेप कॉम्प्लेक्सिटी ऑफ डिसेंटिविस्ट कॉन्सेप्ट-फ्री लैंग्वेजेज में पाया जा सकता है।

चलो और । पर निम्नलिखित भाषा LogDCFL-पूरा हो गया है। शब्द के होते हैं $\Sigma = \{(_1,(_2,)_1, )_2\}$ $T = \{[,],|\}$ $\Sigma \cup T$ $L$ जहां वहां मौजूद ऐसी है कि के साथ या सभी के लिएऔर पैतृक रूप से सही है।

w_{0} [(_{1} {एल}_{1} | (_{2} {आर}_{1}] ... [(_{1} {एल}_{n} | (_{2} {आर}_{n}]

$w_0\left[(_1l_1|(_2r_1\right]\ldots\left[(_1l_n|(_2r_n\right]$

w_{0}, l_{i}, r_{i} \in Σ^{*}

$w_0, l_i, r_i \in \Sigma^*$

w_{1}, \dots, w_{n}

$w_1, \ldots, w_n$

w_{i} = (_{1} l_{i}

$w_i = (_1l_i$

w_{i} = (_{2} r_{i}

$w_i = (_2r_i$

i \geq 1

$i \geq 1$

w_{0} w_{1} \dots w_{n}

$w_0w_1\ldots w_n$

— मिशैल कैडिलैक
स्रोत