「PSPACE-完全」を解説文に含む見出し語の検索結果(41～50/150件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/07 19:04 UTC 版)「ELEMENTARY」の記事における「References」の解説^ Th. Skol...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/21 17:32 UTC 版)「オセロ (ボードゲーム)」の記事における「オセロの解析」の解説オセロは二人零和有限確定...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/02/28 02:38 UTC 版)「複雑性クラス」の記事における「複雑性クラス一覧」の解説以下の一覧の各複雑性クラスには補...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/16 01:19 UTC 版)「自動計画」の記事における「階層的なアクション定義を許すプランニング」の解説計画問題を記...
計算複雑性理論において、複雑性クラス NEXPTIME（NEXP）とは、非決定性チューリング機械で O(2p(n)) の時間（p(n) は任意の多項式）と無制限の領域を使って解ける決定問題の集合である...
計算量理論においてLとは、決定性チューリングマシンで対数規模の領域（メモリ）を使って解くことができる決定問題の集合である。直観的には対数領域は、入力を参照するポインタを一定数保持するのに使われたり、対...
計算複雑性理論において、NC（Nick's Class）とは多項式個数のプロセッサで構成される並列計算機で，問題サイズの対数について多項式時間で解ける決定問題の複雑性クラスである。換言すれば、NC に...
計算複雑性理論において、NC（Nick's Class）とは多項式個数のプロセッサで構成される並列計算機で，問題サイズの対数について多項式時間で解ける決定問題の複雑性クラスである。換言すれば、NC に...
サヴィッチの定理（英: Savitch's theorem）とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f につ...
サヴィッチの定理（英: Savitch's theorem）とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f につ...