Discrete Math. , huang liujia.ppt

Discrete Math. , huang liujia 离散数学 Discrete Mathematics 14.1 图 无向图与有向图 顶点的度数 握手定理 图的同构 简单图 完全图 子图 补图 无序对与多重集合 无序对: 2个元素构成的集合, 记作(a,b) 无序积: A?B={(x,y) | x?A?y?B} 例如 A={a,b,c}, B={1,2} A?B=B?A={(a,1), (b,1), (c,1), (a,2), (b,2), (c,2)} A?A={(a,a), (a,b), (a,c), (b,b), (b,c), (c,c)} B?B={(1,1), (1,2), (2,2)} 多重集合: 元素可以重复出现的集合 重复度: 元素在多重集合中出现的次数 例如 S={a,b,b,c,c,c}, a,b,c 的重复度依次为1,2,3 无向图 定义14.1 无向图G=V,E为一个有序的二元组,其中 V??称为顶点集, 其元素称为顶点或结点; E是V?V的多重子集, 称为边集, 其元素称为无向边，简称边. 有时用V(G)和E(G)分别表示V和E. 有向图 顶点和边的关联与相邻 设无向图G=V,E, ek=(vi,vj)?E, 称vi, vj为ek的端点, ek与vi ( vj)关联. 若vi = vj, 则称ek为环. 无边关联的顶点称作孤立点. 若vi ? vj, 则称ek与vi ( vj)的关联次数为1; 若vi = vj, 则称ek与vi 的关联次数为2; 若vi不是边e的端点, 则称e与vi 的关联次数为0. 设vi,vj?V, ek,el?E, 若(vi,vj)?E, 则称vi,vj相邻; 若ek,el有一个公共端点, 则称ek,el相邻. 对有向图有类似定义. 设ek=?vi,vj?是有向图的一条边, 又称vi是ek的始点, vj是ek的终点, vi邻接到vj, vj邻接于vi 简单图 定义14.3 在无向图中, 关联同一对顶点的2条或2条以上的边, 称为平行边, 平行边的条数称为重数. 在有向图中, 具有相同始点和终点的2条或2条以上的边称为有向平行边, 简称平行边, 平行边的条数称为重数. 含平行边的图称为多重图 既无平行边也无环的图称为简单图 顶点的度数 定义14.4(1)设G=V,E为无向图, v?V, v的度数(度) d(v): v作为边的端点次数之和 悬挂顶点: 度数为1的顶点 悬挂边: 与悬挂顶点关联的边 G的最大度?(G)=max{d(v)| v?V} G的最小度?(G)=min{d(v)| v?V} 顶点的度数(续) 定义14.4(2)设D=V,E为有向图, v?V, v的出度d+(v): v作为边的始点次数之和 v的入度d?(v): v作为边的终点次数之和 v的度数(度) d(v): v作为边的端点次数之和 d(v)= d+(v)+ d?(v) D的最大出度?+(D), 最小出度?+(D) 最大入度??(D), 最小入度??(D) 最大度?(D), 最小度?(D) 握手定理 定理14.1设G=V,E为任意无向图, V={v1,v2,…,vn}, |E|=m, 则 图的度数列 设无向图G的顶点集V={v1, v2, …, vn} G的度数列: d(v1), d(v2), …, d(vn) 如右图度数列:4,4,2,1,3 设有向图D的顶点集V={v1, v2, …, vn} D的度数列: d(v1), d(v2), …, d(vn) D的出度列: d+(v1), d+(v2), …, d+(vn) D的入度列: d?(v1), d?(v2), …, d?(vn) 例1 下述2组数能成为无向图的度数列吗? (1) 3,3,3,4; (2) 1,2,2,3 实例 同构 定义14.5 设G1=V1,E1, G2=V2,E2为两个无向图(有向图), 若存在双射函数 f: V1?V2, 使得对于任意的vi,vj?V1, (vi,vj)?E1 (vi,vj?E1) 当且仅当 (f(vi), f(vj))?E2 (f(vi), f(vj)?E2) 并且 (vi,vj) (vi,vj) 与 (f(vi),f(vj)) (f(vi),f(vj))的重数相同，则称G1与G2是同构的，记作G1?G2. 实例 实例 例 画出3个以1,1,1,2,2,3为度数列的非同构的无向简单图. 实例 例14.3 画出4阶3条边的所有非同构的无向简单图. 解 总度数为6, 分配给4个顶点