求解图同构的判定算法-计算机工程与应用.PDF

52 2011 ，47 （16） Computer Engineering and Applications 计算机工程与应用 求解图同构的判定算法 侯爱民 HOU Aimin 东莞理工学院 计算机科学与技术系，广东 东莞 523808 Department of Computer Science and Technology ，Dongguan University of Technology ，Dongguan ，Guangdong 523808 ，China HOU Aimin.Determining algorithm for solving graph isomorphism.Computer Engineering and Applications ，2011 ，47 （16）：52-57. Abstract ：How to determine the isomorphism of graphs is a difficult problem of graph theory ，which has not been completely solved so far.From the idea of Ulam conjecture concerning graph isomorphism ，a new necessary and sufficient condition of graph isomorphism is presented ，which is stated as following ：two graphs are isomorphic if and only if their subgraphs are isomorphic and the new vertices as well as their adjacency edges are corresponding.With the help of the technique for unlim- itedly generating the corresponding pairs of vertices ，this condition is proved with the method of reduction to absurdity.An al- gorithm for determining graph isomorphism is designed and implemented ，whose correctness and validity are tested and veri- fied with some concrete examples. Key words ：subgraph isomorphism ；graph isomorphism ；technique for unlimitedly generating the corresponding pairs of verti- ces ；determining algorithm 摘 要：图同构的判定性问题是图论理论中的一个难题，至今没有得到彻底解决。受Ulam 猜想的启发，提出了一个新的判定图 同构的充分必要条件：在子图同构的前提下，根据新增顶点及相应关联边的关系，利用子图同构函数，判断父图同构的充分必要 条件。基于具有同构关系的对应点无限衍生技术，采用反证法证明了这个充分必要条件的成立。设计并实现了图同构的一个判 定算法，通过实例验证了算法的正确性和有效性。 关键词：子图同构；图同构；对应点无限衍生技术；判定算法 DOI ：10.3778/j.issn. 1002-8331.2011.16.017 文章编号：1002-8331（2011 ）16-0052-06 文献标识码：A 中图分类号：O157.5 1 引言 衍生技术。然后，采用反证法证明了在子图同构的前提下，判 在研究图论的问题中，经常会遇到判断两个图是否同构， 断父图同构的充分必要条件：同构的两个图，各自增加一个顶 即从顶点和边的拓扑图结构上来看，两个图是否有可能以同 点和与该顶点关联的若干条边，形成了两个新图。（1）这两个 样的方式画出。换句话说，当两个图同构时，两个图的顶点之 新图同构，当且仅当新顶点的新关联边所关联的顶点在原图 间具有保持相邻关系的一一对应。不幸的是，判断两个图是 （即子图）中保