CSP和最小冲突算法

CSP

CSP回溯算法流程

• 如果变量都已完全赋值，返回。
• 否则选择一个未赋值的变量 v。
• 给 v 赋值。
• 如果不冲突，寻找下一个未赋值变量。
• 如果冲突，尝试 v 的另一种赋值。
• 当 v 的所有可能取值都冲突时，回溯到 v 的前一个变量 u。
• 给 u 重新赋值。

优化

• 在选择未赋值变量时：优先选择剩余值少的，也就是取值范围小的。
• 在赋值时，优先选择约束少的，也就是对其他变量取值影响小的。
• 提前预判，在调用下一层之前就知道下层调用有没有必要做（根据约束进行推论，inference函数）？

Min-Conflicts算法

• 先产生一个随机的完全赋值。
• 重复以下步骤直到没有冲突为止。
• 随机选择一个产生冲突的变量 v。
• 将 v 的值重新赋值使 v 与其他节点冲突最少，如果有多个赋值冲突相同则随机选一个。

解决四皇后八皇后问题