Symmetry-breaking inequalities for ILP with structured sub-symmetry - Archive ouverte HAL Access content directly
Journal Articles Mathematical Programming Year : 2020

Symmetry-breaking inequalities for ILP with structured sub-symmetry

Pascale Bendotti
Pierre Fouilhoux


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
42 View
171 Download



Gmail Facebook Twitter LinkedIn More