7_1图的基本概念.pptVIP

《离散数学》——第七章 图 论;图论的诞生——哥尼斯堡七桥问题;1736年，欧拉（Euler）解决了该问题——图论诞生。;几个有名的图论问题;中国邮递员问题;;;;;;第七章 图论--绪论;7-1 图的基本概念;7-1 图的基本概念--定义;e2;例2 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。;返回;7-1 图的基本概念---几个基本概念;;邻接边--关联于同一结点的多条边。例如，e1,e2,e6互为邻接边。;完全图(无向图)--在简单图中，若每一对不同结点间都有边相连，则称该图为完全图。有n个结点的无向完全图记作Kn 。如果在Kn中，给每条边任意确定一个方向，就称该图 为n个结点的有向完全图。;结点的度数（定义7-1.2 ） 在图G=V，E，与结点v关联的边数，称作是该 结点的度数，记作deg(v)。 图G=V，E的最大度Δ(G)=max{deg(v)|v∈V(G)},图 G=V，E的最小度δ(G)=min{deg(v)|v∈V(G)}。;定理7-1.1 （握手定理） 每个图中，所有结点度数的总和等于边数的两倍，即 ∑deg (v) = 2|E| v∈V 证明： 因为每条边必关联两个结点，而一条边给于 关联的每个结点的度数为1。因此在一个图中，结 点度数的度数的总和等于边数的两倍。;定理7-1.2 在任何图中，度数为奇数的结点必定为偶数个。 证明： 设V1和V2分别是G中奇数和偶数度数的结点集，则由定 理7-1.1，有 ∑deg(v) +∑deg(v) = ∑deg(v) = 2|E| v∈V1 v∈V2 v∈V 由于∑deg(v) 是偶数之和，必为偶数，而2|E| 是偶数， v∈V2 故得∑deg(v)是偶数，即| V1 | 是偶数。 v∈V1;定理7-1.3 在任何有向图中，所有结点的入度之和等于所 有结点的出度之和。 证明： 因为每一条有向边必对应一个入度和一个出度，若 一个结点具有一个入度或出度，则必关联一条有向边。 所以，有向图中各结点入度之和等于边数，各结点出度 之和也等于边数，因此，任何有向图中，入度之和等于 出度之和。;定理7-1.4 n个结点的无向完全图Kn的边数为 n(n-1)/2 。 证明： 在Kn中，任意两个结点间都有边相连，n个结点中 任取两点的组合数为： Cn2= n(n-1)/2 故Kn的边数为：|E|= n(n-1)/2 。 ;子图 （定义7-1.7 ） 设图G=V，E，若有一个图G’=V’,E’满足V’?V且E’?E, 则称G’为G的子图。 例如: 下图中(b)，(c)都是(a)的子图。;图G相对于完全图的补图 （定义7-1.6 ） 给定一个图G，由G中所有结点和所有能使G成为完全 图的添加边组成的图，称为G的相对于完全图的补图，或 简称为G的补图，记作G。 例如：;图G相对于完全图的补图 (定义7-1.6 ) 给定一个图G，由G中所有结点和所有能使G称为完全 图的添加边组成的图，称为G的相对于完全图的补图，或 简称为G的补图，记作G。 例如：;子图G’的相对于图G的补图 （定义7-1.8 ）设G’=V’,E’ 是图G=G,E的子 图，若给定另外一个图 G”=V”,E”使得E”=E-E’，且V”中仅包含E”的边所关联的结点，则称G”是子图G’的相对于图G的补图。 例如：图(c)是图(b)相对于图(a)的补图。图(b)不是 图(c)相对于图(a)的补图。;图的同构（定义7-1.9） 设图G=V,E及图G’=G’,E’，如果存在双射 g: vi → v’i，使得e=(vi,vj)(或vi,vj)是G的一条边当且仅当 e’=(g(vi),g(vj)) (或 g(vi),g(vj) )是G’的一条边，则称G与G’同构，记作G≌G’。;7-1 图的基本概念---图的同构;