L和NL之间的中间问题

众所周知，有向 st- 连接性是。Reingold的突破性结果表明，无向的st-连通性在L中。平面定向ST-连接被称为是在ü 大号∩ Ç Ò ù 大号。Cho和Huynh定义了参数化背包问题，并展示了L和N L之间的问题层次。$NL$$L$$UL \cap coUL$$L$$NL$

我正在寻找介于和N L之间的其他问题，即：$L$$NL$

• 已知为但未知（或不太可能）为N L-完整且$NL$$NL$
• 已知难的，但不知道是大号。$L$$L$

可达性与多项式混合时有向图的RL完全问题（由莱因戈尔德，的Trevisan和Vadhan所示伪随机走在定期向图和RL与大号问题）是空间（参照BPHSPACE （小号）⊆ DSPACE （小号3 / 2）由Saks和周），这是L和Savitch的结合上的NL之间严格Ô （登录2 ñ ）空间。$\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}$

参考：Samir Datta，Raghav Kulkarni，Raghunath Tewari：二分平面图中的完美匹配在UL中。计算复杂性电子学术讨论会（ECCC）17：201（2010）