第3篇 同构图.ppt

第3章 同构图 主要内容 3.1 同构的定义 3.2 同构关系 3.4 延伸阅读: 重构与可解性 3.1 同构的定义 回顾: 两个图G和H称为相同的, 若V(G)=V(H)且E(G)=E(H). 两个图G和H是“同构的”, 若它们有相同的结构，并记之为G≌H. 换句话说： 定义1 如果G和H的顶点可以通过标号(或重新标号)而形成两个相同的图, 那么G≌H. 3.1 同构的定义 更精确的描述: 定义2 若两个图仅仅区别在画法与(或顶点)的标号方式上, 则称它们为同构的. 正式地说: 定义3 两个(标号)图G1和G2称为同构的( isomorphic ) (或者,有相同结构),如果存在一个从V(G1)到V(G2)的一一对应 ,使得： 当且仅当 . 此时, 称为是从G1到G2的一个同构( isomorphism ). 3.1 同构的定义 举个例子加深理解: 3.1 同构的定义 通过重新放置H2的顶点, H2可以被重新画为图3.2中的H2. 类似地, H3也可以被重画为图3.2中的H3. 3.1 同构的定义 从图3.2中 H2 的画法中可以看出, 如下定义的映射 ： V(H1) V(H2) , 是一个同构.因此 H1≌ H2 . 从上述例子中我们可以看出, 同构的图之间必须满足的条件是:有相同的阶和想同的边数. 但这只是个必要条件,并不充分. 也就是说,即使两个图有相同的阶和相同的边数, 这也不能确保它们是同构的. 3.1 同构的定义 以下举一个例子说明: 有相同的阶且有相同的边数, 但并不同构的两个图. 如图3.6 所示. 3.1 同构的定义 重述同构的定义: 定义4 两个图G1和G2是同构的, 如果存在从V(G1)到V(G2)的一个一一对应 使得G1中的每对邻接顶点映射到G2中邻接的顶点, 且G1中的每对不邻接顶点映射到G2中不邻接的顶点. 具有这些性质的映射 是一个同构. 3.1 同构的定义 定理 3.1 两个图G1和G2是同构的当且仅当它们的补图 和 是同构的. (同构的充分必要条件) 注意到, 所以同一映射 ： 也把 中邻接的顶点映射到 中邻接的顶点, 中不邻接的顶点映射到 中不邻接的顶点. 3.1 同构的定义 看一个例子: 3.1 同构的定义 定理 3.2 如果图G和H是同构图, 则它们对应的顶点有相同 的度. 证 [直接证法] 因为G和H是同构的,所以存在一个同构 ： . 设u是G中的一个顶点且 其中v是H中的顶 点. 我们来证明H中v的度等于G中u的度. (1)首先假设 degGu=0, 则G中没有与u邻接的顶点. 假设 y是H中除v之外的任一顶点, 则G中存在一个顶点x使得 因为x和u是G中不邻接的顶点(因为degGu=0), 故y和v是 H中不邻接的顶点.所以, H中不含与v邻接的顶点, 即degHv=0. 3.1 同构的定义 下面假设degGu=k ≥ 1. 设 N(u) = {x1, x1, …, xk } 是G中与顶点u邻接的顶点集合,其中