本文介绍了约束编程（CP）的概念，将其比喻为解决数独问题的方式，通过已知条件缩小解的空间。以八皇后问题为例，阐述了放置皇后的过程和如何利用约束条件进行回溯。CP的核心在于使用约束来限制变量的取值范围，并通过修剪和分支策略寻找解决方案。CP是一种完整的方法，能够找到优化问题的最优解或满足问题的解。
Introduction
CP的idea大致就像在解一个数独。运用已知的知识来deduce和排除一些solution，从而使得solution space变小。
拿八皇后举一个例子：
（这是一个鼎鼎大名的问题）要求在8x8的棋盘上放置八个皇后（皇后可以竖着走横着走斜着走），使得任一皇后不在其他皇后的攻击范围内。
假设从左往右开始放置皇后。
放置第一个 column的时候，此时没有限制，可以在 (1, 1)处放置。这样就导致 (2, 1), (3, 1),…,(8, 1) 不能放置皇后；同理 (2, 2), (3, 3), …, (8, 8)也不能放置皇后
放置第二个 column的时候，此时可以在第3~8位放置，那么假设就在 (2, 3)放置。这样就导致 (3, 3), (4, 3),…,(8, 3)不能放置皇后；同理 (3, 4),…(7, 8)与(3, 2)不能放置皇后
以此类推，我们会发现解的可选范围的确缩小了。如果遇到不能摆出八皇后的窘境，那就得回溯一下，在前面某个column的可行解中挑选另一值，再继续放置皇后。
Computational Paradigm:
- Use constraints to reduce
最低0.47元/天 解锁文章
403
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
