Download PDFOpen PDF in browser

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies

15 pagesPublished: June 22, 2012

Abstract

Symmetries of combinatorial objects are known to complicate search algorithms, but such obstacles can often be removed by detecting symmetries early and discarding symmetric subproblems. Canonical labeling of combinatorial objects facilitates easy equivalence checking through quick matching. All existing canonical labeling software also finds symmetries, but the fastest symmetry-finding software does not perform canonical labeling. In this work, we contrast the two problems and dissect typical algorithms to identify their similarities and differences. Based on this analysis, we develop a novel approach to canonical labeling where symmetries are found first and then used to speed up the canonical labeling algorithms. Empirical results show that this approach outperforms state-of-the-art canonical labelers.

Keyphrases: Expedite the Canonical Labeling Search, Graph Canonical Labeling, Graph Symmetry Detection

In: Andrei Voronkov (editor). Turing-100. The Alan Turing Centenary, vol 10, pages 181--195

Links:
BibTeX entry
@inproceedings{Turing-100:Graph_Symmetry_Detection_and,
  author    = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov},
  title     = {Graph Symmetry Detection and Canonical Labeling: Differences and Synergies},
  booktitle = {Turing-100. The Alan Turing Centenary},
  editor    = {Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {10},
  pages     = {181--195},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/2vbW},
  doi       = {10.29007/gzc1}}
Download PDFOpen PDF in browser