All Different、全局基数约束及相关约束的分解
人工智能
2009-05-26 v1
摘要
我们证明了一些常见且重要的全局约束（如ALL-DIFFERENT和GCC）可以分解为简单的算术约束，在这些约束上我们能够实现边界或区间一致性，在某些情况下甚至能实现更强的剪枝。这些分解可以轻松地添加到新的求解器中。它们还通过变量共享，为其他约束提供了访问传播器状态的能力。这种共享可用于改进约束之间的传播。我们报告了在伪布尔求解器中使用我们的分解进行的实验。
引用
@article{arxiv.0905.3755,
title = {Decompositions of All Different, Global Cardinality and Related Constraints},
author = {Christian Bessiere and George Katsirelos and Nina Narodytska and Claude-Guy Quimper and Toby Walsh},
journal= {arXiv preprint arXiv:0905.3755},
year = {2009}
}
备注
Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)