L ve NL arasındaki orta problemler

Bu çok iyi bilinmektedir yönlendirilmiş St-bağlantı olup -Komple. Reingold atılım sonucu olduğunu gösterdi yönsüz st-bağlantı içindedir L . Düzlemsel yönelimli bağlantıların U L ∩ c o U L olduğu bilinmektedir . Cho ve Huynh parametreli bir sırt çantası problemini tanımladı ve L ve N L arasında bir problem hiyerarşisi sergiledi .$NL$$L$$UL \cap coUL$$L$$NL$

ve N L arasında orta olan daha fazla problemi arıyorum, yani;$L$$NL$

• olduğu bilinen ancak bilinen (veya olası) olduğu K L Komple ve$NL$$NL$
• Bilinen olmak -Zor ama olmak bilinmemektedir L .$L$$L$

Polinom karıştırma zamanı ile ilgilidir grafiklerde erişilebilirlik RL-tam problem (de Reingold, Trevisan ve Vadhan ile gösterilen yalancı rasgele düzenli digraphs RL genel L sorunu üzerinde yürür olan) boşluk (bakınız BPHSPACE ( S ) ⊆ Dspace ( S 3 / 2 ) tarafından Saks ve Zhou katı arasında NL ile bağlanmış L ve Savitch en arasındadır), O ( giriş 2 , n ) bir alan.$\log^{3/2}(n)$$\text{BPHSPACE}(S) \subseteq \text{DSPACE}(S^{3/2})$$O(\log^2 n)$

Mangrovlardaki RUL-tamamlanabilirlik problemine uzayda karar verilebilir ( Allender, Lange , RUSPACE ( log n ) ⊆ DSPACE ( log 2 n / log log n ) ). Bir mangrov herhangi iki köşe arasındaki en fazla bir yolda olduğu yönlendirilmiş bir grafiktir.$O(\log^2 n / \log\log n)$$\text{RUSPACE}(\log n) \subseteq \text{DSPACE}(\log^2 n/\log\log n)$

İkili Düzlemsel mükemmel uyum içinde olduğu bilinen (değil de U L ∩ c O u L ). Düzlemsel Ulaşılabilirlik azaldığı için, L- zor.$\mathsf{UL}$$\mathsf{UL} \cap \mathsf{coUL}$$\mathsf{L}$

Ref: Samir Datta, Raghav Kulkarni, Raghunath Tewari: Bipartite Düzlemsel Grafiklerde Mükemmel Eşleşme UL'de. Hesaplamalı Karmaşıklık Üzerine Elektronik Kolokyum (ECCC) 17: 201 (2010)