-
题名求解图同构的判定算法
被引量：9
- 1
-
-
作者
侯爱民
-
机构
东莞理工学院计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第16期52-57,103,共7页
-
文摘
图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件:在子图同构的前提下,根据新增顶点及相应关联边的关系,利用子图同构函数,判断父图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用反证法证明了这个充分必要条件的成立。设计并实现了图同构的一个判定算法,通过实例验证了算法的正确性和有效性。
-
关键词
子图同构
图同构
对应点无限衍生技术
判定算法
-
Keywords
subgraph isomorphism
graph isomorphism
technique for unlimitedly generating the corresponding pairs of vertices
determining algorithm
-
分类号
O157.5
[理学—基础数学]
-
-
题名图同构的一个充分必要条件
被引量：6
- 2
-
-
作者
侯爱民
-
机构
东莞理工学院计算机科学与技术系
-
出处
《计算机工程与应用》
CSCD
北大核心
2009年第30期57-61,共5页
-
文摘
图同构的判定性问题是图论理论中的一个难问题,至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想,也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件,即在子图同构的前提下,根据新增顶点及相应关联边的关系,判断母图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用数学归纳法证明了这个充分必要条件的成立。
-
关键词
子图同构
母图同构
对应点无限衍生技术
-
Keywords
subgraphic isomorphism
graphic isomorphism
technique for unlimitedly generating the corresponding pairs of vertices
-
分类号
O157.5
[理学—基础数学]
-
