图的基本概念 无向图及有向图.ppt

d (v1)=4 d(v2)=4 d(v3)=3 d(v4)=1 d(v5)=0 * d+(v1)=2 d+ (v2)=1 d+ (v3)=3 d+ (v4)=1 d+ (v5)=1 d-(v1)=1 d- (v2)=3 d- (v3)=0 d- (v4)=3 d- (v5)=1 d (v1)=3 d (v2)=4 d (v3)=3 d (v4)=4 d (v5)=2 * 最大(出/入)度,最小(出/入)度 在无向图G中， 最大度: Δ(G) = max{ dG(v) | v∈V(G) } 最小度: δ(G) = min{ dG(v) | v∈V(G) } 在有向图D中， 最大出度: Δ+(D) = max{ dD+(v) | v∈V(D) } 最小出度: δ+(D) = min{ dD+(v) | v∈V(D) } 最大入度: Δ-(D) = max{ dD-(v) | v∈V(D) } 最小入度: δ-(D) = min{ dD-(v) | v∈V(D) } 简记为Δ, δ, Δ+, δ+, Δ-, δ- * 握手定理（图论基本定理） 定理7.1 设图G=V,E为无向图或有向图， V = {v1, v2,…, vn},,|E|=m，则 说明 任何无向图中，各顶点度数之和等于边数的两倍。 证明 G中每条边(包括环)均有两个端点，所以在计算G中各顶点度数之和时，每条边均提供2度，当然，m条边，共提供2m度。 推论：任何图中，度为奇数的顶点个数为偶数。 * 问题研究 问题：在一个部门的25个人中间，由于意见不同，是否可能每个人恰好与其他5个人意见一致？ 解答：不可能。考虑一个图，其中顶点代表人，如果两个人意见相同，可用边连接，所以每个顶点都是奇数度。存在奇数个度数为奇数的图，这是不可能的。 说明： (1)很多离散问题可以用图模型求解。 (2)为了建立一个图模型，需要决定顶点和边分别代表什么。 (3)在一个图模型中，边经常代表两个顶点之间的关系。 握手定理 定理7.2 设有向图D=V,E， V = {v1, v2,…, vn},,|E|=m，则 * 度数列 设G＝V,E为一个n阶无向图，V＝{v1,v2,…,vn}，称d(v1)，d(v2)，…，d(vn)为G的度数列。 对于顶点标定的无向图，它的度数列是唯一的。 反之，对于给定的非负整数列d＝{d1,d2,…,dn}，若存在V＝{v1,v2,…,vn}为顶点集的n阶无向图G，使得d(vi)＝di，则称d是可图化的。 特别地，若所得图是简单图，则称d是可简单图化的。 类似地，设D＝V,E为一个n阶有向图，V＝{v1,v2,…,vn}，称d(v1)，d(v2)，…，d(vn)为D的度数列，另外称d+(v1)，d+(v2)，…，d+(vn)与d-(v1)，d-(v2)，…，d-(vn)分别为D的出度列和入度列。 度数列举例 按顶点的标定顺序，度数列为 4,4,2,1,3。 度数列举例 按字母顺序， 度数列：5,3,3,3 出度列：4,0,2,1 入度列：1,3,1,2 (4，4，3，1，0) (3，4，3，4，2) 练习： * 可图化的充要条件 定理 设非负整数列d＝(d1，d2，…，dn)，则d是可图化的当且仅当 证明 必要性。由握手定理显然得证。 充分性。由已知条件可知，d中有偶数个奇数度点。 奇数度点两两之间连一边，剩余度用环来实现。 5 3 3 1 例7.1： (3, 3, 2, 3), (5, 2, 3, 1, 4)能成为图的度数序列吗？为什么？ 已知图G中有10条边，4个3度顶点，其余顶点的度数均小于等于2，问G中至少有多少个顶点？为什么？ 解： 1.由于这两个序列中，奇数度顶点个数均为奇数，由握手定理的推论可知，它们都不能成为图的度数序列。 2.显然，图G中的其余顶点度数均为2时G图的顶点数最少. 设G图至少有x个顶点. 由握手定理可知， 3×4+2×(x-4)=2 ×10 解得: x=8 所以G至少有8个顶点。 * 简单图与多重图 定义 在无向图中，关联一对顶点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数。 在有向图中，关联一对顶点的有向边如果多于1条，并且这些边的始点和终点相同(也就是它们的方向相同)，则称这些边为平行边。 含平行边的图称为多重图。 既不含平行边也不含环的图称