无向图传递闭包.ppt

无向图的传递闭包 无向图的传递闭包主要用于判断图的连通性和图中 满足条件的连通分支,具有很高的实用价值 借鉴无向图的传递闭包思想,可以计算图中每一对 顶点之间的最短路径(实际上就是Flyd算法的思想)。 无向图的传递闭包 问题一、判断无向图中任意两个顶点之间是否有路 例1、输入一张无向图,指出该图中哪些顶点对之间有路 输入:n(顶点数,1==20); e(边数,1=e=210); 以下e行,每行为有边连接的一对顶点。 输出:k行,每行两个数,为存在路的顶点对序号i,j,要求ij。 1、采用宽度优先或深度优先遍历来解决。因为从任意一个顶点出发 进行一次遍历,就可以求出此顶点和其它各个顶点的连通状况。所以只 要把每个顶点作为出发点都进行一次遍历,就能知道任意两个顶点之间 是否有路存在。一次遍历的时间复杂度为0(n),要穷举每个顶点,所 以总的时间复杂度为0(n*n) 无向图的传递闭包 2、设1ink, longlink: array[1..20,1..20] of boolean;分别存放无向图和它的传递闭包 若1 onglink[i,j]=true,表示顶点对i,j之间有路;否则无路 我们釆用递推(迭代)的方法,不断对1 onglink进行运算(产生 longlink longlink 对于i,j和k=1,……,n,如果图中顶点 点j间存在通 路目通路上所有顶点的序号均属于们1,2,……k},则定义 onglink=true:否则值为 false nglink, ()= longlink, D or(longlinkik k D) and longlinkk k D) 计到过程如下 for k:=1 onglink[i, j]= longlink[i, j] or (longlink[i, k] and longlink[k, j]) 由于布尔型的存储量少于整数,且位逻辑运算的执行速度快于算术运算,所以空间和时间 效率都很好。时间复杂度为0(n**n)。了解Foyd算法求最短路径问题的学生,一眼就应该 看出这个程序段和算法思想与 Floyd算法是完全一致 无向图的传递闭包 问题二、寻找满足条件的连通分支。 例2、输入一张顶点带权的无向图,分别计算含顶点数最多的一个连通 分支和顶点的权之和最大的一个连通分支。 输入:n(顶点数,1=n=20); ,依次表示顶点1顶点n上的权; e(边数,1=e=210); 以下e行,每行为有边连接的一对顶点 输出:两行,一行为含顶点数最多的一个连通分支 一行为顶点的权之和最大的一个连通分支 输出时按顶点编号从小到大输出 无向图的传递闭包 [问题分析] 我们可以先通过例1的1ong1ink,计算出每个顶点所在的连通分支,然后在 所有可能的连通分支中找出满足条件的解即可。至于计算连通分支的顶点方案 只要分别从连通分支中任选一个代表顶点,由此出发,通过深度优先搜索即可得 点方案。该 , besti分别存放含顶点数最多的连通分支中的顶点数和代表顶点t m,mxk分别存放顶点的权之和最大的连通分支的顶点权之和和代表顶点 计算best, besti,max,maxk的过程如下 读入无向图的信息 2、计算传递闭包 longlink;