图同构问题是多项式的
综合数学
2007-05-23 v2
摘要
已知图同构测试算法与图非平凡自同构检测算法是多项式等价的。后一种算法的多项式性，通过考察正则 -划分的对称性获得：一方面，正则 -划分推广了自同构 -划分（=置换群的 -轨道系），另一方面推广了关系概形（强正则 2-划分或正则 3-划分），而关系概形是代数组合学的研究对象。本文表明，用四角形对图进行稳定化可检测图自同构群的平凡性。该结果通过对代数组合学进行线性化得到。关键词：-划分，对称性，代数组合学
引用
@article{arxiv.math/0607770,
title = {The graph isomorphism problem is polynomial},
author = {Aleksandr Golubchik},
journal= {arXiv preprint arXiv:math/0607770},
year = {2007}
}
备注
9 pages, Latex2e