通过组合算子增强约束传播

约束传播是一种用于修剪约束满足问题（CSP）搜索空间的通用算法方法。以一种统一的方式，K. R. Apt 将计算定义为在域上进行归约函数的迭代。他还展示了需要整合归约函数的静态属性（如交换性和准交换性）以设计专用算法（如 AC3 和 DAC）的必要性。我们在此引入了一组用于建模归约函数组合的算子。两个主要目标是解决并行计算问题，以及动态行为（如慢收敛）。