71、约束编程中的两大技术：懒子句生成与概率选择算子优化

约束编程中的两大技术：懒子句生成与概率选择算子优化

在约束编程领域，为了更高效地解决各类复杂问题，研究人员不断探索新的技术和方法。本文将介绍两种重要的技术：懒子句生成系统和概率选择算子的优化，它们分别在不同类型的问题中展现出了显著的优势。

懒子句生成系统

懒子句生成系统是通过在SAT求解器中添加一个精简的传播引擎来构建的。其核心在于管理传播器和SAT求解器之间的接口，具体步骤如下：
1. 变量关联 ：每个布尔变量都与一个整数或集合原子约束相关联。
2. 单位传播 ：当SAT求解器达到单位传播的不动点后，遍历新固定的布尔文字。
3. 约束更新 ：对于每个已决定或推断出的布尔文字l，对由原子约束lit -1(l)定义的域进行相应的更改。
4. 传播器执行 ：将可能受更改影响的传播器排队，然后执行它们。
5. 规则构建 ：如果发现某个传播修改了某个整数或集合变量的域，则构建解释该修改的传播规则，并将其作为子句永久添加到SAT求解器中，同时将其单位结果添加到SAT求解器的文字队列中。
6. 冲突处理 ：如果发现导致失败的子句，则立即调用SAT求解器的冲突解决程序。
7. 重复执行 ：当队列为空时，对通过传播发现的新文字调用SAT求解器，过程重复。

在失败时，对于从当前赋值中移除的每个布尔文字l，撤销原子约束lit -1(l)的更改。

实