对称破缺约束的对称性
人工智能
2009-09-18 v1
摘要
对称性是许多约束程序的一个重要特征。我们证明，作用于一组对称破缺约束上的任何对称性都可以用来打破对称性。不同的对称性在每个对称类中挑选出不同的解。我们利用这些观察结果，提出了两种从问题中消除对称性的方法。这些方法旨在兼具发布静态对称破缺约束的对称破缺方法的许多优点，同时避免其一些缺点。特别是，这两种方法通过快速高效的已发布约束传播来剪枝搜索空间，同时减少对称破缺与分支启发式之间的冲突。实验结果表明，这两种方法在一些标准基准测试上表现良好。
引用
@article{arxiv.0909.3276,
title = {Symmetries of Symmetry Breaking Constraints},
author = {George Katsirelos and Toby Walsh},
journal= {arXiv preprint arXiv:0909.3276},
year = {2009}
}
备注
To appear in the Proceedings of the Ninth International Workshop on Symmetry and Constraint Satisfaction Problems, held alongside the 15th International Conference on Principles and Practice of Constraint Programming (CP 2009), Lisbon, Portugal