「UP (計算複雑性理論)」を解説文に含む見出し語の検索結果(11～20/98件中)
計算複雑性理論において、複雑性クラス PR とは、全ての原始再帰関数の集合、あるいは原始再帰関数で決定される全ての形式言語の集合である。これには、加算、乗算、冪乗、tetration などが含まれる。
計算複雑性理論において、複雑性クラス RE（recursively enumerable）とは、チューリングマシン（Turing machine）で有限時間内に 'yes' という解を得られる決定問題...
計算複雑性理論において、複雑性クラス RE（recursively enumerable）とは、チューリングマシン（Turing machine）で有限時間内に 'yes' という解を得られる決定問題...
ナビゲーションに移動検索に移動計算複雑性理論において、BQPとは、量子コンピュータによって誤り確率が高々1/3で多項式時間で解ける決定問題の複雑性クラスである。Bounded-error Quantu...
計算複雑性理論における複雑性クラス PH とは、多項式階層にある全ての複雑性クラスの和集合である。次のように表される。 PH = ⋃ k ∈ N Δ k P ...
計算複雑性理論における複雑性クラス PH とは、多項式階層にある全ての複雑性クラスの和集合である。次のように表される。 PH = ⋃ k ∈ N Δ k P ...
PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
ブラムの加速定理（ぶらむのかそくていり、英: Blum's speedup theorem）は計算複雑性理論における計算可能関数の複雑性に関する基本定理であり、1967年にマヌエル・ブラムによって示さ...