是否有针对具有多个Oracle磁带的Turing机器的权威参考？

多数文献似乎都针对具有特定问题的单个预言机的机器，但是似乎有几篇论文考虑了具有多个预言机的机器。是否有一篇很好的论文或论文概述了有关此类机器的知识？我特别对带有多个预言的P感兴趣。

oracles turing-machines

— 乔·菲茨西蒙斯
source

如果只需要有限数量的Oracle，则可以通过使用复合Oracle的前log（N）位来指示要查询的子Oracle来定义N合1复合Oracle。我想念什么吗？

— Niel de Beaudrap

是的，我已经想到了。但是，我对特定的oracle集感兴趣，因此单独考虑它们比将其作为复合对象似乎更为自然。我认为在这个方向上可能会有一些不错的结果。

— Joe Fitzsimons 2010年

只是出于好奇，相对于一台Oracle计算机，拥有多个Oracle是否会增加更多的计算能力？在我看来，这不是，因为您只选择了复杂度最高的语言所对应的oracle。同样，使用固定数量的预言机将使计算机速度减慢一个常数。

— Marcos Villagra

我同意马科斯（Marcos）关于最强甲骨文归入其他甲骨文的评论。.但我很感兴趣您现在的想法！

— 丹尼尔·阿蓬

您是否正在考虑允许无限多个Oracle，而TM可以在其中选择要查询的Oracle？通过这样的设置，在一组预言严格低于其他预言Q的预言集和Q本身之间可能会有一个有趣的区别。

— 安德拉斯·萨拉蒙（AndrásSalamon）2010年

Answers:

这是最近的一篇论文，给出了由密码学驱动的单个oracle与多个oracle之间的区别：

唐纳德·海弗（Donald Beaver）和琼·费根鲍姆（Joan Feigenbaum）。在multioracle查询中隐藏实例。STACS1990。施普林格计算机科学讲义，1990，第415/1990卷，37-48，DOI：10.1007 / 3-540-52282-4_30

— 约书亚·格罗夫（Joshua Grochow）
source

只是一个问题，我认为多预言的概念仅在预言因某些（感知到的）安全原因而无法折叠时才有意义吗？

— 艾哈迈德·马苏德

这是一篇较旧的文章，可能会对您有所帮助：MIT的Nancy Lynch提供的具有多个Oracle磁带的日志空间机器（PDF）。特别是在PDF页面5上的定理2.2可能是您正在寻找的东西。还有一个关于层次结构的部分，该层次结构由每台计算机上不同数量的oracle磁带定义。

事实后的免责声明：此处给出了类似的问题和（甚至更多类似的）答案。

— 丹尼尔·阿蓬
source