4
อะไรคือผลกระทบของ
เรารู้ว่าL⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P}และL⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL}ที่L2=DSPACE(log2n)L2=DSPACE(log2n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) ) เรารู้ด้วยว่าpolyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}เพราะหลังมีปัญหาที่สมบูรณ์ภายใต้พื้นที่ลอการิทึมลดลงหลายคนในขณะที่อดีตไม่ได้ (เนื่องจากทฤษฎีบทลำดับชั้นพื้นที่) เพื่อที่จะเข้าใจความสัมพันธ์ระหว่างpolyLpolyL\mathsf{polyL}และPP\mathsf{P}มันอาจช่วยให้เข้าใจความสัมพันธ์ระหว่างL2L2\mathsf{L}^2และPP\mathsf{P}อันดับแรก อะไรคือผลกระทบของL2⊆PL2⊆P\mathsf{L}^2 \subseteq \mathsf{P} ? สิ่งที่เกี่ยวกับความแข็งแกร่งLk⊆PLk⊆P\mathsf{L}^{k} \subseteq \mathsf{P}สำหรับk>2k>2k>2หรืออ่อนแอL1+ϵ⊆PL1+ϵ⊆P\mathsf{L}^{1 + \epsilon} \subseteq \mathsf{P}สำหรับϵ>0ϵ>0\epsilon > 0 ?