图同构问题是多项式的。
摘要：图同构检测算法与检测图非平凡自同构算法在多项式上等价。后者算法的多项式性是通过考虑正规k-分割的对称性质而获得的，这些属性既是自同构k-分割（=排列群的k-轨系）的推广，同时也是代数组合学的研究对象（强正规2-分割或正规3-分割的结构）。 通过四边形的线性化，证明了图的稳定性能够检测图自同构群的平凡性。该结果是通过代数组合学的线性化得到的。 关键词：k-分割，对称性，代数组合学。
作者：Aleksandr Golubchik
论文ID：math/0607770
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23