「P_(計算量理論)」を解説文に含む見出し語の検索結果(11~20/96件中)
計算量理論におけるPとは、多項式時間(polynomial time)で解ける判定問題の集合である。定義判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義...
計算量理論におけるPとは、多項式時間(polynomial time)で解ける判定問題の集合である。定義判定問題のうち、ある決定性チューリング機械によって多項式時間で解かれるものの全体をPで表す。意義...
計算量理論においてLとは、決定性チューリングマシンで対数規模の領域(メモリ)を使って解くことができる決定問題の集合である。直観的には対数領域は、入力を参照するポインタを一定数保持するのに使われたり、対...
戸田の定理(とだのていり、英: Toda's theorem)とは、1991年に戸田誠之助が証明した計算量理論における定理である[1]。戸田はこの功績により1998年のゲーデル賞を受賞...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動多項式時間変換(たこうしきじかんへんかん、polynomial-time reduction)は計算量理論の一概念である。多項式時間帰着(たこうしきじかんきちゃく)、多項...
ナビゲーションに移動検索に移動 このグラフは最大クリーク {1, 2, 5} を持つ最大クリーク問題(さいだいクリークもんだい)は、グラフ理論において、グラフ中のクリーク(任意の二頂点間に枝があるよう...
ナビゲーションに移動検索に移動 このグラフは最大クリーク {1, 2, 5} を持つ最大クリーク問題(さいだいクリークもんだい)は、グラフ理論において、グラフ中のクリーク(任意の二頂点間に枝があるよう...