「RE (計算複雑性理論)」を解説文に含む見出し語の検索結果(21~30/99件中)
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
NL(えぬえる、英: Nondeterministic Logarithmic-space)は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
NL(えぬえる、英: Nondeterministic Logarithmic-space)は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
計算複雑性理論において、複雑性クラス EXPSPACE とは、決定性チューリング機械で O(2p(n)) の領域を使って解ける全決定問題の集合である。ここで、p(n) は n の多項式関数である。p(...
計算複雑性理論において、NC(Nick's Class)とは多項式個数のプロセッサで構成される並列計算機で,問題サイズの対数について多項式時間で解ける決定問題の複雑性クラスである。換言すれば、NC に...
計算複雑性理論において、NC(Nick's Class)とは多項式個数のプロセッサで構成される並列計算機で,問題サイズの対数について多項式時間で解ける決定問題の複雑性クラスである。換言すれば、NC に...