第五章图论（四）-Read.ppt

第五章 图论 5.4图的连通性 重要的连通性问题：沿着边从一个顶点到另一个顶点是否可以到达？ 5.4.1通路的概念 定义1 无向图中的通路 通路：边的序列，其中相邻的边有公共的关联顶点 简单通路：没有边重复 基本通路：没有顶点重复 若不必区分多重边（如在简单图中），可用顶点的序列表示通路 回路：起点和终点相同的通路 简单回路：没有边重复 基本回路：除起点和终点外，没有其他顶点重复 例1 在图7-37所示的图里，a, d, c, f, e 是长度为4的简单通路，因为｛a,d｝，｛d,c｝ ，｛c,f｝和｛f,e｝都是边。但是d, e, c, a不是通路，因为｛e, c｝不是边。注意b, c, f, e, b是长度为4的回路，这是因为｛b, c｝，｛c, f｝，｛f, e｝和｛e, b｝都是边，这条通路在b上开始和结束。长度为5的通路a, b, e, d, a, b不是简单的，因为它两次包含边｛a, b｝。 基本通路是简单通路，反之不一定 基本回路是简单回路，反之不一定 起点和终点相同的简单通路是简单回路 起点和终点相同的基本通路是简单回路？ 定义2 有向图中的通路 通路：边的序列，对相邻的两条边，前一条的终点是后一 条的起点 简单通路：没有边重复 基本通路：没有顶点重复 若不必区分多重边（如在简单图中），可用顶点的序 列表示通路 回路：起点和终点相同的通路 简单回路：没有边重复 基本回路：除起点和终点外，没有其他顶点重复 上述类似的性质在有向图中也有 定理1 若图有n个顶点 （1）基本通路的长度n （2）基本回路的长度≤n （3）若两个顶点之间有通路，它们之间有长度n的基本通路 证明：(1)在任何基本通路中，出现于序列中的各结点是不同的，在长度为r的任何基本通路中，不同结点数目是r+1，显然r+1≤n，所以rn. (2)在任何基本回路中，出现于序列中的各结点，除头尾的结点是相同的，其他都是不同的，在长度为r的任何基本通路中，结点数目是r，显然r≤n. (3)取图中的任意两个顶点v和w，v和w之间必有通路，若不是基本通路，即存在的通路形如v,…，vi，u，…，vj,u，…，w，我们删除u，…，u间的点，得到的路v,…vi，…，vj，…w仍然是连通的，如此继续，直到v,…,w之间没有重复的点，此时得到的就是一条基本通路，再由(1)，可知，(3)也成立。 5.4.2无向图的连通性 定义3 连通图 任意两个顶点之间都有通路 例2 判断图7-38里的图是否是连通的。 解 图G是连通的，这是因为在每一对不同的顶点之间都有通路（读者应当验证它）。但是图H不是连通的。例如，在顶点a和d之间没有通路。 定义 连通分支（连通分量） 极大连通子图 极大：在保持连通和子图的前提下，不能再扩大 例3 图7-39所示的图G的连通分支是什么？ 解： 图G是图7-37所示的3个不相交连通子图G1,G2和G3之并。这3个子图是G的连通分支。 连通分支不是任何连通子图的真子图 定义 割点 删除它及其关联边后，连通分支数增加 割边 删除后，连通分支数增加 例4 求出图7-40所示的图G的割点和割边。 解： 图G的割点是b, c和e。删除这些顶点中的一个（和它的邻边），就使得这个图不再是连通的。割边是｛a, b｝和｛c, e｝。删除这些边中的一条，就使得G不再是连通的。 5.4.3有向图的连通性 定义4 强连通图 任意两个相互可达 定义5 弱连通图 底图是连通图 强连通?弱连通 例5 图7-41所示的有向图G和H是否强连通的？是否弱连通的？ 解 G是强连通的，因为在这个有向图里，任何两个顶点之间都存在通路。因此G也是弱连通的。图H不是强连通的。在这个图里，从a到b没有有向通路。但是H是弱连通的，因为在H的底图里，任何两个顶点之间都有通路。 5.4.4 连通性与同构 连通性是同构不变量 可用通路和回路的概念判定图不同构 例6 判定图7-42所示的图G和H是否同构。 解： G和H都具有6个顶点和8条边。各自具有4个3度顶点和2个2度顶点。所以对两个图来说有3个不变量（顶点数、边数以及顶点度）都是相同的。但是H有长度为3的简单回路。即v1，v2，v6，v1，而G没有长度为3的简单回路（G里的所有简单回路的长度至少为4）。因为长度为3的简单回路的存在性是一个同构不变量，所以G和H不是同构的。 5.4.5 通路的计数 定理2 G=(V, E),V={v1,v2…,vn},A是其邻接矩阵,