Compact-Table：利用可逆稀疏位集高效过滤表约束
人工智能
2016-04-25 v1
摘要
本文中，我们描述Compact-Table (CT)，一种用于对表约束强制广义弧一致性（GAC）的位运算算法。尽管该算法是or-tools与OscaR这两个公开CP求解器中表约束的默认传播器，但迄今从未被描述过。重要的是，CT最近通过引入残差、重置操作以及一种称为可逆稀疏位集的数据结构得到进一步改进，该结构用于维护支持表（遵循表格约简思想）：元组在数值删除时通过位集操作被增量地置为无效。我们利用OscaR进行的实验表明，在标准基准上CT优于最先进算法STR2、STR3、GAC4R、MDD4R与AC5-TC。
引用
@article{arxiv.1604.06641,
title = {Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets},
author = {Jordan Demeulenaere and Renaud Hartert and Christophe Lecoutre and Guillaume Perez and Laurent Perron and Jean-Charles Régin and Pierre Schaus},
journal= {arXiv preprint arXiv:1604.06641},
year = {2016}
}