无向图同构的充要条件以及判定.pdfVIP

第33卷第2期 佳 木 斯 大 学 学 报 ( 自 然 科 学 版 ) V01．33 No．2 2015 年 o3月 JoumalofJiamusiUniversity(NaturalScienceEdition) Mar． 2015 文章编号：1008—1402{2015)02-0309-05 无 向图同构的充要条件 以及判定① 刁泽宇， 周先锋 (安徽大学数学科学学院．安徽 合肥 230601) 摘 要： 通过对两个图邻接矩阵的特征值以及特征向量分析，利用对角化过程中的正交特征向 量矩阵的特殊性质，得到了一种新的无向图同构的充要条件 ，并且 由此条件得到同构 图之间存在 的关系，从而使得判定图的同构更加方便，尤其是在需要找 出变换矩阵、判定同谱图时非常有效． 关键词： 同构；特征值 ；邻接矩阵；正交化；特征 向量 中图分类号： 0157；5 文献标识码 ： A 1，2，A与B相似且可以求出相应的相似变换矩阵， 0 引 言 但是，这个矩阵是否就是置换矩阵呢?或者说若A， 图的同构问题一直是图论中的一个难题．在此 同构 ，由引理求出来的这个相似矩阵与置换矩阵 之前，由于人们发现了同谱图的存在，特征值被证 有什么关系．因此，先从矩阵对角化过程中的正交 明不能完全确定一个图．而许多学者则提出了其他 特征 向量阵来看． 富有建设性的方法，例如关联度序列法 J，以及电 定理 1． 对于图的邻接矩阵A… 若存在正 路模拟法-2J．但是，文献[3]指出，这些方法是存在 交矩阵 ， ，使得 A =r2,4 =C(其中C为 缺陷的．本文利用无向图邻接矩阵的实对称性质， 对角形矩阵，对角线上特征值按由小到大依次排 得到了正交特征向量矩阵之间的关系，进而得出了 列)，那么对于任意的正交矩阵D，若DT1=T2，则 无向图同构的充要条件．并推出许多同构图之间易 D 有 如 下 准 对 角 矩 阵 形 式 D = 于计算的性质，从而作为判定同构的依据． 1 1 预备知识 ， (其中 为正 定义 1 两个图同构，当且仅当存在两个图的 顶点与边的一一对应关系．反映到矩阵上，即为对 于邻接矩阵A和B，存在一个置换矩阵F，使得， 交矩阵，n为 c对角线上~h／J,到大的特征值的重 FAF =B．由文献[4]，可得矩阵对角化的定理： 引理 1： 任意一个 级实对称矩阵，都存在 数，∑n=n)．反之若正交矩阵D有上述形式， 1 一 个 级矩阵正交矩阵 ，使得 TAT =TAT成对 则对于 A =C，也有DT1ATlD =C． 角形． 证明： 以 =4为例，其他可类似证明．首先 同样在文献[4]中，给出了这样一个求正交矩 阵 的方法． 引理2： 属于A的特征值的所有线性无关的 设特征值矩阵C= C2 ， 其中cl=c2 特征向量按行排列的方阵，可以利用施密特正交 化，使之成为一个正交矩阵