検索結果
ナビゲーションに移動
検索に移動
ページ名と一致
- [[計算複雑性理論]]において、[[複雑性クラス]] '''R''' とは、[[チューリングマシン]]で解ける[[決定問題]]の集合であり、全ての[[帰納言語]]の集合に …ナイザ]]と補問題のリコグナイザを並行して動作させ、どちらかが受容状態になるまで待つ方式を採用可能である。したがって、このクラスは '''[[RE (計算複雑性理論)|RE]]''' を使って <math>RE \cap coRE</math> と定義できる。 …992バイト (24 語) - 2022年5月24日 (火) 20:10
- [[計算複雑性理論]]において、[[複雑性クラス]] '''RE'''（recursively enumerable）とは、[[チューリングマシン]]（Turing ma '''RE''' は '''[[R (計算複雑性理論)|R]]''' より厳密に大きいことが知られており、Co-'''RE''' とは厳密に等しくないことが知られている。これらには次のような関係がある。 …1キロバイト (46 語) - 2017年10月13日 (金) 15:48
- [[計算複雑性理論]]における[[複雑性クラス]] '''PH''' とは、[[多項式階層]]にある全ての複雑性クラスの和集合である。次のように表される。 …PH''' は Larry Stockmeyer が最初に定義した。これを包含するクラスとして、'''P<sup>PP</sup>'''（[[PP (計算複雑性理論)|'''PP''']]をオラクルとして持つ[[神託機械]]で多項式時間で解ける問題のクラス）、'''P<sup>#P</sup>'''（[[戸田誠之助 …2キロバイト (100 語) - 2017年10月13日 (金) 15:43
- [[計算複雑性理論]]における'''SL'''とは、USTCON問題に[[対数領域還元]]可能な問題の[[複雑性クラス]]である（''Symmetric Logspace 実際にはUSTCON問題への[[還元 (計算複雑性理論)|還元]]性の方がよく使われる。 …11キロバイト (532 語) - 2023年2月9日 (木) 12:18
- '''P'''はしばしば、「効率的に解ける」問題のクラスとして扱われる。しかしながら、[[RP (計算複雑性理論)|RP]]や[[BPP (計算量理論)|BPP]]といった乱択で解けるクラスも、Pより大きいかもしれないが「効率的に解ける」と考えることもできる。逆に [[対数領域]]の[[チューリング機械|決定性チューリング機械]]で判定可能な問題のクラスである[[L (計算複雑性理論)|L]]は'''P'''に含まれるが、L = '''P'''かどうかは未解決である。対数領域の[[交替性チューリング機械]]によって解ける問題のクラス …3キロバイト (79 語) - 2023年12月30日 (土) 06:42
- [[計算複雑性理論]]において'''BPP'''とは、[[確率的チューリング機械]]によって、誤り確率が高々1/3で[[多項式時間]]で解ける[[決定問題]]の[[複雑性 …論)|'''P''']] <math>\subseteq</math> '''BPP''' <math>\subseteq</math> [[PH (計算複雑性理論)|'''PH''']] は証明されている。 …3キロバイト (71 語) - 2024年5月17日 (金) 00:27
- '''還元'''（かんげん、Reduction）とは、[[計算可能性理論]]や[[計算複雑性理論]]において、ある問題を別の問題に変換することを意味する。'''帰着'''、'''変換'''などとも呼ばれる。変換の仕方によっては、問題の[[複雑性クラ *複雑性クラス [[P (計算複雑性理論)|P]]、[[NP]]、[[PSPACE]] は[[多項式時間変換|多項式時間還元]]において閉じている。 …10キロバイト (272 語) - 2023年10月7日 (土) 17:34
- '''L'''と関連する計算量に[[NL (計算複雑性理論)|'''NL''']]がある。'''NL'''は、[[非決定性チューリングマシン]]上で[[対数]]領域で決定可能な言語のクラスである。従って、<ma …せの合計である。従って、<math>\mathrm{L} \subseteq \mathrm{P}</math> が成り立つ。ここで '''[[P (計算複雑性理論)|P]]''' は決定性チューリングマシンで多項式時間で解ける問題の集合である。 …4キロバイト (183 語) - 2024年8月17日 (土) 11:21
- '''NL'''（えぬえる、{{lang-en-short|Nondeterministic Logarithmic-space}}）は、[[計算複雑性理論]]における[[決定問題]]の[[複雑性クラス]]の一つである。[[非決定性チューリングマシン]]で[[対数]]規模の記憶領域を使って解ける問題がこのク '''NL''' は '''[[L (計算複雑性理論)|L]]'''を一般化したものである。'''L''' は[[チューリングマシン|決定性チューリングマシン]]での対数領域問題のクラスである。決定性チュ …8キロバイト (249 語) - 2022年8月1日 (月) 11:07
- [[計算複雑性理論]]において、'''NC'''（Nick's Class）とは多項式個数のプロセッサで構成される[[並列コンピューティング|並列計算機]]で，問題サイズ クラス '''[[P (計算複雑性理論)|P]]''' と同様、'''NC''' に属する問題は並列計算機で効率的に解くことができると見なされている。並列計算機は通常の計算機でシミュレート可 …4キロバイト (187 語) - 2017年10月13日 (金) 15:37
- 8キロバイト (472 語) - 2024年6月2日 (日) 22:30
ページ本文と一致
- [[計算複雑性理論]]において、[[複雑性クラス]] '''R''' とは、[[チューリングマシン]]で解ける[[決定問題]]の集合であり、全ての[[帰納言語]]の集合に …ナイザ]]と補問題のリコグナイザを並行して動作させ、どちらかが受容状態になるまで待つ方式を採用可能である。したがって、このクラスは '''[[RE (計算複雑性理論)|RE]]''' を使って <math>RE \cap coRE</math> と定義できる。 …992バイト (24 語) - 2022年5月24日 (火) 20:10
- [[計算複雑性理論]]における[[複雑性クラス]] '''PH''' とは、[[多項式階層]]にある全ての複雑性クラスの和集合である。次のように表される。 …PH''' は Larry Stockmeyer が最初に定義した。これを包含するクラスとして、'''P<sup>PP</sup>'''（[[PP (計算複雑性理論)|'''PP''']]をオラクルとして持つ[[神託機械]]で多項式時間で解ける問題のクラス）、'''P<sup>#P</sup>'''（[[戸田誠之助 …2キロバイト (100 語) - 2017年10月13日 (金) 15:43
- [[計算複雑性理論]]において、'''BQP'''とは、[[量子コンピュータ]]によって誤り確率が高々1/3で[[多項式時間]]で解ける[[決定問題]]の[[複雑性クラス [[BPP (計算複雑性理論)|'''BPP''']]と同じように、定義の1/3というのは0以上1/2未満の任意の定数である。その定数が変化しても'''BQP'''は変化しない。 …2キロバイト (50 語) - 2024年8月29日 (木) 00:59
- [[計算複雑性理論]]において、[[複雑性クラス]] '''RE'''（recursively enumerable）とは、[[チューリングマシン]]（Turing ma '''RE''' は '''[[R (計算複雑性理論)|R]]''' より厳密に大きいことが知られており、Co-'''RE''' とは厳密に等しくないことが知られている。これらには次のような関係がある。 …1キロバイト (46 語) - 2017年10月13日 (金) 15:48
- '''NTIME(f(n))''' とは、[[計算複雑性理論]]における[[複雑性クラス]]の表現法であり、[[非決定性チューリング機械]]を使って O(f(n)) の時間と無制限の空間（領域）を使って解くことが [[Category:計算複雑性理論]] …857バイト (31 語) - 2017年10月13日 (金) 15:50
- [[計算複雑性理論]]において'''BPP'''とは、[[確率的チューリング機械]]によって、誤り確率が高々1/3で[[多項式時間]]で解ける[[決定問題]]の[[複雑性 …論)|'''P''']] <math>\subseteq</math> '''BPP''' <math>\subseteq</math> [[PH (計算複雑性理論)|'''PH''']] は証明されている。 …3キロバイト (71 語) - 2024年5月17日 (金) 00:27
- *[[計算複雑性理論]] [[Category:計算複雑性理論]] …2キロバイト (58 語) - 2014年8月22日 (金) 22:35
- '''P'''はしばしば、「効率的に解ける」問題のクラスとして扱われる。しかしながら、[[RP (計算複雑性理論)|RP]]や[[BPP (計算量理論)|BPP]]といった乱択で解けるクラスも、Pより大きいかもしれないが「効率的に解ける」と考えることもできる。逆に [[対数領域]]の[[チューリング機械|決定性チューリング機械]]で判定可能な問題のクラスである[[L (計算複雑性理論)|L]]は'''P'''に含まれるが、L = '''P'''かどうかは未解決である。対数領域の[[交替性チューリング機械]]によって解ける問題のクラス …3キロバイト (79 語) - 2023年12月30日 (土) 06:42
- [[計算複雑性理論]]において、[[複雑性クラス]] '''EXPSPACE''' とは、[[チューリングマシン|決定性チューリング機械]]で [[ランダウの記号|O]] '''EXPSPACE''' は '''[[PSPACE]]'''、'''[[NP]]'''、'''[[P (計算複雑性理論)|P]]''' を真に包含する。また、'''[[EXPTIME]]''' をも真に包含すると考えられている。 …3キロバイト (99 語) - 2017年10月13日 (金) 15:47
- '''圧縮定理'''（あっしゅくていり、{{lang-en-short|compression theorem}}）は[[計算複雑性理論]]における[[計算可能関数]]の複雑性に関する重要な定理である。 [[Category:計算複雑性理論]] …2キロバイト (152 語) - 2022年5月16日 (月) 16:16
- [[計算複雑性理論]]において、'''NC'''（Nick's Class）とは多項式個数のプロセッサで構成される[[並列コンピューティング|並列計算機]]で，問題サイズ クラス '''[[P (計算複雑性理論)|P]]''' と同様、'''NC''' に属する問題は並列計算機で効率的に解くことができると見なされている。並列計算機は通常の計算機でシミュレート可 …4キロバイト (187 語) - 2017年10月13日 (金) 15:37
- [[計算複雑性理論]]において、[[複雑性クラス]] '''NSPACE(f(n))''' とは、[[非決定性チューリング機械]]で領域 O(f(n)) と無制限の時間で …727バイト (35 語) - 2020年4月14日 (火) 03:38
- '''L'''と関連する計算量に[[NL (計算複雑性理論)|'''NL''']]がある。'''NL'''は、[[非決定性チューリングマシン]]上で[[対数]]領域で決定可能な言語のクラスである。従って、<ma …せの合計である。従って、<math>\mathrm{L} \subseteq \mathrm{P}</math> が成り立つ。ここで '''[[P (計算複雑性理論)|P]]''' は決定性チューリングマシンで多項式時間で解ける問題の集合である。 …4キロバイト (183 語) - 2024年8月17日 (土) 11:21
- この定理は多項式階層にあるすべてのクラスの和集合である[[PH (計算複雑性理論)|PH]]がP<sup>PP</sup>に含まれることを示している。また、この事実よりPHがP<sup>#P</sup>に含まれていることも示される。 [[＃P|#P]]は多項式時間で検証可能な問題(つまりは[[NP]]に属する問題)に対する解の数を正確に数える問題の集合であり、[[PP (計算複雑性理論)|PP]] は、間違う確率が常に1/2未満となるような[[確率的チューリング機械]]で[[多項式時間]]で解ける[[決定問題]]の集合である。P<su …4キロバイト (243 語) - 2024年8月17日 (土) 11:20
- …e Language)とも呼ぶ。全ての帰納言語の属する[[複雑性クラス]]を'''[[R (計算複雑性理論)|R]]'''と呼ぶが、'''[[RP (計算複雑性理論)|RP]]'''クラスを '''R'''と呼ぶこともある。 …3キロバイト (107 語) - 2015年4月29日 (水) 05:57
- *[[計算複雑性理論]]のクラスの1つ、[[指数関数時間]]で解ける判定問題のクラス。⇒[[EXPTIME]] …1キロバイト (32 語) - 2022年5月31日 (火) 00:11
- …閉包の属性が '''NL'''完全な問題である STCON 問題（グラフ内の経路を求める問題）と密接に関係しているためである。同様にクラス [[L (計算複雑性理論)|'''L''']]は、一階述語論理に可換な推移閉包を加えたものである。推移閉包を[[二階述語論理]]に加えると、'''[[PSPACE]]'''が得 …4キロバイト (180 語) - 2024年5月24日 (金) 20:21
- '''ブラムの加速定理'''（ぶらむのかそくていり、{{lang-en-short|Blum's speedup theorem}}）は[[計算複雑性理論]]における[[計算可能関数]]の複雑性に関する基本定理であり、1967年に[[マヌエル・ブラム]]によって示された。 …3キロバイト (141 語) - 2018年9月27日 (木) 14:06
- [[計算複雑性理論]]において、[[複雑性クラス]] '''NEXPTIME'''（'''NEXP'''）とは、[[非決定性チューリング機械]]で [[ランダウの記号|O これらの拡張により、証明系の能力は格段に強化され、'''NEXPTIME''' に属する全言語を認識できるようになる。このクラスを'''[[PCP (計算複雑性理論)|PCP]]'''と呼ぶ。 …4キロバイト (101 語) - 2017年10月13日 (金) 15:46
- [[計算複雑性理論]]における'''ブラムの公理'''（ブラムのこうり、{{lang-en-short|Blum axioms}}）または'''ブラムの複雑性公理'''と 重要な結果として、公理を満たす任意の複雑性測度で[[ブラムの加速定理]]と[[ギャップ定理_(計算複雑性理論)|ギャップ定理]]が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。 …5キロバイト (238 語) - 2018年9月27日 (木) 14:05