Symmetry-breaking inequalities for ILP with structured sub-symmetry - Archive ouverte HAL
Article Dans Une Revue Mathematical Programming Année : 2020

Symmetry-breaking inequalities for ILP with structured sub-symmetry

Pascale Bendotti
Pierre Fouilhoux

Résumé

We consider integer linear programs whose solutions are binary matrices and whose (sub-)symmetry groups are symmetric groups acting on (sub-)columns. Such structured sub-symmetry groups arise in important classes of combinatorial problems, e.g. graph coloring or unit commitment. For a priori known (sub-)symmetries, we propose a framework to build (sub-)symmetry-breaking inequalities for such problems, by introducing one additional variable per considered sub-symmetry group. The derived inequalities are full-symmetry-breaking and in polynomial number w.r.t. the number of sub-symmetry groups considered. The proposed framework is applied to derive such inequalities when the symmetry group is the symmetric group acting on the columns. It is also applied to derive sub-symmetry-breaking inequalities for the graph coloring problem. Experimental results give insight into how to select the right inequality subset in order to efficiently break sub-symmetries. Finally, the framework is applied to derive (sub-)symmetry breaking inequalities for Min-up/min-down Unit Commitment Problem with or without ramp constraints. We show the effectiveness of the approach by presenting an experimental comparison with state-of-the-art symmetry-breaking formulations.
Fichier principal
Vignette du fichier
mpb_minorrev.pdf (441.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02945921 , version 1 (22-09-2020)

Identifiants

Citer

Pascale Bendotti, Pierre Fouilhoux, Cécile Rottner. Symmetry-breaking inequalities for ILP with structured sub-symmetry. Mathematical Programming, 2020, 183 (1-2), pp.61-103. ⟨10.1007/s10107-020-01491-4⟩. ⟨hal-02945921⟩
105 Consultations
279 Téléchargements

Altmetric

Partager

More