相对于不包含

格雷格·库珀伯格（Greg Kuperberg）的“ 复杂性动物学”指出，存在一种语言 $X$ 例如 $\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$ 换句话说， $\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$ -但未提供此结果的参考。为什么会这样？或者在哪里可以找到证明？

这个问题部分是由于我对“短消息的多提供商交互式证明有什么了解？” 这一问题的回答而引起的。由Joe Fitzsimons撰写。

我张贴在这个问题上math.stackexchange.com 10月2日，但我没有收到任何答案，删除的问题上数学下面这个职位上meta.math。

— 伊藤刚
source

也许这有帮助吗？icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— Alessandro Cosentino，

@Alessandro：谢谢，似乎很相关。我会检查它。

— 伊藤刚（Tsuyoshi Ito）

复杂性Zoo条目的链接在答案的编辑中丢失了。它在@MarcosVillagra请求之后更新：qwiki.stanford.edu/index.php/Complexity_Zoo

— Alessandro Cosentino

神谕追溯到Stockmeyer在1983年海勒给了更强的结果：在1986年一个相对化的世界Karpiniski和维贝克（在评论中提到的）数落海勒的结果。 $BPP = EXP^{NP}$

— 兰斯·福特诺
source

谢谢您的帮助。我将等待一两天，然后接受，除非发生任何意外。

— 伊藤刚（Tsuyoshi Ito）

如果有人在复杂性动物园中更新条目，那就太好了。我可以做到，但我不知道如何。

— Marcos Villagra

@MarcosVillagra可能只是给Greg Kuperberg发电子邮件？

— Suresh Venkat

@SureshVenkat如果您是说复杂性动物学，那么不幸的是，这不是公共Wiki。如果您是说“复杂性动物园”，那么我已经更新了它。

— 亚历山德罗·科森蒂诺