3
決定論的計算の非決定論的高速化
非決定論は決定論的計算を高速化できますか？はいの場合、いくらですか？ 非決定性による決定論的計算の高速化とは、次の形式の結果を意味します。 DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) 例えば DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) 非決定性による決定論的計算の最も有名な高速化の結果は何ですか？何についてあるいはの代わりに？ A T iがm個E（N） N Tをiがm個E（N）ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n)ATime(n)ATime(n)\mathsf{ATime}(n)NTime(n)NTime(n)\mathsf{NTime}(n) 準二次時間のシングルテープチューリングマシンのよく知られた特性を避けるために、マルチテープチューリングマシンを使用して複雑度クラスが定義されていると仮定します。