BriefGPT.xyz
May, 2009
All Different, Global Cardinality 以及相关约束的分解
Decompositions of All Different, Global Cardinality and Related Constraints
HTML
PDF
Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
TL;DR
本文研究表明,像ALL-DIFFERENT和GCC等一些常见且重要的全局约束可以被分解为简单的算术约束,我们可以在这些约束上实现界限或范围一致性,甚至可以进行更大的削减。我们在一个伪布尔求解器中使用这些分解进行了实验。
Abstract
We show that some common and important
global constraints
like ALL-DIFFERENT and GCC can be decomposed into simple
arithmetic constraints
on which we achieve bound or range consistency, and in some cases even gre
→