第九章节 图论-3rd-zhou.ppt

*/41 邻接矩阵的幂 例：给定一个简单有向图 ，如下图所示，其中的结点集合 。试求出图G的邻接矩阵A和A的幂A2，A3,A4。 */41 邻接矩阵的幂 解： */41 二、可达性矩阵 给定一个简单有向图 ，并且设结 点 。可知，由图G的邻接矩阵A能够直接确定G中是否存在一条从vi到vj的边。设 ，由矩阵 能够求得从结点vi到vj长度为r的路径数目。试构成矩阵 矩阵Br的(i,j)元素值表示了从结点vi到vj长度小于或等于r的路径数目。当图中的结点数目为n时，矩阵Bn都能够提供足够的信息，以表明从图中的任何结点到其它结点的可达性。 */41 可达性矩阵 定义： 给定一个简单有向图 ，其中|V|=n，并且假定G中的各结点是有序的。试定义一个n×n的路径矩阵P，使得其元素为 路经矩阵P仅表明了图中的任何结点偶对之间是否至少存在一条路径，以及在任何结点上存在循环与否；它并不能指明存在的所有路径。 */41 可达性矩阵 例：试构成下列有向图的路径矩阵P。 解：设邻接矩阵A=A1。在前面的例中，已经求出过矩阵的幂A2，A3和A4。求出矩阵B4和路径矩阵P如下： */41 可达性矩阵 注意： 对于具有n个结点的图而言，长度为n的路径不可能是基本路径。 假定图中的每一个结点，从它本身出发总是可达的，由矩阵Bn-1构成路径矩阵P，或由矩阵Bn构成路径矩阵P，这两种方法都可以采纳。 */41 可达性矩阵 首先构成矩阵 ，而后由他们构成矩阵Bn，再由矩阵Bn构成路径矩阵P，太麻烦了。为了减少计算工作量，应该设法使得不产生这些不必要的信息。 生成路径矩阵的简单方法：布尔矩阵法。 布尔和和布尔积： 对于两个n×n的布尔矩阵A和B，A和B的布尔和是 , A和B的布尔积是 ，并分别称为矩阵C和D，它们也都是布尔矩阵。把矩阵C和D的元素分别定义成 */41 可达性矩阵 邻接矩阵A是个布尔矩阵。路径矩阵P也是个布尔矩阵。对于 来说，令 于是，可以把路径矩阵P表示成 注意：A(m)表示布尔矩阵，如果从vi到vj有长度为m的路径的话，矩阵中(i,j)元素为1；Am中(i,j)元素表示从vi到vj的长度为m的路径的个数。 */41 可达性矩阵 例：对于下述的有向图来说，试求出矩阵A(2),A(3), A(4)和P。 */41 可达性矩阵 可以用不同的方法解释矩阵 。在简单有向图 中，应有 ，因此可以把集合E看成是V中的二元关系。邻接矩阵A是关系E的关系矩阵。在第四章中，曾经把合成关系 定义成这样一种关系：如果存在一个结点vk，能使viEvk和vkEvj，则必有viE2vj。换句话说，从vi到vj如果至少存在一条长度为2的路径的话，那么E2的关系矩阵中的(i,j)元素值是1。这就说明了，矩阵A(2)是关系E2的关系矩阵。与此类似，A(3)是V中的关系 的关系矩阵，类推。 设E1和E2是V中的两种关系，并且A1和A2分别是E1和E2的关系矩阵。于是,关系 和 的关系矩阵分别是 和 。 */41 闭包 对于集合V中的关系E来说，E的可传递闭包E+应是 可传递闭包E+的关系矩阵应为： 式中的A是关系E的关系矩阵。如果|V|=n，则图中的基本路径或基本循环的长度不会超过n。因此 可见，矩阵A+与路径矩阵P相同。计算关系的可传递闭包等同于计算对应关系图的路径矩阵。 */41 可达性矩阵判断强分图 由路径矩阵P可以求得含有给定图的任何特定结点的强分图。 设 是一个简单有向图，并且G≠Φ。P是图G的路径矩阵，PT是矩阵P的转置。设矩阵P中的(i,j)元素为Pij，而矩阵PT中的(i,j)元素为PijT。试定义一个矩阵 ，使得它的(i,j)元素为 。于是，矩阵 中的第i行，就确定了含有结点vi的强分图。 */41 可达性矩阵判断强分图 */41 利用简单有向图的可达矩阵，能够确定某过程是否为递归的。 假设VPrg={p1，p2，…，pn}是程序Prg中的过程集合，做有向图G=VPrg，E，其中pi∈VPr