|
制約充足問題（せいやくじゅうそくもんだい、）は、複数の制約条件を満たすオブジェクトや状態を見つけるという数学の問題を指す。CSPは特に人工知能やオペレーションズ・リサーチで研究されている。多くのCSPでは、それなりの時間内に解くのにヒューリスティクスと組合せ最適化手法を組み合わせる必要がある。 制約充足問題の具体例: * エイト・クイーン * 四色問題 * 数独 * 充足可能性問題 制約充足問題を解くアルゴリズムとしては、AC-3アルゴリズム、バックトラッキング、制約違反最小化などがある。 == 関連項目 == * 制約充足 * 宣言型プログラミング * 制約プログラミング * DisCSP（分散制約充足問題） 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「制約充足問題」の詳細全文を読む スポンサード リンク
|