weixin_57920610的博客

定义 设有两个图G1 = (V1, E1)和G2 = (V2, E2)，若在其顶点集合之间存在双射，即存在一一对应的关系，使得边之间有如下的关系：设u1, v1∈V1 , u2, v2∈V2, u1 ↔ u2, v1 ↔ v2, u1v1∈E1当且仅当u2v2∈E2，且u1v1的重数与u2v2相等，则称两图同构，记为G1≌G2。同构的必要条件：①顶点数相同；②边数相同；③若将各点所关联的边数记录下来，则所得到的数组相同。边数n(n-1)/2完全图Kn是n部图简单图G的补图：设G =(V, E)，则图H