【图同构】

同构

    定义 7-1.9 设图 G＝<V，E> 及图 G′＝<V′，E′> ，如果存在一一对应的映射 g ：  →  且 e ＝(，)(或<(，>)是G的一条边当且仅当e′＝(g ()，g( ))(或<g() ，g ( ) >) 是 G ′ 的一条边，则称 G 与 G ′ 同构 ，记作 G ≌ G ′ 。

    从这个定义可以看到，若 G与 G′同构，它的充要条件是：两个图的结点和边分别存在着一一对应，且保持关联关系，例如图 7-1.9 中，(a)与(b)是同构的，(c)与(d)也是同构的。 
    从图7-1.9的(c)与(d)中可以看到此两图在结点间存在着一一对应映射g：g(a)＝u3， g(b)＝u1，g(c)＝u4，g(d)＝u2，且有：<a,c>，<a,b>，<b，d>，<c，d>分别与<u3，u4>，<u3，u1>，<u1，u2>，<u4，u2>一一对应。 
分析本例还可以知道，此两图的结点度数也分别对应相等，如表7-1.1所示。

    综上所述，可以得到两图同构的一些必要条件：
    1．结点数目相同，
    2．边数相等；
    3．度数相同的结点数目相等。
    需要指出的是这几个条件不是两个图同构的充分条件，例如图7-1.10中(a)和(b)满足上述三个条件，但此两个图并不同构。