图的基本概念及其矩阵表示.pptVIP

*/128 可达性矩阵 首先构成矩阵 ，而后由他们构成矩阵Bn，再由矩阵Bn构成路径矩阵P，太麻烦了。为了减少计算工作量，应该设法使得不产生这些不必要的信息。 生成路径矩阵的简单方法：布尔矩阵法。 布尔和和布尔积： 对于两个n×n的布尔矩阵A和B，A和B的布尔和是 , A和B的布尔积是 ，并分别称为矩阵C和D，它们也都是布尔矩阵。把矩阵C和D的元素分别定义成 */128 可达性矩阵 邻接矩阵A是个布尔矩阵。路径矩阵P也是个布尔矩阵。对于 来说，令 于是，可以把路径矩阵P表示成 注意：A(m)表示布尔矩阵，如果从vi到vj有长度为m的路径的话，矩阵中(i,j)元素为1；Am中(i,j)元素表示从vi到vj的长度为m的路径的个数。 */128 可达性矩阵 例：对于下述的有向图来说，试求出矩阵A(2),A(3), A(4) ),A(5)和P。 */128 可达性矩阵 可以用不同的方法解释矩阵 。在简单有向图 中，应有 ，因此可以把集合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的关系矩阵。于是,关系 和 的关系矩阵分别是 和 。 */128 闭包 对于集合V中的关系E来说，E的可传递闭包E+应是 可传递闭包E+的关系矩阵应为： 式中的A是关系E的关系矩阵。如果|V|=n，则图中的基本路径或基本循环的长度不会超过n。因此 可见，矩阵A+与路径矩阵P相同。计算关系的可传递闭包等同于计算对应关系图的路径矩阵。 */128 可达性矩阵判断强分图 由路径矩阵P可以求得含有给定图的任何特定结点的强分图。 设 是一个简单有向图，并且G≠Φ。P是图G的路径矩阵，PT是矩阵P的转置。设矩阵P中的(i,j)元素为Pij，而矩阵PT中的(i,j)元素为PijT。试定义一个矩阵 ，使得它的(i,j)元素为 。于是，矩阵 中的第i行，就确定了含有结点vi的强分图。 */128 可达性矩阵判断强分图 */128 利用简单有向图的可达矩阵，能够确定某过程是否为递归的。 假设VPrg={p1，p2，…，pn}是程序Prg中的过程集合，做有向图G=VPrg，E，其中pi∈VPrg，i=1，2，…，n；pi，pj∈E iff pi调用pj。如果图G中有包含pi的回路，则断言pi是递归的。为此，由图G的邻接矩阵A=(aij)计算出关系矩阵A+=(aij)。如果A+中的 主对角线上的某元素 =1，则pi是递归的 可达性矩阵判断递归过程 */128 例如，已知程序Prg中的过程集合VPrg={p1，p2，p3，p4，p5}，其过程的调用关系可表成下图所示的有向图，该图的邻接矩阵A为。 A= 可达性矩阵判断递归过程 */128 于是可求得A+: A+= 由此可知，p2，p4和p5是递归的。 可达性矩阵判断递归过程 */128 关联矩阵 */128 关联矩阵 例，求下图所示的有向图的关联矩阵。 */128 关联矩阵 * * */128 子图和分支 注意： 无向图的每个结点和每条边都恰在一个连通分支中；有向图中，并不是每个边都恰在一个强分支中。 在简单有向图中，每个结点每条边都恰在一个弱分支中。 在简单有向图中，每个结点每条边至少位于一个单项分支中。 */128 由结点集合{v1，v2，v3}，{v4}，{v5}，{v6}和{v7}形成的诱导子图都是强分图;由结点集合{v1，v2，v3，v4，v5}，{v7，v4，v5}和{v6，v5}所成的诱导子图都是单向分图；由结点集合{v1，v2，v3，v4，v5，v6，v7}形成的诱导子图是弱分图。 子图和分支 */128 资源分配图 下面给出简单有向图的一个应用——资源分配图。 在多道程序的计算机系统中，可以同时执行多个程序。实际上，程序共享计算机系统中的资源，如磁带机