いくつかのNExp-Timeチューリングマシンのオーラを使った別のキャラクタライゼーション

$ Sigma_i ^ P $を多項式時間階層のi番目のレベルからのクラスとすることができます(例: PH )。

私は次のタイプのチューリングマシン$ mathcal {M} $に興味があります:

  • $ mathcal {M} $は非決定的です
  • 長さ$ n $の入力語$ w $に対して、$ mathcal {M} $の実行時間は$ 2 ^ {O(n)} $
  • 長さ$ n $の入力語$ w $が$ mathcal {M} $に与えられると、マシンは$ Sigma_n ^ P
    $のオラクルを呼び出すことができます(同じ$入力として$ n!)。

上記の定義にあるオラクルが固定された$ k $の$ Sigma_k ^ P $から来るならば、クラス$ Sigma_k
^ {EXP} $を得ることができることに注意してください。 – 第kレベルの指数関数時間階層 EXPH
。また、ExpSpaceで提示されたマシンが動作することも容易にわかります。

あなたはそのような機械の他の特性を知っていますか?このクラスに問題はありますか?参考資料はありますか?

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です