Open silky opened 9 years ago
re the second part, Shor says (in "Algorithms for quantum computation: Discrete logarithm and factoring") that it's because BPP is not known to be strictly smaller than PSPACE, and this would separate them.