検索結果

[[計算複雑性理論]]において、[[複雑性クラス]] '''NSPACE(f(n))''' とは、[[非決定性チューリング機械]]で領域 O(f(n)) と無制限の時間で解ける[[決定問題]]の集合で 複雑性クラス '''[[PSPACE|NPSPACE]]''' は '''NSPACE''' を使って以下のように定義できる。 …

'''NTIME(f(n))''' とは、[[計算複雑性理論]]における[[複雑性クラス]]の表現法であり、[[非決定性チューリング機械]]を使って O(f(n)) の時間と無制限の空間（領域）を使って解くことが出来る[[決定問題]]の集合 {{複雑性クラス}} …

[[計算複雑性理論]]における[[複雑性クラス]] '''PH''' とは、[[多項式階層]]にある全ての複雑性クラスの和集合である。次のように表される。 {{複雑性クラス}} …

[[計算複雑性理論]]において、[[複雑性クラス]] '''R''' とは、[[チューリングマシン]]で解ける[[決定問題]]の集合であり、全ての[[帰納言語]]の集合に相当する。'''R''' はし {{複雑性クラス}} …

[[計算複雑性理論]]において、[[複雑性クラス]] '''RE'''（recursively enumerable）とは、[[チューリングマシン]]（Turing machine）で有限時間内に… {{複雑性クラス}} …

…複雑性理論]]において、'''BQP'''とは、[[量子コンピュータ]]によって誤り確率が高々1/3で[[多項式時間]]で解ける[[決定問題]]の[[複雑性クラス]]である。Bounded-error Quantum Polynomial time の頭文字をとったものである。ある問題が'''BQP'''に属すな {{複雑性クラス}} …

== 複雑性クラス == …いう尺度は、あるメモリ空間量を使って解ける全ての[[決定問題]]の集合である[[複雑性クラス]]の定義に使われる。任意の関数 f(n) について、[[複雑性クラス]] '''SPACE(f(n))''' があり、[[チューリングマシン|決定性チューリング機械]]で O(f(n)) の空間（領域）を使って解ける[[ …

'''DTIME'''という資源は[[複雑性クラス]]の定義に使われる。複雑性クラスとは、ある特定の計算時間量で解ける全ての[[決定問題]]の集合である。入力長 ''<math>n</math>''… {{複雑性クラス}} …

…理論]]において'''BPP'''とは、[[確率的チューリング機械]]によって、誤り確率が高々1/3で[[多項式時間]]で解ける[[決定問題]]の[[複雑性クラス]]である。Bounded-error Probabilistic Polynomial timeの頭文字をとったものである。 {{複雑性クラス}} …

この定理は計算可能な上限で抑えられる最大の[[複雑性クラス]]（それは全ての計算可能関数を含む）が存在しないことを述べる。 …

{{複雑性クラス}} …

== 複雑性クラス == [[計算可能関数|全域計算可能関数]] <math>f</math> に対して[[複雑性クラス]] <math> C(f)</math> と <math> C^0(f) </math> が次のように定義される …

[[計算複雑性理論]]において、[[複雑性クラス]] '''EXPSPACE''' とは、[[チューリングマシン|決定性チューリング機械]]で [[ランダウの記号|O]](2<sup>''p''('' {{複雑性クラス}} …

== 複雑性クラス == 平均実行時間が多項式時間となるラスベガス法をもつ[[決定問題]]の[[複雑性クラス]]を '''[[ZPP]]''' と呼ぶ{{sfn|Motwani|Raghavan|1995|loc=Definition 1.9|p={{goog …

これは本質的にはいくらでも大きな計算可能なギャップが[[複雑性クラス]]の階層に存在することを示している。[[計算資源]]の増加を表現する任意の[[計算可能関数]] <math>F</math> に対して、関数 <mat …算可能関数 <math>t</math> が存在して、<math>t</math> と <math>g \circ t</math> を制限とする[[複雑性クラス]]が同値となる。 …

…理論]]における '''NP''' ({{Lang-en-short|Non-deterministic Polynomial time}})は、[[複雑性クラス]]のひとつであり、答えがyesとなるような問いに対して、多項式時間で検証できる証拠が存在する決定問題のクラスである。 * [[複雑性クラス]] …

…-en-short|Nondeterministic Logarithmic-space}}）は、[[計算複雑性理論]]における[[決定問題]]の[[複雑性クラス]]の一つである。[[非決定性チューリングマシン]]で[[対数]]規模の記憶領域を使って解ける問題がこのクラスに属する。 [[確率的チューリングマシン]]上で対数領域で解ける問題の[[複雑性クラス]]を ''C'' とする。''C'' の回答がYESである場合は常に正しいが、回答がNOである場合は3分の1未満の確率で間違った回答だとする。3分の1 …

[[計算複雑性理論]]において、[[複雑性クラス]] '''NEXPTIME'''（'''NEXP'''）とは、[[非決定性チューリング機械]]で [[ランダウの記号|O]](2<sup>''p''( {{複雑性クラス}} …

…）とは多項式個数のプロセッサで構成される[[並列コンピューティング|並列計算機]]で，問題サイズの対数について多項式時間で解ける[[決定問題]]の[[複雑性クラス]]である。換言すれば、'''NC''' に属する問題は、O(''n''^''k'')個の並列プロセッサを使って O((log '' {{複雑性クラス}} …

{{複雑性クラス}} [[カテゴリ:複雑性クラス]] …