Scifaro

中文

约束传播简明指南

人工智能 2007-05-23 v1 编程语言

作者: Krzysztof R. Apt

在 arXiv 上查看 ↗ PDF ↗

摘要

我们在此提供了一个简单但非常通用的框架，使我们能够以系统的方式解释几种约束传播算法。特别是，利用交换性和半交换性的概念，我们展示了众所周知的AC-3、PC-2、DAC和DPC算法如何成为单一通用算法的实例。这里报告的工作扩展并简化了Apt的工作，cs.AI/9811024。

关键词

约束传播弧一致性交换性半交换性 AC-3 PC-2 DAC DPC

引用

@article{arxiv.cs/9909009,
  title  = {The Rough Guide to Constraint Propagation},
  author = {Krzysztof R. Apt},
  journal= {arXiv preprint arXiv:cs/9909009},
  year   = {2007}
}

备注

23 pages. To appear in the Proc. 5th International Conference on Principles and Practice of Constraint Programming as an invited talk