旅行セールスマン問題
旅行セールスマン問題 英語表記: Traveling Salesman Problem (TSP) 概要 旅行セールスマン問題（TSP）は、「アルゴリズムと計算量」の分野、特に「計算複雑性理論」において非常に重要な位置を […]
NP 完全問題
このカテゴリの用語
充足可能性
充足可能性 英語表記: Satisfiability 概要 充足可能性問題（SAT）は、与えられたブール論理式を「真」（True）にするような変数の値の組み合わせが存在するかどうかを判定する問題です。これは、アルゴリズム […]
SAT 問題（SAT: サット）
SAT 問題（SAT: サット） 英語表記: SAT Problem (Satisfiability Problem) 概要 SAT 問題（充足可能性問題）は、与えられたブール論理式に対して、その式を「真」（True）に […]