制約充足問題
(Constraint satisfaction problem から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/10/01 00:24 UTC 版)
制約充足問題（せいやくじゅうそくもんだい、英: 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
関連項目
外部リンク
このページでは「ウィキペディア」から制約充足問題を検索した結果を表示しています。
Weblioに収録されているすべての辞書から制約充足問題を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から制約充足問題
を検索
Weblioに収録されているすべての辞書から制約充足問題を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から制約充足問題
を検索
- 制約充足問題のページへのリンク
