制約充足問題

提供: miniwiki
2018/8/19/ (日) 17:27時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

制約充足問題(せいやくじゅうそくもんだい、: Constraint satisfaction problem, CSP)は、複数の制約条件を満たすオブジェクトや状態を見つけるという数学の問題を指す。CSPは特に人工知能オペレーションズ・リサーチで研究されている。多くのCSPでは、それなりの時間内に解くのにヒューリスティクス組合せ最適化手法を組み合わせる必要がある。

制約充足問題の具体例:

制約充足問題を解くアルゴリズムとしては、AC-3アルゴリズムバックトラッキング制約違反最小化などがある。

関連項目

参考文献

  • Tsang, Edward (1993年). Foundations of Constraint Satisfaction. Academic Press. ISBN 0-12-701610-4. 
  • Dechter, Rina (2003年). Constraint processing. Morgan Kaufmann. ISBN 1-55860-890-7. 
  • Apt, Krzysztof (2003年). Principles of constraint programming. Cambridge University Press. ISBN 0-521-82583-0. 

外部リンク