Eğer , daha sonra ?

Eğer , daha sonra ? Bu soruyu soruyorum çünkü diğer deterministik olmayan sınıflar için her zaman onların deterministik karşılıklarına eşit olduklarını ortaya koyuyor.$\mathbf{P} = \mathbf{NP}$$\mathbf{L} = \mathbf{NL}$$\mathbf{P} = \mathbf{NP}$

Bu açık bir araştırma sorusu. Mevcut bilgi durumumuzda, bilmek ne ne de anlamına gelmez . Tersine, veya bilmek , vs sorusu hakkında bir şey ifade etmeyecektir . (Ama bu mümkün kanıtı ait vs , bize birşeyler söylerdim vs veya tersi.)$\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}$

Bildiğimiz eşitlik çıkan sonuç, Savitch teoremi . Uzay hiyerarşisi teoreminin belirsiz olmayan versiyonu diyor, bu yüzden ayarlanan kapanımlardan en az birinin katı olması gerektiğini biliyoruz. Bunların hepsinin katı olduğunu düşünüyoruz, ancak mevcut bilgimiz, ve arasında en az bir tane içerdiği sürece hiçbir alt kümesini .$\mathbf{L}\subseteq \mathbf{NL} \subseteq \mathbf{P} \subseteq \mathbf{NP} \subseteq \mathbf{PSPACE} = \mathbf{NPSPACE}$$\mathbf{NL}\neq \mathbf{NPSPACE}$$\mathbf{NL}$$\mathbf{PSPACE}$