3 ms·

I'm not a theorist, but PSPACE is a superset of NP (and therefore of P). This paper shows that there are no PSPACE problems that are not also NP problems -- int

I'm not a theorist, but PSPACE is a superset of NP (and therefore of P). This paper shows that there are no PSPACE problems that are not also NP problems -- intriguing, to be sure, but it doesn't seem to immediately speak to the relationship between P and NP.

thealistra 10y ago
Yes it does, because there is a proof of P /= PSPACE. So the whole paper implies P /= NP