《离散数学教学资料》72-图的连通性.ppt

§7.2 图的连通性 §7.2.1 路、回路 定义：给定图G=V,E, 给定一个交替 序列 v0e1v1e2v2…envn , 其中 vi∈V , ei∈E , 并且ei是与(vi-1 ,vi)或vi-1 ,vi对 应的边，称交替序列 v0e1v1e2v2…envn 为v0到vn的路，称v0为路的始点， vn为路的终点，n 为路的长度。也 可以仅用序列 v0v1v2…vn 表示路。 若v0=vn 且长度大于 0 的路又称回路。 例： v1 v5 e6 e4 v3 v4 e3 e2 序列v1e1v3e4v4e5v5 是路。 序列v1e1v3e4v4e3v3e4v4e5v5 是路。 序列v4e5v5e6v5 是路。 序列v3e4v4e3v3 是回路。 序列v5e6v5 是回路。序列v3是路,不是回路。 v2 e1 e5 定义： (1) 边全不相同的路称为迹。 (2) 边全不相同的回路称为闭迹。 (3) 除始点与终点可以相同，结点全不 相同的路称为通路。 (4) 除始点与终点相同，结点全不相同 的回路称为圈。 注意 : 通路必是迹。 几个概念之间的关系： 路 ? 迹 ? 通路 ? ? ? 回路 ? 闭迹 ? 圈 例： v1 v5 e6 e4 v3 v4 e3 e2 序列v1是路, 不是回路。 序列v4e5v5e6v5e5v4 是回路, 不是迹。 序列v4e5v5e6v5是迹, 不是通路。 v2 e1 e5 例： v1 v5 e6 e4 v3 v4 e3 e2 序列v1是路, 不是回路。 序列v4e5v5e6v5是迹, 不是通路。 序列v3e3v4e4v3 是圈。 v2 e1 e5 定理：任意 n 阶图中， (1) 若从结点 u 到结点 v(u?v) 存在一条路，则必存在一条从 u 到 v 的长度小于等于 n-1 的路。 (2) 若结点 v 存在一条到自身的回路，则必存在一条结点 v 到自身的长度小于等于 n 的回路。 推论：任意n阶图中， (1) 若从结点 u 到结点 v(u?v) 存在一条路，则必存在一条从 u 到 v 的长度小于等于 n-1 的通路。 (2) 若结点 v 存在一条到自身的回路，则必存在一条结点 v 到自身的长度小于等于 n 的圈。 §7.2.2 无向图的连通性 定义：任意无向图中 , 若从结点 u 到 结点 v 存在一条通路 , 则称 u 和 v 是连通的 , 否则称 u 和 v 是不连通的。 说明： (1) 每个结点与其自身是连通的。 (2) 结点 u 和 v 连通：从 u 到 v 存在 通路 , 从 v 到 u 也存在通路。 定义： 设G是任意无向图 , 若G中任意两个结点都是连通的 , 则称G是连通图, 否则称G是非连通图。 对于无向图G，由结点之间的连通性 可得到结点集的一个划分。 { { v1 } , { v2 ,v3 ,v4 } , { v5 ,v6 } } 由一个划分块中的结点所诱导的子图， 称为无向图的连通分支，一个无向图 的连通分支数，记为 p(G)。 对于一个连通的无向图，有 p(G)=1 。 在图的研究中，需要考虑删去结点、边对图的连通性的影响。 设无向图G=V,E, V1?V, E1?E ： 从G中删除V1，是指从G中删去V1中所有结点以及与这些结点关联的所有边；从G中删除E1，是指从G中删去E1中所有边。 定义：给定连通无向图G＝V,E, 若有 V’ ? V, 满足 p(G-V’) p(G), 并且对于任意的 V’’ ? V’, 满足 p(G-V’’) = p(G), 则称 V’ 是 G 的点 割集, 若 V’ 中仅有一个结点, 则称该 结点为割点。 { v3 , v5 } 是点割集 v3 v7 v2 v4 v1 v5 v6 { v2 } 是点割集，v2 是割点 v3 v7 v2 v4 v1 v5 v6 { v6 } 是点割集，v6 是割点 v3 v7 v2 v4 v1 v5 v6 定义：给定连通无向图G＝V,E, 若有 E’ ? E, 满足 p(G-E’) p(G), 并且对于任意的 E’’ ? E’, 满足 p(G-E’’) = p(G), 则称 E’ 是 G 的边 割集, 若 E’ 中仅有一条边, 则称该边 为割边 。 { e3 , e4 } , { e4 , e5 } , { e1 , e2 , e3 } , { e1 , e2 , e4 } , { e1 , e2 , e5 } , { e6 , e7 } , { e6 , e8 } , { e7 , e8 } , { e9 } 是边割集 e9 是割边 e1 e6 e2 e3 e8 e4 e7 e