एल और एनएल के बीच मध्यवर्ती समस्याएं

26

यह अच्छी तरह से ज्ञात है कि निर्देशित सेंट-कनेक्टिविटी है -Complete। Reingold की सफलता परिणाम से पता चला कि अनिर्दिष्ट सेंट-कनेक्टिविटी में है । प्लानर निर्देशित एस-कनेक्टिविटी को में जाना जाता है । चो और ह्योन ने एक पैरामीरीज़ेड नैकपैक समस्या को परिभाषित किया और और बीच समस्याओं का एक पदानुक्रम प्रदर्शित किया । $NL$ $L$ $UL \cap coUL$ $L$ $NL$

मैं और अधिक समस्याओं की तलाश में हूं जो और बीच मध्यवर्ती हैं अर्थात, जो समस्याएं हैं: $L$ $NL$

में जाना जाता है, लेकिन ज्ञात नहीं है (या संभावना नहीं) -complete और $NL$ $NL$
नाम से जानी जाती -हार्ड लेकिन में माने जाते नहीं । $L$ $L$

cc.complexity-theory space-bounded

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

13

बहुपद मिश्रण समय के साथ निर्देशित रेखांकन में गम्यता के आर एल-पूरा समस्या (में Reingold, Trevisan, और Vadhan द्वारा दिखाए गए Pseudorandom नियमित द्वि आलेख और आर एल बनाम एल समस्या पर चलता है ) में है अंतरिक्ष (देखें द्वारा साक्स और झोउ ) है, जो सख्ती से एल और Savitch के एनएल पर बाध्य के बीच है अंतरिक्ष। $\log^{3/2}(n)$ $\text{BPHSPACE}(S) \subseteq \text{DSPACE}(S^{3/2})$ $O(\log^2 n)$

— डेरिक स्टोले
स्रोत

10

$O(\log^2 n / \log\log n)$ $\text{RUSPACE}(\log n) \subseteq \text{DSPACE}(\log^2 n/\log\log n)$

— डेरिक स्टोले
स्रोत

1

इसे भी देखें: लैंग, "एक असंदिग्ध वर्ग पूर्ण सेट" STACS '97।

— डेरिक स्टोले

6

$\mathsf{UL}$ $\mathsf{UL} \cap \mathsf{coUL}$ $\mathsf{L}$

Ref: समीर दत्ता, राघव कुलकर्णी, रघुनाथ तिवारी: Bipartite Planar रेखांकन में सही मिलान उल में है। कम्प्यूटेशनल कॉम्प्लेक्सिटी (ECCC) 17: 201 (2010) पर इलेक्ट्रॉनिक बोलचाल

— Samid
स्रोत

मुझे लगता है मुझे बासी जवाब के बारे में थोड़ा शर्मिंदा होना चाहिए - लेकिन सिर्फ पूर्णता के लिए।

— सामी जूल 18'11