电路复杂度与全局约束的分解
人工智能
2009-05-26 v1 计算复杂性
摘要
我们展示了电路复杂度工具可用于研究全局约束的分解。特别地，我们研究了全局约束到合取范式的分解，其性质是分解上的单元传播强制执行与专用传播算法相同的一致性水平。我们证明，一个约束传播器存在多项式大小的分解当且仅当它可由一个多项式大小的单调布尔电路计算。因此，单调布尔电路大小的下界可转化为全局约束分解大小的下界。例如，我们证明ALLDIFFERENT约束的域一致性传播器不存在多项式大小的分解。
引用
@article{arxiv.0905.3757,
title = {Circuit Complexity and Decompositions of Global Constraints},
author = {Christian Bessiere and George Katsirelos and Nina Narodytska and Toby Walsh},
journal= {arXiv preprint arXiv:0905.3757},
year = {2009}
}
备注
Proceedings of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09). Old file included deleted