关闭

邻接矩阵

504人阅读 评论(0) 收藏 举报
分类:

邻接矩阵多用于有向图,但也适用于无向图。我们仅对无重边的有向图立论,其结论均可移植于简单无向图。

   

定义8.23  设G =<V,E,Ψ>为一无重边的有向图。其中V={v1,v2,…,vn},那么n´n矩阵A = [aij],

                              

称为图G的邻接矩阵(adjacency matrix),记为A[G]

    例8.18

    (1)零图的邻接矩阵为零矩阵。

    (2)一图的每个顶点以且仅以环为关联的边,那么该图的邻接矩阵为么矩阵。

    (3)无向图的邻接矩阵是对称矩阵。

    (4)图8.33(a)的邻接矩阵为图8.33(b)。

    邻接矩阵可推广到有平行边的多重图和赋权图上,只要令矩阵分量aij为vi到vj的边的重数或边上的权值W(vi,vj),而当vi,vj之间无边关联时,仍取aij=0。

邻接矩阵有多种用途。它除了自身反映图的一些性质,例如图各顶点是否有环(对角线元素是否为1),图的边是否成对出现(矩阵是否对称),图各顶点的出度和入度(矩阵的行和与列和)等等外,还能通过矩阵运算来探究图的更为深入的性质。


(a)

(b)
图8.33

    以下设A为图G的邻接矩阵,A = [aij],Aι为A的转置矩阵,○为矩阵乘运算符。我们知道,若A○B = C,A = [aij],B = [ bij],C = [ cij],那么

                 

我们还用Al表示l个矩阵A的乘积。

    (1)令Al = [ ],那么 的意义是:G中从顶点vi到vj的长度为l的拟路径恰为 条。

    在证明事实(1)之前,我们先用例8.18之(4)来验证这一结论。由计算得

                         

其中 = 4,而图8.33中v3到v1恰有四条长度为3的拟路径,它们是(v3 ,v1 ,v1 ,v1),(v3 ,v4 ,v1 ,v1),(v3 ,v2 ,v4 ,v1),(v3 ,v2 ,v3 ,v1)。

    现对l归纳证明事实(l)。

     l = 1时,Al = A = [ ] = [ ],命题显然真。

    设Al = [ ]中 对任意i,j均表示vi到vj的长度为l的拟路径条数。

    考虑Al+1=[ ]。由矩阵乘积定义知

                          (8-5)

其中 表示从vi到vk 条长度为l的拟路径。而

               

    表示从vi经由vk到vj的长度为l+1的拟路径数目,因而和式(8-5)表明 是从vi到vj的长度为l+1的拟路径的总条数。

    归纳完成,(1)得证。

    (2)令A○Aι = [ ],那么 的意义是:有 个顶点v,使得vi到v,vj到v都有边(两边交于v)。因而 表示顶点vi的出度。

    仍用例8.18之(4)验证之。计算

            

其中 = 2,而图8.33中正有两个顶点v1,v2,使得v3与v1到它们都有边; = 3,而顶点v3的出度恰为3。

    现证明事实(2).根据矩阵乘积的定义:

                   

它等价于

    有 个k的值使 =l,

    有 个k的值使 =l且 = l,

    有 个顶点vk使vi到vk有边且vj到vk也有边。

    这正是事实(2)所表明的。

    (3)令Aι ○A = [ ],那么 的意义是:有 个顶点v,使得v到vi, v到vj都有边;因而 表示顶点vi的入度。

    再用例8.18之(4)验证之。计算

             

其中 =0,而图8.33中确无到v3,v1均有边的顶点; = 2,而v4的入度正是2。

    事实(3)的证明留给读者。


0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:147217次
    • 积分:3750
    • 等级:
    • 排名:第8921名
    • 原创:199篇
    • 转载:244篇
    • 译文:0篇
    • 评论:5条
    最新评论