离散数学：图研究.ppt

令B和C的布尔和、布尔积分别记为B?C和BoC，其定义为 (B?C)ij=bij?cij (BoC)ij= (bik?ckj) i,j=1,2,···,n。其中bij，cij分别是B和C的i行j列元素。 特别地，对于邻接矩阵A，记AoA=A(2)，对任何r=2,3,···,有 A(r-1)oA=A(r) 要注意的是Ar与A(r)的差别。Ar 中 表明从vi到vj长度为r的链（或路）的数目，而A(r)中 是指出：若vi到vj至少存在一条链（或通路）时， =1，否则， =0。 由上说明，便得到可达矩阵P为： P=A?A(2)?A(3)?···?A(n)= A(k) 对于简单有向图G=V,E，显然有E?V?V。因此，弧集合E可解释成B中的二元关系，而二元关系是可用矩阵表示的，通常称这种矩阵为关系矩阵，其定义如下： 设两个有限集合X={x1,x2,···,xm}和Y={y1,y2,···,yn}，则关系R?X?Y的关系矩阵MR=(rij)，其中 1, xi,yi?R rij= 0, 否则 i=1,2,···,m；j=1,2,···,n。 { 由定义可知，关系R与其关系矩阵MR是一一对应的，即可以相互确定。 根据集合论可知，对于域F(R)=V而|V|=n的关系R的传递闭包R+可计算如下： R+=R∪R2∪R3∪···∪Rk (k≤n) 于是，关系R1和R2的关系矩阵分别为A1和A2，则关系R1∪R2的关系矩阵为A1?A2。用归纳法可以证明R+的关系矩阵是 = ? ? ?···? 对于G=V,E的邻接矩阵A是关系E的关系矩阵，因为E2=EoE，即若存在一个结点vk，使得viEvk，和vkEvj，则必有viE2vj，亦即从vi到vj若至少存在一条长度为2的链（或通路），那么E2的关系矩阵中的(i,j)元素值为1。这表明矩阵A(2)是关系E2的关系矩阵。以此类推，A(k)是Ek的关系矩阵，k=2,3,···,n。因此 A+=A?A(2)?A(3)?···?A(n) 亦即 A+=A?A(2)?A(3)?···?A(n)=P 可见，关系E的传递闭包E+的关系矩阵A+与可达矩阵相同。 为了计算A+或P，自然可先依次求得A(2)，A(3)，···，A(n)，然后再计算 A(k)，其结果即为所求，这是计算A+或P的一种方法，还可介绍一种现有效的方法—Warshall算法，它由邻接矩阵A依下面给出的步骤便能计算A+。其步骤如下： (1) P?A (2) k?1 (3) i?1 (4) 若pik=1，对j=1,2,···,n作pij?pij?pkj (5) i?i+1，若i≤n则转(4) (6) k?k+1，若k≤n则转到(3)，否则停止。 该算法的关键的一步是(4)，它判定如果pik=1，将第i行和第k行的各对应元素作布尔和或逻辑加后送到第i行中去。 给定关系E1和关系E2，它们的关系矩阵分别为A=(aij)和B=(bij)，则关系交E1∩E2的关系矩阵记为A∧B，其定义如下： (A∧B)ij=aij∧bij 于是，由可达矩阵和利用关系交的关系矩阵可求出包含图中任何指定结点的强分图。 定理7.3.2 给定简单有向图G中的任意结点vi，若P=(pij)是G的可达矩阵，PT=(pji)是P的转置矩阵，则P∧PT的第i行元素为1的列号为下标的结点构成了包含vi的强分图。 利用简单有向图的可达矩阵，能够确定某过程是否为递归的。 假设VP={p1,p2,···,pn}是程序P中的过程集合，做有向图G=VP,E，其中pi?VP，i=1,2,···,n；pi,pj?E?pi调用pj。如果图G中有包含pi的回路，则可断言pi是递归的。为此，由图G的邻接矩阵A=(aij)计算出可达矩阵A+=( )。如果A+中的主对角线上的某元素 =1，则pi是递归的。 在图的矩阵表示中，除邻接矩阵外，还有关联矩阵、圈（或回路）矩阵、权矩阵等，在此就不都予涉及了，只是再给出权矩阵的概念以结束本小节。 已知加权的简单图G=V,E，定义一个矩阵W=(wij)，其中： w, w是边[vi,vj]（或弧vi,vj）?E 的权 wij= 0， vi与vj不相邻 则称W为图G的权矩阵 { 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们