图对称性检测与规范标号：差异与协同
数据结构与算法
2013-05-01 v1 群论
摘要
组合对象的对称性已知会使搜索算法复杂化，但通过早期检测对称性并剔除对称子问题，往往可以消除此类障碍。组合对象的规范标号通过快速匹配促进了便捷的等价性检查。所有现有的规范标号软件也能发现对称性，但最快的对称性发现软件并不执行规范标号。在本工作中，我们对比了这两个问题，并剖析了典型算法以识别其异同。随后，我们开发了一种新的规范标号方法，即先发现对称性，再利用其加速规范标号算法。实证结果表明，该方法优于最先进的规范标号器。
引用
@article{arxiv.1208.6271,
title = {Graph Symmetry Detection and Canonical Labeling: Differences and Synergies},
author = {Hadi Katebi and Karem A. Sakallah and Igor L. Markov},
journal= {arXiv preprint arXiv:1208.6271},
year = {2013}
}
备注
15 pages, 10 figures, 1 table, Turing-100