Sub-Symmetry-Breaking Inequalities for ILP with Structured Symmetry
Résumé
We consider integer linear programs whose solutions are binary matrices and whose (sub-)symmetry groups are symmetric groups acting on (sub-)columns. We propose a framework to build (sub-)symmetry-breaking inequalities for such programs, by introducing one additional variable per sub-symmetry group considered. The proposed framework is applied to derive inequalities breaking both symmetries and sub-symmetries in the graph coloring problem and in the ramp constrained min-up/min-down unit commitment problem.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...