ブール代数を用いた制約充足問題の定式化とその解法について
スポンサーリンク
概要
- 論文の詳細を見る
制約充足は人工知能や画像理解の分野をはじめ,グラフ同形判定,グラフラベリング,巡回セールスマン問題などのグラフの問題やパズルなどの探索問題,いわゆる組み合わせ問題を対象として研究が行われている.このような制約充足問題の代表的な解法としては,探索法や局所近似を用いる方法がある.本稿では,このような解法とは異なるあらたな代数的アプローチについて報告する.本アプローチは制約充足問題をブール代数を用いて定式化し,ブール方程式を解くことにより充足処理をおこなうものである.まず,制約充足問題について触れ,ブール代数による定式化を述べる.次に,ブール代数による制約充足の解法を具体的な例題を用いて説明する.
- 1990-09-04
著者
関連論文
- ブール代数を用いた制約充足問題の定式化と解法についての検討
- ブール代数を用いた制約充足問題の定式化とその解法について
- 数理計画法を用いた制約充足問題の定式化について検討
- 4Y-7 イントラネット応用電力系統監視制御システム : システム概要とそのメリット(情報システムの構築(1),一般講演,コンピュータと人間社会)
- Constraint Programming Languages; Their Specification and Generation, Wm Leler, Addison-Wesley, 1988 (制約論理プログラミング)
- グラフ理論による制約解析および手順生成
- 代数制約の構造情報を用いた幾何定理証明の効率化手法の検討 : グレブナ基底による方法への適用
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発