第五章_图论2.ppt

第 五 章 图 论 (第二部分) 1. 通路 2. 图的连通性 1. 通路 [定义]通路 pseudo path 设G＝(V，E)是图，v0，vn是G中两点。若G中结点序列v0v1 … vn满足：vi与vi+1相邻(0? i＜n), 则该序列称为从v0到vn的通路。 两个端点相同的通路称为回路（环或圈）。 通路中包含的边数称为该通路的长度。 注意： (1)通路中允许有重复的结点和边。 通路举例 简单通(回)路 [定义]简单通(回)路 各边均不相同的通路称为简单通路。 各边均不相同的回路称为简单回路 基本通(回)路 [定义]基本通(回)路 结点各不相同的通路称为基本通路。 中间结点各不相同的回路称为基本回路。 有向通(回)路 [定义]有向通(回)路 若通路v0v1 … vn各边是有向边，且vi-1和vi分别是有向边的始点与终点，则称该通路为有向通(回)路。 通路定理 [定理]通路定理 在n阶图G中，如果有顶点u到v （u ?v）的通路，那么u到v必有一条长度小于等于n?1的基本通路。 通路定理证明 定理：在有n个顶点的图G中，如果有顶点u到v的通路，必有长度不大于n-1的基本通路。 证明：(1)先证明u和v之间存在基本通路 若uv之间的通路P中有相同的顶点，则从P中删除相同顶点之间路径，直到P中没有相同顶点，这样得到的路径为u和v之间的基本通路。 (2) 再证基本通路长度不大于n-1 （反证法）设u和v之间的基本通路的长度≥ｎ。 ∵ 一条边关联两个顶点， ∴长度≥ｎ的基本通路上至少有ｎ＋１个顶点。 ∴至少有两个相同顶点在u和v之间的基本通路上，这与基本通路的性质“任意两个顶点不同”相矛盾。 ∴ 基本通路的长度= n - 1 路径：回路定理 [定理]回路定理 在有n个顶点的图G中，如果有顶点v到自身的通路，那么必定有一条从v到v的长度不大于n的基本回路。 连通性定义 [定义]两结点连通(可达) 若u与v之间有通路相连，则称u与v连通（可达）。 规定：任意顶点与自身连通。 [定义]连通无向图 任意两个顶点都连通的无向图 有向图的连通性 强连通的有向图 任意两个顶点都是互相连通的。 单向连通的有向图 任意两个顶点，至少从一个顶点到另一个是连通的 弱连通的有向图 底图连通的 强连通图性质（补充） 定理：一个有向图G是强连通的当且仅当Ｇ中有一条包含所有顶点至少一次的回路。 证明： ? ： Ｇ中有一条包含所有顶点的回路，显然强连通。/*连通图的定义*/ ? ：如果 G强连通，G中的顶点为v1，v2，….vn, 设v1到v2路径为P1，v2到v3的路径为P2 ，……， vn到v1 的路为Pn ，将P1， P2，…... Pn连起来，此路是一条包含G中所有顶点的回路。 有向图连通性举例 判断下面给出的图是强连通图、单向连通图还是弱连通图。 无向图的连通分支 [定义]连通分支（connected component） 设图G’ 是无向图G的子图的，如果： (1) G’ 是连通的， (2) G’ 不是任何其它连通子图的真子图（极大性） 则称G’ 是G的连通分支。 无向图连通分支举例 例 请指出下图G的连通分支数。 有向图的连通分支 [定义]强（单向、弱）连通分支 设图G’ 是有向图G的子图的，如果： (1) G’ 是强连通（单向连通、弱连通）的， (2) G’ 不是任何其它强连通（单向连通、弱连通）子图的真子图（极大性） 则称G’ 是G的强连通分支/强分支（单向连通分支/单向分支、弱连通分支/弱分支） 。 有向图的连通分支举例 例 请指出下图G的所有强分支、单向分支和弱分支。 有向图连通分支举例 请给出下图的所有强分支、单向分支和弱分支 可达矩阵 [定义]可达矩阵 若ｎ阶有向图Ｇ的邻接矩阵为A，令 B = A+A2+…+An-1 +An 将B中不为0的元素改为1，为0的元素不变，修改后所得到的矩阵(bij)n?n称为G的可达矩阵。 图G从vi点到vj点有通路当且仅当？ 图的连通性与可达矩阵 有向图的连通性（n?1）： 设有向图G的可达矩阵为B (1) Ｇ强连通? (2) Ｇ是单向连通的? 无向图的连通性（n?1）： 设无向图G的可达矩阵为B Ｇ连通? 连通性证明题举例1 [试证]：若ｎ个顶点的无向图G=(V,E)连通，则|E|?（ｎ－１）。 证明：(归纳法) (1)ｎ＝２，由G连通可知: |E| ? 1=ｎ－１,