在n阶图g=ve.ppt

*/ 第十七讲：图论（二） */ 上讲回顾 6.1 图的基本概念 图的定义 邻接 关联 简单图 6.2 节点的度数 6.3 子图、图的运算、图同构 子图 图的运算 图同构 图论中，常常考虑从一个结点出发，沿着一些边连续移动而达到另一个指定结点，这种依次由点和边组成的序列就形成了路的概念。 路与回路 无向图的连通性 有向图的连通性 本讲内容 */ 6.4 路与回路 定义：对于任意图G = (V, E), v0,v1,…vn?V, e0,e1,…en?E,其中ei是关联于结点vi-1和vi的边，则交替序列v0e1v1 e2, …envn 称为联结v0到vn的路。 说明： 一个路的序列如下，其中v0是起点，vl是终点 L所经过的边数称为路的长度 单独一个节点v构成的序列是v到v的长度为0的路，称为平凡路 */ 例如 左图是长度为4的路，右图是长度为3的路 说明: 有向图中的路须按边的方向走,有向图中的路可称为有向路. 在不引起混淆的情况下，可以将路简记为L: v0v1…vl或者e1…el 1.路(walk, way) */ 有两种特殊的路: 一种是节点不重复的路, 称为路径(path). 一种是边不重复的路, 称为轨迹(trail). 显然, 路径是轨迹, 但轨迹不一定是路径. 1.路(walk, way) 路：v1 e2 v3 e3 v2 e3 v3 e4 v2 e6 v5 e7 v3 轨迹：v5 e8 v4 e5 v2 e6 v5 e7 v3 e4 v2 路径：v4 e8 v5 e6 v2 e1 v1 e2 v3 v1 v2 v3 v4 v5 e6 e5 e4 e3 e2 e1 e7 e8 路：点边序列 v1 v2 v3 v4 v5 e6 e5 e4 e3 e2 e1 e7 e8 轨迹：边各不相同 v1 v2 v3 v4 v5 e6 e5 e4 e3 e2 e1 e7 e8 路径 定义：在图G=(u,v)中，称节点u到节点v的边数最少的路径的长度为u到v的距离，记为d(u,v); 若节点u到v的路（径）不存在，则称u到v的距离为无穷大，称max d(u,v)为图G的直径，记为diam(G). 例： 1.路(walk, way) d(v1,v2)=2 d(v1,v3)=1 d(v2,v3)=1 diam(G)=2 vj vj+1 vs vi vk-1 vk 设在这条路中有 l 条边，如果l ?n-1，则命题得证。 否则，l n-1，此路中必有l+1个结点，设为 vj vj+1 …vi …vk 定理：在n阶图G = (V, E)中, 若存在从节点vj到vk一条路(vj?vk), 则存在一条从vj到vk一条长度? n - 1的路径。 则在这条路中必有一个结点设为vs不止一次出现。 去掉从vs到vs的这些边后，这仍然是一条从vj到vk的一条路，但边数少了， 如此重复进行，直到此序列中没有重复点，则可得到一个结点数目小于等于n的点边序列，此序列就是一个长度? n-1的路径。 vs vs+1 vj vj+1 vs vk-1 vk vs+1 1.路(walk, way) */ 2.回路 定义 起点与终点相同的(长度? 1)路称为回路. 边不重复的回路称为简单回路(闭迹). 除起点重复一次外, 别的节点均不重复的简单回路称为圈或环 显然,圈?简单回路, 但反过来不成立. 例： v1 v2 v3 v4 v5 e6 e5 e4 e3 e2 e1 e7 e8 圈 v3 v5 v1 v2 v4 e6 e4 e3 e2 e1 e7 e8 简单回路 */ 2.回路 有n个节点的圈称为n阶圈,记为Cn. 在n - 1阶圈Cn-1的内部放置一个节点, 并使之与Cn-1的每个节点邻接, 这样得到的图称为n阶轮图, 记为Wn. 在n阶图G = (V, E)中, 若存在从节点v0到v0一条简单回路, 则存在一条从v0到v0一条长度? n 的圈. */ 2.回路 定理：在无向图G = (V, E)中,若任意v ?V有deg(v) ? 2,则G中存在圈 . 证明：不妨设G是简单图. 在G中选取一条最长的路径L: v0v1…vl. 由于L是最长路径,与v0邻接的节点必在L上. 由于deg(vi) ? 2, 存在vi (2 ? i ? l)与v0邻接,则v0v1…viv0是G中的一个圈. 6.5 图的连通性 Def 6-1