对称性破缺约束的对称性
人工智能
2010-05-31 v1
摘要
对称性是许多约束规划问题的一个重要特征。我们证明，作用于一组对称性破缺约束上的任何问题对称性，都可以用来打破对称性。不同的对称性会在每个对称类中选出不同的解。这一简单而强大的思想可以以多种不同方式应用。我们描述了在模型重启中的一个应用，这是一种旨在减少对称性破缺与分支启发式之间冲突的搜索技术。在模型重启中，我们定期使用对称性破缺约束的随机对称性重新启动搜索。实验结果表明，这种对称性破缺技术在一些标准基准问题上在实践中是有效的。
引用
@article{arxiv.1005.5270,
title = {Symmetries of Symmetry Breaking Constraints},
author = {George Katsirelos and Toby Walsh},
journal= {arXiv preprint arXiv:1005.5270},
year = {2010}
}
备注
To appear in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Revises workshop paper that appears at SymCon 2009