5 ms·

I think the statement you meant to remind us of is that NP is a subset of PSPACE.

• jessaustin 13y ago
  According to the paper under discussion, the two statements are equivalent. Your version is probably more graceful, however.