交换性在约束传播算法中的作用
性能
2007-05-23 v1 人工智能
摘要
约束传播算法是约束编程系统中重要的一部分。我们在此提供一个简单且极其通用的框架，使我们能够系统性地解释几种约束传播算法。在该框架中，我们分两步进行。首先，我们引入一个关于部分序上的通用迭代算法，并在抽象 setting 下证明其正确性。然后，我们以特定的部分序和函数实例化该算法，以获得特定的约束传播算法。特别地，利用交换性和半交换性的概念，我们展示了{\tt AC-3}、{\tt PC-2}、{\tt DAC}和{\tt DPC}算法用于实现（方向性）弧一致性和（方向性）路径一致性都是单个通用算法的实例。本文工作扩展并简化了Apt \citeyear{Apt99b}的工作。
引用
@article{arxiv.cs/0012010,
title = {The Role of Commutativity in Constraint Propagation Algorithms},
author = {Krzysztof R. Apt},
journal= {arXiv preprint arXiv:cs/0012010},
year = {2007}
}
备注
35 pages. To appear in ACM TOPLAS