pspace $\neq$ EXP

martdowd at aol.com martdowd at aol.com
Tue Mar 8 19:01:29 EST 2022


FOM:
As a correction to my previous post, although I don't know how to diagonalize out of PSPACE, PSPACE $\neq$ EXP does follow from NEXP $\neq$ co-NEXP.
Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220309/950fdc9e/attachment-0001.html>


More information about the FOM mailing list