多集排序约束
Multiset Ordering Constraints
University of York（约克大学）；University College Cork（科克大学学院）；Uppsala University（乌普萨拉大学）
摘要：
我们确定了一个新的和重要的全局（或非二进制）约束。这个约束确保了两个变量向量所取的值，当被视为多集时，是有序的。该约束对于许多不同的应用是有用的，包括对称性破缺和模糊约束满足。我们提出并实现了一个有效的线性时间算法执行广义弧一致性这样的多集排序约束。几个问题域的实验结果显示出相当大的承诺。
英文摘要：
We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different applications including breaking symmetry and fuzzy constraint satisfaction. We propose and implement an efficient linear time algorithm for enforcing generalised arc consistency on such a multiset ordering constraint. Experimental results on several problem domains show considerable promise.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
