I haven't found anything in the literature that suggests what would happen if that is the case. Thank you, Akash


1 Answer 1


$NL=P$ is not considered likely by the experts.

I found a few SE questions on this topic: [1] [2]

The corollaries include:

$P\subseteq L^2$ by Savitch's theorem

$NC=P$ by the Squeeze theorem

$EXP=PSPACE$ by $P\subseteq polyL$

I would like to include or exclude $P=L^k$, $k\in[1,2]$, but I have not collected sufficient evidence for or against that conclusion.

  • $\begingroup$ Thank you so much $\endgroup$ May 11, 2019 at 23:23
  • $\begingroup$ It's also worth mentioning $P \subsetneq PSPACE$ as a new separation. $\endgroup$
    – Lem n
    May 26, 2019 at 8:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.