コンピュータ ソフトウェア
Print ISSN : 0289-6540
SAT問題と他の制約問題との相互発展
酒井 政裕今井 健男
著者情報
ジャーナル フリー

32 巻 (2015) 1 号 p. 1_103-1_119

詳細
PDFをダウンロード (990K) 発行機関連絡先
抄録

SAT問題は,命題論理式の充足可能性問題,すなわち命題変数を含む論理式に対し,その論理式を真にするような命題変数への値の割り当てが存在するかを決定する問題である.SATは古典的なNP完全問題であり,計算量的には難しい問題であるものの,近年のアルゴリズムの改良とハードウェアの進化によって著しい高性能化が実現された結果として,様々な分野への応用が行われている.本稿ではSATにまつわる研究で現在活発な領域として,関連する問題クラスへの応用やそれにまつわる研究分野との間の交流について,調査し,紹介する.

著者関連情報
© 2015 日本ソフトウェア科学会
前の記事 次の記事

閲覧履歴
feedback
Top