場合、ですか？

もし、その後で？他の非決定論的なクラスの場合、常にそれらが決定論的クラスと等しいことを確立しているように見えるので、私はこの質問をしている。$\mathbf{P} = \mathbf{NP}$$\mathbf{L} = \mathbf{NL}$$\mathbf{P} = \mathbf{NP}$

これは未解決の研究問題です。現在の知識では、を知っていても、もも意味しません。そして逆に、L = N LまたはL ≠ N Lを知っていても、P対N Pの質問については何も意味しません。（しかし、L対N Lの証明がP対N P、またはその逆について何かを教えてくれる可能性があります。）L = N L L ≠ N $\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}$したがって、少なくとも1つのセットの包含は厳密でなければならないことがわかります。私たちはそれらはすべて厳密だと思いますが、現在の知識では、とP S P A C Eの間に少なくとも1つが含まれている限り、それらのサブセットを除外していません。$\mathbf{NL}$$\mathbf{PSPACE}$