「算術的階層」を解説文に含む見出し語の検索結果(111~120/158件中)
NP完全(な)問題(エヌピーかんぜん(な)もんだい、英: NP-complete problem)とは、(1) クラスNP(英: Non-deterministic Polynomia...
計算複雑性理論において、複雑性クラス PP とは、確率的チューリング機械で多項式時間で解ける決定問題の集合であり、その際に間違う確率は常に 1/2 未満である。PP は 確率的多項式時間 (proba...
計算複雑性理論におけるSLとは、USTCON問題に対数領域還元可能な問題の複雑性クラスである(Symmetric Logspace の略)。USTCON問題とは、無向グラフの2点間に経路があるかどうか...
計算複雑性理論におけるSLとは、USTCON問題に対数領域還元可能な問題の複雑性クラスである(Symmetric Logspace の略)。USTCON問題とは、無向グラフの2点間に経路があるかどうか...
ナビゲーションに移動検索に移動計算複雑性理論における ZPP とは、以下の属性をもつ確率的チューリング機械で解ける問題の複雑性クラスである。YES または NO の常に正しい解を返す。実行時間に制限は...
ナビゲーションに移動検索に移動計算複雑性理論における ZPP とは、以下の属性をもつ確率的チューリング機械で解ける問題の複雑性クラスである。YES または NO の常に正しい解を返す。実行時間に制限は...
数理論理学において、定義可能集合(ていぎかのうしゅうごう、Definable set)とは、ある構造の台集合上のn-項関係であって、その要素がその構造の一階言語におけるある式を満たすものである。定義 ...
数理論理学において、定義可能集合(ていぎかのうしゅうごう、Definable set)とは、ある構造の台集合上のn-項関係であって、その要素がその構造の一階言語におけるある式を満たすものである。定義 ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...