「算術的階層」を解説文に含む見出し語の検索結果(31～40/158件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/12/10 09:54 UTC 版)「BQP」の記事における「他の計算量クラスとの関係」の解説このクラスは量子コンピュータの...
ナビゲーションに移動検索に移動計算複雑性理論において、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はチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
実効記述集合論（じっこうきじゅつしゅうごうろん、Effective descriptive set theory）は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
実効記述集合論（じっこうきじゅつしゅうごうろん、Effective descriptive set theory）は記述集合論で細字の定義をもつ集合や実数を扱う分野である; それはすなわち、定義にいか...
計算可能性理論において帰納的分離不能対（きのうてきぶんりふのうつい、英: recursively inseparable pair)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Mo...