Ruzzo-Simon-Tompa Oracleアクセスメカニズム

紙・ログ・スペースの計算を相対化に、ラドナーとリンチは、Oracle相対に構築。文献には、この脈にさらに病理学的な例がいくつかあります。私は相対化小さなスペースクラスのいくつかの論文を読んでいると、この分野における主要なツールの一つであるRuzzo-サイモン・トンパ要求（RST）のOracleアクセス機構その確定ながら、非決定的空間限定チューリングマシン行為オラクルへのクエリ。$\mathsf{NL} \nsubseteq \mathsf{P}$

たとえば、 -今すぐオラクルゲートを有する回路の家族を考える、別のクラスへのOracleアクセス・ログ・スペース含む回路の複雑性クラスであるを元に追加のOracleゲートを介して、。そのようなクラスで知られるLadner-Lynch論文に精神的に類似した病理学的例はありますか？そのようなクラスに必要なRSTのような制限は何でしょうか？実際にそのような例がある場合、RSTアナログが対数空間均一回路ファミリーであると主張することになると推測するのは正しいでしょうか？ A B A $A^B$$A$$B$$A$$A$

すべての既知の包含物が相対化する性質を持つ対数空間クラスと同様に、小さな回路複雑度クラス（および階層）で機能するOracleアクセスの定義は、このペーパーで見つけることができます。 N C $AC^k$$NC^k$

クラウス・エーリグ、スティーブン・クック、プオン・グエン：小さな複雑さのクラスとその理論の相対化、CSL 2007、スプリンガーLNCS 4646