如果我们可以使用 CSP（约束传播）来减少搜索空间，我们可以显着减少搜索空间，或者有时通过直接到达解决方案完全避免搜索的需要（例如，变量的域缩小到一号） . 当可变域大小变为零时，我们也可能会遇到这样的情况，在这种情况下，考虑到约束，不存在解决方案，因此不需要搜索。

约束传播基本上涉及强制局部一致性的概念（这是通过强制节点一致性、弧一致性、路径一致性以及使用 Alldiif 或 Atmost 的全局约束来完成的）。

术语：节点、弧、路径等基本上反映了以图表示的 CSP 问题，其中节点作为变量，弧/边作为约束。该过程只是从不一致的变量的域中删除值。诸如AC-3、PC-2等算法正是用于这些目的。