ch9-图的基本概念及其矩阵表示-3rd-hy.ppt

第9章 图的基本概念及其表示 - 3 胡燕 End 图的矩阵表示 Next: 第10章 几种图的介绍 可达性矩阵判断强分图 利用简单有向图的可达矩阵，能够确定某过程是否为递归的。 假设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是递归的 可达性矩阵判断递归过程 例如，已知程序Prg中的过程集合VPrg={p1，p2，p3，p4，p5}，其过程的调用关系可表成下图所示的有向图，该图的邻接矩阵A为。 A= 可达性矩阵判断递归过程 * */38 * 9.4图的矩阵表示 邻接矩阵 定义： 设 是一个简单有向图，其中的结点集合 ，并且假定各结点已经有了从结点v1到vn的次序。试定义一个n×n的矩阵A，使得其中的元素 则称这样的矩阵A是图G的邻接矩阵。 邻接矩阵 定义：元素或为0或为1的任何矩阵，都称为比特矩阵或布尔矩阵。 邻接矩阵是布尔矩阵， 第i行上值为1的元素的个数，等于结点vi的出度； 第j列上值为1的元素的个数，等于结点vj的入度。 邻接矩阵 图的邻接矩阵不具有唯一性。 对于给定简单有向图 来说，其邻接矩阵依赖于集合V中的各元素间的次序关系。 给定两个有向图和相对应的邻接矩阵，如果首先在一个图的邻接矩阵中交换一些行，而后交换相对应的各列，从而有一个图的邻接矩阵，能够求得另外一个图的邻接矩阵，则事实上这样的两个有向图，必定是互为同构的。 邻接矩阵 例：写出下图的邻接矩阵，并计算各个节点的出度和入度。 解：首先给各结点安排好一个次序，譬如说是 。得出邻接矩阵如下： 邻接矩阵 上例中，如果重新把各结点排列成 ，就能写出另外一个矩阵如下： 邻接矩阵 对于给定图G，显然不会因结点编序不同而使其结构会发生任何变化，即图的结点所有不同编序实际上仍表示同一个图。换句话说，这些结点的不同编序的图都是同构的，并且它们的n！个邻接矩阵都是相似的。 今后将略去这种由于V中结点编序而引起邻接矩阵的任意性。而取该图的任一个邻接矩阵作为该图的矩阵表示。 邻接矩阵 由邻接矩阵判断有向图的性质： 如果有向图是自反的，则邻接矩阵的主对角线上的各元素，必定都是1。 如果有向图是反自反的，则邻接矩阵的主对角线上的各元素，必定都是0。 对于对称的有向图来说，其邻接矩阵也是对称的，也就说，对于所有的i和j而言，都应有aij=aji。 如果给定有向图是反对称的，则对于所有的i和j和i≠j而言，aij=1 蕴含aji=0。 邻接矩阵 可以把简单有向图的矩阵表示的概念，推广到简单无向图、多重边图和加权图。对于简单无向图来说，这种推广会给出一个对称的邻接矩阵，在多重边图或加权图的情况下，可以令 其中的wij，或者是边 的重数，或者是边 的权。另外，若 ，则 。 在零图的邻接矩阵中，所有元素都应该是0，亦即其邻接矩阵是个零矩阵。 邻接矩阵 逆图的邻接矩阵： 如果给定的图 是一个简单有向图，并且其邻接矩阵是A，则图G的逆图的邻接矩阵 是A的转置 。对于无向图或者对称的有向图来说，应 有 。 在图上的意义 定义矩阵 。设 是邻接矩阵中的第i行和第j列上的 元素， 是矩阵中的第i行和第j列上的元素(i,j)。于是，对于 来说，有 如果边 ，则有 ，如果边 ，则有 。对于某一个确定的k来说，如 果 和 都是给定图的边，则在表示 的上述求和表达式中，应该引入基值1。从结点vi和vj二者引出的边，如果能共同终止于一些结点的话，那么这样的一些结点的数目，就是元素 的值。 在图上的意义 例：如图，求 解： 简单算法： 原矩阵A中，第i行和第j行相交，有几个1，AAT的第i行第j列就是几。 矩阵的主对角线的元素对应了各个节点的出度。