大连理工Chapter7(图论.pptVIP

离散数学（图论） Discrete Mathematics 第七章 图论 图是一类非常广泛的数学模型,在现实中的许多问题, 如电网络问题,交通网络问题,运输的优化问题,社会 学中某类关系的研究,都可以用这类数学模型研究和 处理。在计算机科学的许多领域,如开关理论与逻辑 设计, 人工智能, 形式语言, 计算机图形,操作系统, 编译程序, 信息检索等方面图和图的理论也有很多 重要的应用。 7.4图的矩阵表示 给定一个图G=V，E，使用图形表示法很容易把 图的结构展现出来，而且这种表示直观明了。 本节提供另一种图的表示法——图的矩阵表示法。 它不仅克服了图形表示法的不足，而且这种表示可 以充分利用现代工具电子计算机，以达到研究图的 目的。 一个简单图G=V，E由V中每两个结点间的邻接关 系惟一地确定，这种关系可以用一个矩阵给出，而 矩阵形式与图中结点的编序有密切关系,这是用矩阵 表示图值得注意的一点。 7.4图的矩阵表示 定义7.4.1 给定简单图G=V,E,V={v1,v2，…，vn}， V中的结点按下标由小到大编序，则n阶方阵A=(aij) 称为图G的邻接矩阵。其中 i，j=1，2，…，n。 有时为强调邻接矩阵依赖于图G，把图G的邻接矩阵 记为A(G)。 7.4图的矩阵表示 例7.4.1 图G=V，E如图7.4.1(a)所示， 7.4图的矩阵表示 7.4图的矩阵表示 简单有向G=V,E如图7.4.2(a)所示,它的邻接矩阵A 7.4图的矩阵表示 邻接矩阵可展示相应图的一些性质： (1)若邻接矩阵的元素全为零，则其对应的图是零图； (2)若邻接矩阵的元素除主对角线元素外全为1，则其对应的 图是连通的且为简单完全图。 (3)当给定的简单图是无向图时，邻接矩阵是对称矩阵； 反之，若给定任何对称矩阵A，显然可以惟一地作出以A为其邻接矩阵的简单图G。于是，所有n个结点的不同编序的简单图的集合与所有n阶对称矩阵的集合可建立一一对应。 (4)当给定的图是简单有向图时，其邻接矩阵并非一定是对称矩阵，但所有n个结点的不同编序的简单图的集合与所有n阶邻接矩阵的集合亦可建立一一对应。 7.4图的矩阵表示 通过对称矩阵元素的一些计算还可以得到对应图的 某些数量的特征。 (5)在给定简单有向图的邻接矩阵中，第i行元素是 由结点vi出发的弧所确定，故第i行中值为1的元素 数目等于结点vi的出度。 (6) 第j列中值为1的元素数目等于结点vj的入度。 d+(vi)= 和 d-(vj)= 7.4图的矩阵表示 定义7.4.2 给定图G=V，E，将其结点按下标编序 得V={v1，v2，…，vn}。定义一个n阶方阵P=(pij)， 其中 则称矩阵P是图G的可达矩阵。 7.4图的矩阵表示 可达矩阵表明了图中任意两结点间是否至少存在一 条链(或路)以及在结点处是否有圈(或回路)。 从图G的邻接矩阵A可以得到可达矩阵P，即令 Bn=A+A2+A3+…+An ， 再从Bn中非零元素改为1而零元素不变，这种变换后 的矩阵即是可达矩阵P。 7.4图的矩阵表示 例7.4.3 设图G的邻接矩阵A是 试求G的可达矩阵P。 7.4图的矩阵表示 定义7.4.3 给定无环的有向图D=V，E， V={v1，v2，…，vm}，E={e1，e2，…，en}，令 则称B=(bij)m×n是D的关联矩阵。 7.4图的矩阵表示 例如，图7.4.4所示的有向图的关联矩阵B(D)。 7.4图的矩阵表示 B(D)有如下性质： ①∑bij=0，j=1，2，…，n，表明矩阵中每列元素 之和为0，从而矩阵所有元素之和为0。 ②∑(+1)=∑(-1)=|E|，表明有向图的握手定理。 ③第i行中，∑(+1)=d+(vi)，|∑(-1)|=d-(vi)。 ④平行边所对应的列相同。 7.4图的矩阵表示 假设矩阵中的元素是属于布尔代数B,∧,∨,ˉ,0,1 的B中元素。其中B={0, 1},则称该矩阵为布尔矩阵。 显然邻接矩阵是一个布尔矩阵，同样可达矩阵也是 布尔矩阵。 下面定义两个布尔矩阵B与C的运算:令B与C的 布尔和、布尔积分别记为B∨C和B∧C，其定义为 (B∨C)ij=bij∨cij (B∧C)ij= ∨(bik∧ckj) i，j=1，2，…，n。其中bij，cij分别B和C的i行j列元素。