Showing 1–2 of 2 results for author: Markov, I L

Graph Symmetry Detection and Canonical Labeling: Differences and Synergies

Authors: Hadi Katebi, Karem A. Sakallah, Igor L. Markov

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 d… ▽ More 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. We then 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. △ Less

Submitted 30 August, 2012; originally announced August 2012.

Comments: 15 pages, 10 figures, 1 table, Turing-100

MSC Class: 68R10

Journal ref: H. Katebi, K. A. Sakallah and I. L. Markov, "Graph Symmetry Detection and Canonical Labeling: Differences and Synergies'' in Proc. Turing-100, EPIC vol. 10, pp. 181-195, Manchester, UK, 2012

Conflict Anticipation in the Search for Graph Automorphisms

Authors: Hadi Katebi, Karem A. Sakallah, Igor L. Markov

Abstract: Effective search for graph automorphisms allows identifying symmetries in many discrete structures, ranging from chemical molecules to microprocessor circuits. Using this type of structure can enhance visualization as well as speed up computational optimization and verification. Competitive algorithms for the graph automorphism problem are based on efficient partition refinement augmented with gro… ▽ More Effective search for graph automorphisms allows identifying symmetries in many discrete structures, ranging from chemical molecules to microprocessor circuits. Using this type of structure can enhance visualization as well as speed up computational optimization and verification. Competitive algorithms for the graph automorphism problem are based on efficient partition refinement augmented with group-theoretic pruning techniques. In this paper, we improve prior algorithms for the graph automorphism problem by introducing simultaneous refinement of multiple partitions, which enables the anticipation of future conflicts in search and leads to significant pruning, reducing overall runtimes. Empirically, we observe an exponential speedup for the family of Miyazaki graphs, which have been shown to impede leading graph-automorphism algorithms. △ Less

Submitted 30 August, 2012; originally announced August 2012.

Comments: 15 pages, 9 Figures, 1 Table, Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)

MSC Class: 68R10

Journal ref: H. Katebi, K. A. Sakallah and I. L. Markov, "Conflict Anticipation in the Search for Graph Automorphisms" in Proc. Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 243-257, Merida, Venezuela, 2012