オラクルを使用した回路とオラクルを使用したチューリングマシン

簡単に言えば、オラクルを使用したチューリングマシンと、オラクルを使用した均一な回路ファミリとの対応は何ですか？特定のオラクルチューリングマシンに対して、同じ計算モデルを取得するために、後者はどのように定義されますか？

これは基本的な質問かもしれませんが、どこを見るかは明らかではありません。私は、私の財団が良質のモルタルを使用していることを確認したい人です。標準的な参照がある場合は、それを指摘してください。（たとえば、Papadimitriouの本は、神託を持つ回路をまったく説明していないようです。）

私の作業仮説は次のとおりです。オラクルにアクセスできる（たとえば、NP完全問題を解くための）均一な回路ファミリは次のように定義されます。

• 「オラクルゲート」O _nの無限ファミリーを定義します。 各回路サイズnに1つずつ、それぞれが関数f _nを計算します ： 定数cに対して{0,1} ^cn →{0,1}。

• 関数f _NはオラクルゲートOによって計算_N以下の意味で"均一"でなければならない：任意のnについて<NとX  ∈{0,1} ^N、我々はF必要_N（Xの）= F _N（0 ^{C（ N−n）} x  ）---つまり、oracleゲートは、入力の一貫した拡張可能な「エンコード」を使用する必要があります。

• 次に、オラクルゲートが回路に対して許可される操作の1つである均一な回路ファミリを定義し、入力サイズnの回路をゲートO _nを使用するように制限します。

上記の選択肢のいくつかは、一般性を失うことなく任意に修正できると思います。私が興味を持っているのは、通信のリファレンス、または少なくとも上記の説明を変更して標準の説明を取得する方法の説明です。

相対化された回路の最良のリファレンスは、Chris Wilsonの論文「Relativized NC」です。 http://www.springerlink.com/content/u727654246wu8662/

2番目の条件（O_nの下方閉鎖）は、P ^ Oとoracle Oを使用した均一なポリサイズ回路との等価性を得るために必要ではありません。また、3番目の条件は破棄する必要があり、回路のサイズによってアクセスが妨げられます回路サイズよりも大きいmの場合はO_mに。