如果

如果，那么吗？我问这个问题是因为，对于其他非确定性类，似乎总是确定它们等于确定性类。$\mathbf{P} = \mathbf{NP}$$\mathbf{L} = \mathbf{NL}$$\mathbf{P} = \mathbf{NP}$

这是一个开放的研究问题。在我们现有的知识，知道的状态既不意味着大号 = ñ 大号也不大号 ≠ ñ 大号。相反，知道L = N L或L ≠ N L并不意味着有关P vs N P问题。（但它有可能是证明的大号 VS ň 大号会告诉我们一些关于P VS ñ $\mathbf{P}=\mathbf{NP}$$\mathbf{L}=\mathbf{NL}$$\mathbf{L}\neq\mathbf{NL}$$\mathbf{L}=\mathbf{NL}$$\mathbf{L}\neq\mathbf{NL}$$\mathbf{P}$$\mathbf{NP}$$\mathbf{L}$$\mathbf{NL}$$\mathbf{P}$$\mathbf{NP}$ 或相反亦然。）

我们知道，其中等式由如下萨维奇定理。空间层次定理的非确定性版本表示N L ≠ N P S P A C $\mathbf{L}\subseteq \mathbf{NL} \subseteq \mathbf{P} \subseteq \mathbf{NP} \subseteq \mathbf{PSPACE} = \mathbf{NPSPACE}$$\mathbf{NL}\neq \mathbf{NPSPACE}$因此，我们知道至少其中一组包含项必须严格。我们有点认为它们都是严格的，但是我们目前的知识并不排除它们的任何子集，只要它包括和P S P A C E之间的至少一个即可。$\mathbf{NL}$$\mathbf{PSPACE}$