「完全問題」を解説文に含む見出し語の検索結果(81～90/231件中)
計算複雑性理論（けいさんふくざつせいりろん、英: computational complexity theory）とは、計算機科学における計算理論の一分野であり、アルゴリズムのスケーラビリティ...
P、NP、NP完全、NP困難の相関を表すベン図NP困難（エヌピーこんなん、英: NP-hard）とは計算量理論において、問題が「NPに属する任意の問題と比べて、少なくとも同等以上に難しい」こと...
計算複雑性理論において、複雑性クラス EXPSPACE とは、決定性チューリング機械で O(2p(n)) の領域を使って解ける全決定問題の集合である。ここで、p(n) は n の多項式関数である。p(...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/07 22:26 UTC 版)「超知能」の記事における「生物的超知能の実現可能性」の解説カール・セーガンは、帝王切開と...
ホーン節（ホーンせつ、英: Horn clause）とは、数理論理学において、節（リテラルの選言結合命題）のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによっ...
ホーン節（ホーンせつ、英: Horn clause）とは、数理論理学において、節（リテラルの選言結合命題）のうち、肯定形のリテラルの数が1つ以下の物を言う。論理学者のアルフレッド・ホーンによっ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...
暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof、略称：ZKP[1]）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であ...