Masalah antara L dan NL

Hal ini juga diketahui bahwa diarahkan st-konektivitas adalah -Lengkap. Hasil terobosan Reingold menunjukkan bahwa diarahkan st-konektivitas dalam L . Planar diarahkan st-konektivitas dikenal di U L ∩ c o U L . Cho dan Huynh mendefinisikan masalah ransel parametrized dan dipamerkan hirarki masalah antara L dan N L .$NL$$L$$UL \cap coUL$$L$$NL$

Saya mencari lebih banyak masalah yang menengah antara dan N L yaitu, masalah yang adalah:$L$$NL$

• dikenal di tetapi tidak diketahui (atau tidak mungkin) menjadi N L -Lengkap dan$NL$$NL$
• diketahui -Hard tetapi tidak diketahui berada di L .$L$$L$

Masalah RL-lengkap reachability dalam grafik diarahkan dengan polinomial pencampuran-waktu (ditunjukkan oleh Reingold, Trevisan, dan Vadhan di Pseudorandom berjalan di digraf reguler dan masalah RL vs L ) dalam ruang (lihat BPHSPACE ( S ) ⊆ DSpace ( S 3 / 2 ) oleh Saks dan Zhou ), yang secara ketat antara L dan Savitch ini terikat pada NL dari O ( log 2 n ) ruang.$\log^{3/2}(n)$$\text{BPHSPACE}(S) \subseteq \text{DSPACE}(S^{3/2})$$O(\log^2 n)$

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

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

Ref: Samir Datta, Raghav Kulkarni, Raghunath Tewari: Pencocokan Sempurna dalam Grafik Planar Bipartit adalah dalam UL. Kolokium Elektronik tentang Kompleksitas Komputasi (ECCC) 17: 201 (2010)