实用图同构，II
离散数学
2013-01-09 v1 组合数学
摘要
我们从实用角度报告图同构问题的当前状态。在描述了细化 - 个体化范式的一般原则并证明其有效性后，我们解释了它如何在几个关键程序中实现。特别是，我们将最著名的程序 nauty 的描述更新至最新状态，并描述了一种称为 Traces 的创新方法，该方法在许多困难图类上优于竞争对手。文中给出了与 saucy、Bliss 和 conauto 的详细比较。
引用
@article{arxiv.1301.1493,
title = {Practical graph isomorphism, II},
author = {Brendan D. McKay and Adolfo Piperno},
journal= {arXiv preprint arXiv:1301.1493},
year = {2013}
}
备注
This is partially a replacement for http://arxiv.org/abs/0804.4881