制約充足問題

【せいやくじゅうそくもんだい (constraint satisfaction problem)】

与えられたすべての制約を満たすような各変数への値の割当てを求める問題.多くの組合せ問題を定式化することができ,問題解決の一般的な枠組みと位置付けられる.主に人工知能の分野で, 基盤技術の1つとして研究されている.