制約充足問題

制約充足問題（せいやくじゅうそくもんだい、英: Constraint satisfaction problem, CSP）は、複数の制約条件を満たすオブジェクトや状態を見つけるという数学の問題を指す。 CSPは特に人工知能やオペレーションズ・リサーチで研究されている。