「PR_(計算複雑性理論)」を解説文に含む見出し語の検索結果(101~110/157件中)
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
対話型証明系(たいわがたしょうめいけい、英: Interactive proof system)は、2者間のメッセージ交換によって計算をモデル化した計算模型であり、計算複雑性理論で使われる。2...
ナビゲーションに移動検索に移動この項目では、複雑性クラスについて説明しています。Linuxディストリビューションについては「elementary OS」をご覧ください。計算複雑性理論において ELEM...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
計算複雑性理論におけるArthur–Merlinプロトコル(Arthur–Merlin protocol)あるいは、Merlin–Arthurプロトコル(Merli...
計算複雑性理論におけるArthur–Merlinプロトコル(Arthur–Merlin protocol)あるいは、Merlin–Arthurプロトコル(Merli...
原始再帰関数(げんしさいきかんすう、英: Primitive Recursive Function)とは、原始再帰と合成で定義される関数であり、再帰関数(計算可能関数)の部分集合である。原始帰...
原始再帰関数(げんしさいきかんすう、英: Primitive Recursive Function)とは、原始再帰と合成で定義される関数であり、再帰関数(計算可能関数)の部分集合である。原始帰...