ถ้าแล้วคืออะไร?

ถ้าแล้วคืออะไร? ฉันถามคำถามนี้เพราะสำหรับชั้นเรียนที่ไม่ได้กำหนดค่าอื่น ๆ ดูเหมือนว่ามักจะกำหนดว่าพวกเขาจะเท่ากับพวกที่กำหนดขึ้นมาเสมอ$\mathbf{P} = \mathbf{NP}$$\mathbf{L} = \mathbf{NL}$$\mathbf{P} = \mathbf{NP}$

นี่เป็นคำถามเปิดการวิจัย ที่สถานะของเราในปัจจุบันความรู้รู้ค่าจะบ่งบอกมิได้{} และในทางกลับกันการรู้หรือจะไม่บอกเป็นนัยเกี่ยวกับคำถาม vs( แต่มันก็เป็นไปได้ว่าหลักฐานของ VSจะบอกเราบางอย่างเกี่ยวกับ VSหรือในทางกลับกัน.)L = N L L ≠ N L L = N L L ≠ N L P 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}$N L P N $\mathbf{L}$$\mathbf{NL}$$\mathbf{P}$$\mathbf{NP}$

เรารู้ว่าที่เท่าเทียมกันดังต่อไปนี้จากทฤษฎีบท Savitch ของ รุ่น nondeterministic ของทฤษฎีบทลำดับชั้นของพื้นที่บอกว่าดังนั้นเราจึงรู้ว่าอย่างน้อยหนึ่งในการรวมชุดต้องเข้มงวด เราเลยคิดว่าพวกเขากำลังทั้งหมดที่เข้มงวด แต่ความรู้ของเราในปัจจุบันไม่ได้ออกกฎย่อยของพวกเขาใด ๆ ตราบใดที่มันมีอย่างน้อยหนึ่งระหว่างและ{}$\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}$