On the geometry of symmetry breaking inequalities

11/19/2020
by   José Verschae, et al.
0

Breaking symmetries is a popular way of speeding up the branch-and-bound method for symmetric integer programs. We study symmetry breaking polyhedra, more precisely, fundamental domains. Our long-term goal is to understand the relationship between the complexity of such polyhedra and their symmetry breaking ability. Borrowing ideas from geometric group theory, we provide structural properties that relate the action of the group to the geometry of the facets of fundamental domains. Inspired by these insights, we provide a new generalized construction for fundamental domains, which we call generalized Dirichlet domain (GDD). Our construction is recursive and exploits the coset decomposition of the subgroups that fix given vectors in ℝ^n. We use this construction to analyze a recently introduced set of symmetry breaking inequalities by Salvagnin (2018) and Liberti and Ostrowski (2014), called Schreier-Sims inequalities. In particular, this shows that every permutation group admits a fundamental domain with less than n facets. We also show that this bound is tight. Finally, we prove that the Schreier-Sims inequalities can contain an exponential number of isomorphic binary vectors for a given permutation group G, which shows evidence of the lack of symmetry breaking effectiveness of this fundamental domain. Conversely, a suitably constructed GDD for G has linearly many inequalities and contains unique representatives for isomorphic binary vectors.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/28/2010

Symmetries of Symmetry Breaking Constraints

Symmetry is an important feature of many constraint programs. We show th...
research
10/15/2019

Analyzing symmetry and symmetry breaking by computational aesthetic measures

We study creating and analyzing symmetry and broken symmetry in digital ...
research
07/06/2021

Equivariant bifurcation, quadratic equivariants, and symmetry breaking for the standard representation of S_n

Motivated by questions originating from the study of a class of shallow ...
research
09/28/2009

Breaking Generator Symmetry

Dealing with large numbers of symmetries is often problematic. One solut...
research
12/22/2020

The Circlet Inequalities: A New, Circulant-Based Facet-Defining Inequality for the TSP

Facet-defining inequalities of the symmetric Traveling Salesman Problem ...
research
10/28/2015

Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking

The number R(4,3,3) is often presented as the unknown Ramsey number with...
research
03/08/2023

Breaking Symmetries Leads to Diverse Quadrupedal Gaits

Symmetry manifests itself in legged locomotion in a variety of ways. No ...

Please sign up or login with your details

Forgot password? Click here to reset