适当的oracle证明P ^ A = PSPACE ^ A.

Question

我想问一个关于复杂性理论中的神谕的问题。 什么是一个适当的语言用作神谕，所以我可以证明P ^ A = PSPACE ^ A. 我想我需要一种能使多项式空间无能为力的语言，但那会是什么语言？任何建议..？

Answer 1

尝试：A = PSPACE。

使用PSPACE oracle的P将与PSPACE一样强大。
使用PSPACE oracle的PSPACE功能不会增加。