论文研究 基于缺省逻辑的本体研究.pdf

图同构的判定性问题是图论理论中的一个难问题，至今没有得到彻底解决。Ulam曾经提出过一个判定图同构的猜想，也称为图的重构猜想。提出了一个新的判定图同构的充分必要条件，即在子图同构的前提下，根据新增顶点及相应关联边的关系，判断母图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术，采用数学归纳法证明了这个充分必要条件的成立。