计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (30): 57-61.DOI: 10.3778/j.issn.1002-8331.2009.30.018
侯爱民
HOU Ai-min
摘要: 图同构的判定性问题是图论理论中的一个难问题,至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想,也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件,即在子图同构的前提下,根据新增顶点及相应关联边的关系,判断母图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用数学归纳法证明了这个充分必要条件的成立。
中图分类号: