约束满足问题

简明解释

约束满足问题（constraint satisfaction problem，CSP）给出变量、各变量的候选域和必须同时成立的约束，解是一组完整相容赋值。数独格子可作变量、1至9作域、同行同列同宫互异作约束。传播能删候选，局部一致却不保证全局有解，必要时仍要回溯。[1, pp. 99–106]

别和什么混淆

规划关心动作怎样改变状态；CSP通常关心最终赋值，求解器的回溯次序不是现实动作序列。

在本书中

见第6章：规划、博弈与约束求解。