Symmetry Breaking in Subgraph Isomorphism

Zampelli, Stéphane;Deville, Yves;Saïdi, Mohamed Reda;Benhamou, Belaïd
(2007) SymCon′07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem — Location: Providence, USA

Files

SymCon2007.pdf
  • Open Access
  • Adobe PDF
  • 141.88 KB

Details

Authors
  • Zampelli, StéphaneUCLouvain
    Author
  • Deville, Yvesorcid-logoUCLouvain
    Author
  • Saïdi, Mohamed RedaCentre de Mathématique et d’Informatique, Marseille, France
    Author
  • Benhamou, BelaïdCentre de Mathématique et d’Informatique, Marseille, France
    Author
Abstract
The present work studies symmetry breaking for the subgraph isomorphism problem. This NP-Complete problem decides if a pattern graph is isomorphic to a subgraph of a target graph. The first part of the paper shows how to detect and break all variable and value global symmetries. The second part studies local symmetries, and shows that subgraphs of the initial instance allow to efficiently compute local variable and value symmetries. Experiments show that global symmetries are an efficient technique for subgraph isomorphism, and that limited local symmetries may be useful for difficult instances.
Affiliations

Citations

Zampelli, S., Deville, Y., Saïdi, M. R., & Benhamou, B. (2007). Symmetry Breaking in Subgraph Isomorphism. SymCon′07, the Seventh International Workshop on Symmetry and Constraint Satisfaction Problem, Providence, USA. https://hdl.handle.net/2078.5/253896