0引言
　　
　　图的同构判定问题是图论科学中的基本问题之一,而要判定两个图是否同构却不是一个简单的问题,到目前为止,多数的学者认为图的同构判定问题属于NP-完全问题,即是介于P问题和NP问题之间的一类问题。这类问题似乎应存在多项式时间复杂性算法,却尚未找到。不过它们可归约,即如果其中某问题能找到多项式时间算法,其它问题都能找到多项式时间算法,因此研究同构判定对于图论科学的发展具有重要理论意义。