arXiv:2502.02688v1 公告类型: 新 摘要：约束编程的成功部分取决于全局约束及其相关过滤算法的实现。最近，出现了改进这些实现的新思路，尤其是在"所有不同的约束"方面。在本文中，我们考虑带有成本的基数约束。基数约束是对所有不同的约束的一种一般化，它指定了在一个解决方案中，给定变量集合中每个值必须出现的次数。带有成本的版本引入了分配成本，并对分配成本的总和设定了上限。这个约束的弧一致过滤算法在实践中难以使用，因为它系统地搜索了许多最短路径。我们提出了一种新的方法，该方法基于地标使用最短路径的上界。这种方法可以被视为预处理。它是快速的，并在实践中避免了大量的显式最短路径计算。