离散数学图.PPT

第7章 图 第1节 图的基本概念 第2节 子图与图的运算 第3节 路径、回路和连通性 第4节 图的矩阵表示 第5节 欧拉图和哈密顿图 第6节 平面图与欧拉公式 第7节 二部图与匹配 第8节 树 第9节 根树及其应用 第1节 图的基本概念 1、图的定义 2、无向图、有向图、混合图 3、邻接结点、邻接边 4、自环、平行边、简单图 5、度（入度、出度） 6、奇结点、偶结点 7、孤立结点、端点（悬挂点）、悬挂边 8、零图、平凡图、d度正则图、完全图 9、图同构10、判断两个图同构的必要条件 1、图的定义 有向边、无向边 图的举例 G= <V(G),E(G), ΨG > V(G)={a,b,c,d} E(G)={e1 , e2, e3 , e4 , e5 , e6} ΨG(e1)=(a,b)，ΨG (e2)=(a,c) ΨG (e3)=(b,d) ΨG (e4)=(b,c) ΨG (e5)=(d,c) ，ΨG (e6)=(a,d) 请画出对应的无向图。 2、无向图、有向图、混合图 （1）有向图：若图G中所有的边都是有向边。 （2）无向图：若图G中所有的边都是无向边。 （3）混合图：若图G中一些边是有向边，另一些边是无向边。 3、邻接结点、邻接边 关联同一个结点的两条边 邻接结点、邻接边举例 a、b、c、d四个结点中的任意两个结点都是邻接结点； e1和e5不邻接； e4和e6不邻接； e2和e3不邻接。 4、自环、平行边、简单图 平行边举例 在有向图中，如果边e1和e2关联于同一对结点，但方向相反，则它们不是平行边。 5、度（入度、出度） 自环的度 对于无向图中的一个自环，给该结点的度增加2； 对于有向图中的自环，给该结点增加一个出度和一个入度，故该结点的度也增加2。 结点度的举例 给出图1各结点的度； 给出图2各结点的出度、入度、度。 解答 deg(v1)=deg(v4)=3 deg(v2)=deg(v3)=2 (n,m)图 定理 证明 因为 ：每条边必关联两个结点 一条边给它所关联的两个结点的度各增加1 为整个图的度数增加2 所以：结点的度数总和恰好为边数的两倍。 定理验证 m=5 deg(v1)+deg(v2)+deg(v3)+deg(v4) =3+2+2+3=10=2m 定理 定理验证 m=6 deg+(v1)+ deg+(v2)+ deg+(v3) +deg+(v4)+ deg+(v5) =1+1+2+2+0=m deg-(v1)+ deg-(v2)+ deg-(v3) +deg-(v4)+ deg-(v5) =1+2+0+1+2=m 6、奇结点、偶结点 偶结点： 定理 在任何图中，必有偶数个奇结点。 证明 7、孤立结点、端点（悬挂点）、悬挂边 孤立结点、悬挂点、悬挂边举例 V5是悬挂点； (v4,v5)是悬挂边; V6是孤立结点 8、零图、平凡图、d度正则图、完全图 举例 9、图同构 解释 无向图同构举例 证明下面两个无向图同构。 证明 有向图同构举例 证明下面两个有向图同构。 证明 10、判断两个图同构的必要条件 （1）结点数相同； （2）边数相同； （3）度数相同的结点数相同。 解释 1）如果两个图同构，则(1)、(2)、(3)成立； 2）(1)、(2)、(3)成立两个图不一定同构； 3）如果(1)、(2)、(3)不成立，则两个图一定不同构； 定理应用举例 判定以下两个有向图是否同构？ 证明 (1)|V|=|V′|=5 (2)|E|=|E′|=8 证明（续） 第2节 子图与图的运算 一、子图 二、图的运算 一、子图 1、子图 2、真子图 3、生成子图 4、结点导出子图 5、边导出子图 1、子图 2、真子图 3、生成子图 子图的举例 4、结点导出子图 结点导出子图举例 求: (1)由结点集合V′={a,b,d,e} 导出的G的子图G[{a,b,d,e}] (2)G-{a,d} 解答 5、边导出子图 边导出子图举例 求: 由边集合E′={e1,e2,e5,e7} 导出的G的子图 G[{e1,e2,e5,e7} ] 解答 二、图的运算 1、可运算的 2、边不相交的 3、点不相交的 4、图的交 5、图的并 6、图的差 7、图的环和 8、相对于图G的补图 9、相对于完全图的补图 1、可运算的 2、边不相交的 3、点不相交的 可运算的举例 问： G1和G2是否是可运算的？ 解答 4、图的交 5、图的并 6、图的差 7、图的环和 图运算的举例 与如下图所示，求： G1∩G2 G1∪G2 G1-G2 G2-G1 ， G1⊕G2 。 G1∩G2 V1∩V2 G1∪G2 V1∪V2 G1 -G2 G2 –G1 G1⊕G2 E1 ⊕ E2 = 8、相对于图G的补图