Solving Partially Symmetrical CSPs
暂无分享,去创建一个
Many CSPs contain a combination of symmetrical and asymmetrical constraints. We present a global approach that allows to apply any usual methods for breaking symmetries on the symmetrical part of a CSP and then to search for a global solution by integrating afterwards the asymmetrical constraints. Then, we focus on optimization problems where only the cost function is asymmetrical. We show experimentally that in this case we can speed up the search of some problems.
[1] Jean-François Puget,et al. Breaking All Value Symmetries in Surjection Problems , 2005, CP.
[2] Peter Jeavons,et al. Symmetry Definitions for Constraint Satisfaction Problems , 2005, Constraints.
[3] Jean-François Puget,et al. Automatic Detection of Variable and Value Symmetries , 2005, CP.
[4] Belaid Benhamou,et al. Study of symmetry in Constraint Satisfaction Problems , 1994 .
[5] Roland Martin. Approaches to Symmetry Breaking for Weak Symmetries , 2005 .