「Computational complexity」を解説文に含む見出し語の検索結果(21～30/297件中)
システム免疫学 (英語: systems immunology)はシステム生物学の傘下にある比較的新しい研究分野である。免疫系について、その要素や構成員が免疫機能の異なるシステム階層にどのよ...
計算複雑性理論において、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 につ...
ジョン・F・キャニー2013年国籍オーストラリア研究分野計算機科学研究機関カリフォルニア大学バークレー校出身校アデレード大学マサチューセッツ工科大学博士課程指導学生Ming C. Linディネッシュ・...
ジョン・F・キャニー2013年国籍オーストラリア研究分野計算機科学研究機関カリフォルニア大学バークレー校出身校アデレード大学マサチューセッツ工科大学博士課程指導学生Ming C. Linディネッシュ・...
ナビゲーションに移動検索に移動DTIME（またはTIME）は、計算複雑性理論における決定性チューリング機械での計算時間という計算資源を表す。実在の一般的コンピュータが、ある問題を特定のアルゴリズムで解...
ナビゲーションに移動検索に移動DTIME（またはTIME）は、計算複雑性理論における決定性チューリング機械での計算時間という計算資源を表す。実在の一般的コンピュータが、ある問題を特定のアルゴリズムで解...
計算複雑性理論におけるSLとは、USTCON問題に対数領域還元可能な問題の複雑性クラスである（Symmetric Logspace の略）。USTCON問題とは、無向グラフの2点間に経路があるかどうか...