和之间的含义？

如果我们可以证明，是否意味着？ $\mathsf{L}=\mathsf{P}$ $\mathsf{NL}=\mathsf{NP}$

我以为是这种情况，但我无法证明（反之亦然）。

cc.complexity-theory complexity-classes nondeterminism

— 查恰波尔
source

证明相反的过程将非常困难……

— domotorp

相反，NL = P是否暗示L = P。除非L = NL，否则不一定是正确的。

— Mohammad Al-Turkistany

我发布了一个有关P与L，NP与NL，BPP与BPL，⊕P与⊕L之间关系的相关问题。如果您有兴趣，请随时查看。谢谢！ cstheory.stackexchange.com/questions/31073/...

— 迈克尔Wehar

否。因为NL包含在P中，所以L = P且P！= NP可能意味着NL！= NP。

— 穆罕默德·图尔克斯坦尼
source

我认为这可能会有所帮助，而不是仅仅直言不讳地断言。考虑到构造NP = ∃P（即其定义为使用多重时间算法检查证人），我可以看到如何猜测如果P = L，我们可以简单地通过替换获得 NP = ∃L = NL。关于工作带对数限制的一些评论可能有助于表明为什么不是这种情况。

— Niel de Beaudrap