複数のオラクルテープを備えたチューリングマシンの明確なリファレンスはありますか？

ほとんどの文献は、特定の問題について単一のオラクルを備えたマシンに関係しているようですが、複数のオラクルを備えたマシンを検討するいくつかの論文があるようです。そのような機械について知られているものの概要を提供する良い論文や論文はありますか？特に、複数のオラクルを持つPに興味があります。

oracles turing-machines

— ジョー・フィッツシモンズ
ソース

有限数Nのオラクルだけが必要な場合は、複合オラクルの最初のlog（N）ビットを使用して、照会するサブオラクルを示すことにより、N-in-1複合オラクルを定義できます。何か不足していますか？

— Niel de Beaudrap、2010

はい、そう思いました。ただし、私は特定のオラクルのセットに関心があるため、それらを複合オブジェクトとして個別に考えるよりも自然に思えます。この方向でいくつかの素晴らしい結果があるかもしれないと私は思った。

— ジョーフィッツシモンズ

好奇心のために、複数のオラクルを使用すると、単一のオラクルマシンよりも計算能力が高くなりますか？あなたは、最も複雑なクラスの言語に対応するオラクルを取るだけなので、私には思えない。また、オラクルの数を固定すると、定数によってマシンの速度が低下します。

— Marcos Villagra、2010

最強のオラクルが他の人々を包み込んでいるというマルコスのコメントに賛成です。

— ダニエルアポン

TMが照会するオラクルを選択することを許可されている場合、無限に多くのオラクルを許可することを考えていますか？そのような設定では、それぞれが他のいくつかのオラクルQよりも厳密に弱いオラクルのセットとQ自体の間に興味深い違いがあるかもしれません。

— アンドラス・サラモン

回答:

これは、暗号化によって動機付けされた単一のオラクルと複数のオラクルの違いを示すより最近の論文です：

ドナルドビーバーとジョーンフェイゲンバウム。 multioracleクエリでインスタンスを非表示にします。STACS1990。コンピュータサイエンスのスプリンガー講義ノート、1990、ボリューム415 / 1990、37-48、DOI：10.1007 / 3-540-52282-4_30

— ジョシュア・グロコウ
ソース

ただ質問ですが、複数のオラクルの概念が意味を持つのは、オラクルがいくつかの（認識されている？）セキュリティ上の理由で互いに崩壊できない場合のみです。

— Ahmed Masud

参考になる可能性がある古い論文を以下に示します。MITのNancy Lynchによる複数のOracleテープを備えたLogspace Machines （PDF）。特に、PDFページ5の定理2.2は、あなたが探しているもののタイプかもしれません。マシンごとに異なる数のOracleテープで定義された階層に関するセクションもあります。

事実後の免責事項：類似した質問のように見え、（さらに類似した）回答がここに示されました。

— ダニエル・アポン
ソース