「算術的階層」を解説文に含む見出し語の検索結果(51~60/158件中)
計算量理論においてLとは、決定性チューリングマシンで対数規模の領域(メモリ)を使って解くことができる決定問題の集合である。直観的には対数領域は、入力を参照するポインタを一定数保持するのに使われたり、対...
計算複雑性理論において、NC(Nick's Class)とは多項式個数のプロセッサで構成される並列計算機で,問題サイズの対数について多項式時間で解ける決定問題の複雑性クラスである。換言すれば、NC に...
計算複雑性理論において、NC(Nick's Class)とは多項式個数のプロセッサで構成される並列計算機で,問題サイズの対数について多項式時間で解ける決定問題の複雑性クラスである。換言すれば、NC に...
計算量理論におけるPとは、多項式時間(polynomial time)で解ける判定問題の集合である。定義判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義...
計算量理論におけるPとは、多項式時間(polynomial time)で解ける判定問題の集合である。定義判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義...
計算量理論におけるPとは、多項式時間(polynomial time)で解ける判定問題の集合である。定義判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国(現: ポーランド)アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国(現: ポーランド)アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
ナビゲーションに移動検索に移動エミール・レオン・ポスト生誕1897年2月11日 ロシア帝国(現: ポーランド)アウグストゥフ死没1954年4月21日 アメリカ合衆国 ニューヨーク研究分野数学出身校コロ...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「定義可能性、証明、計算可能性の相互関係」の解説自然数の集合の...