「サヴィッチの定理」を解説文に含む見出し語の検索結果(1~10/16件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/04/30 08:06 UTC 版)「サヴィッチの定理」の記事における「系」の解説この定理の重要な系として、以下のものがある...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/10/13 14:34 UTC 版)「SL (計算複雑性理論)」の記事における「重要な成果」の解説深さ優先探索や幅優先探索と...
ナビゲーションに移動検索に移動ウォルター・サヴィッチ(英:Walter Savitch)は、計算複雑性理論におけるNL(非決定性対数領域)クラスを生み出したこと、NSPACEとDSPACEの関係を定義...
ナビゲーションに移動検索に移動ウォルター・サヴィッチ(英:Walter Savitch)は、計算複雑性理論におけるNL(非決定性対数領域)クラスを生み出したこと、NSPACEとDSPACEの関係を定義...
PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
PSPACE とは計算複雑性理論における複雑性クラスの一つ、Polynomial SPACE の略である。概要PSPACEはチューリングマシンによって解くことができ、かつ使用するテープの長さの上限が問...
サヴィッチの定理(英: Savitch's theorem)とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f につ...
サヴィッチの定理(英: Savitch's theorem)とは、1970年にウォルター・サヴィッチが証明した計算量理論における定理である。f(n) ≥ log(n) であるような任意の関数 f につ...
NL(えぬえる、英: Nondeterministic Logarithmic-space)は、計算複雑性理論における決定問題の複雑性クラスの一つである。非決定性チューリングマシンで対数規模の...
< 前の結果 | 次の結果 >