エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
充足可能性問題のアルゴリズム
充足可能性問題(satisfiability problem)とは? 充足可能性問題(以下,SAT問題と略す)とは, 理... 充足可能性問題(satisfiability problem)とは? 充足可能性問題(以下,SAT問題と略す)とは, 理論計算機科学で最も基本的で 重要な NP完全問題 の一つである. グラフ理論における 巡回セールスマン問題,頂点彩色問題,独立頂点集合問題, オペレーションズ・リサーチにおける整数計画問題, ゲーム・パズルにおける数独,テトリスなど, 実社会で遭遇する多くの(決定)問題がNP完全問題である. その中でも, SAT問題は,そのNP完全性が示された最初の問題である. 以下の意味で, SAT問題は,NP完全問題の根本である: すべてのNP完全問題のNP完全性は, (いくつかの例外を除いて) SAT問題からの有限回の多項式時間還元を経て示された. 例えば, 教科書 [1] では, ハミルトン閉路問題は, 頂点被覆問題からの多項式時間還元により, 更に, 頂点被覆問題はSAT問題か
2014/01/30 リンク