「computational complexity」を解説文に含む見出し語の検索結果(221～230/298件中)
生物ドメイン界（かい）門（もん）綱（こう）目（もく）科（か）属（ぞく）種（しゅ）生物学的分類の8つの主要な分類階級の階層。生物はドメインに分けられ、ドメインはさらに細分化される。生物分類学において、ド...
生物ドメイン界（かい）門（もん）綱（こう）目（もく）科（か）属（ぞく）種（しゅ）生物学的分類の8つの主要な分類階級の階層。生物はドメインに分けられ、ドメインはさらに細分化される。生物分類学において、ド...
生物ドメイン界（かい）門（もん）綱（こう）目（もく）科（か）属（ぞく）種（しゅ）生物学的分類の8つの主要な分類階級の階層。生物はドメインに分けられ、ドメインはさらに細分化される。生物分類学において、ド...
制約論理プログラミング（せいやくろんりプログラミング、英: constraint logic programming）は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入するこ...
制約論理プログラミング（せいやくろんりプログラミング、英: constraint logic programming）は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入するこ...
制約論理プログラミング（せいやくろんりプログラミング、英: constraint logic programming）は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入するこ...
ナビゲーションに移動検索に移動多項式階層（たこうしきかいそう、英: Polynomial hierarchy）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP ...
ナビゲーションに移動検索に移動多項式階層（たこうしきかいそう、英: Polynomial hierarchy）は、計算量理論における計算量の階層であり、神託機械を使って P、NP、co-NP ...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソン（英語版）により1965年に提案された[1&#...