一种用于软AllDifferent约束的超弧一致性算法
摘要：软全不同约束的超弧一致性算法 论文提出了一种算法，可以实现软全不同约束的超弧一致性。为了达到这个目标，我们证明并利用了与最小成本流问题的等价性。约束的一致性可以在O(nm)的时间内检查，而超弧一致性可以在O(m)的时间内实现，其中n是涉及的变量数量，m是域的基数之和。这种算法改进了以前不能确保超弧一致性的方法。
作者：Willem Jan van Hoeve
论文ID：cs/0407043
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23