计算机数学基础课件教学课件作者刘树利17课件.pptVIP

第十七章　图? 论 ???例 17.3.1? 图17.3.1中有八个结点数为3的有向图。其中(a) 中是两个非连通图；(b) 中是两个弱连通图；(c) 中是两个单向连通图；(d) 中是两个强连通图。 定义17.14 一个有向图D=〈V，E〉，若忽略其边的方向后，得到的无向图是连通的，则称D是弱连通的。否则称D为非连通的。若D中任意两点u，v都有从u可达v、或从v可达u，则称D 是单向连通的；若D 中每一点u均可达其他任一点v，则称D是强连通的。 ?? 很显然，在有向图中，强连通图是单向连通的，也是弱连通的。同样，一个单向连通图必是弱连通的。但反之则不然，弱连通图不一定是单向连通的或强连通的，单向连通图也不一定是强连通的。 定义17.15 在有向图D中，具有极大强连通的子图，称为D的一个强分图；具有极大单向连通性的子图，称为D的一个单向分图；具有极大弱连通性的子图，称为D的一个弱分图。强分图的定义中，“极大”的含义是：对该子图再加入其他结点，它便不再具有强连通性。对单向分图、弱分图也类似。 ???例17.3.2??? 图17.3.2中，点集｛c，f，g，d，h｝的导出子图为强分图。｛a，b，e｝的导出子图仅为单向分图。弱分图只有一个就是图自身。 定理17.5 ??有向图D是强连通的，当且仅当D中存在一条包含D中所有点的有向闭通道。 证? (1) “充分性”D中有一条包含了D中所有点的有向闭通道，则D中任一点u沿此通道前进，可达其他任一点v，因此D是强连通的。 (2) “必要性”若D是强连通的，从D中任一点v1出发，可达其他点v2，再从v2可达v3，…，至最后一点v n，最后从v n可达v1，这就是一条包含了所有点的有向闭通道。故，定理得证。 证毕. 定理17.6 ??有向图D中，它的每个结点位于且只位于一个强连通分图中。 ? 17.4 无向图的矩阵表示 定义17.16 设无向图G=〈V，E〉的结点集V=｛v1，v2，…，v n｝.若n 阶方阵 A(G)=(a ij)n 满足条件： ???? 则称A(G)为图G的点邻接矩阵，简称邻接矩阵。 ??? 邻接矩阵可以完全描述一个图。给定一个邻接矩阵，就能够确定一个图。由于无向图中，点的邻接关系是对称的，邻接矩阵一定是对称阵。我们所研究的图为简单图，所以邻接矩阵主对角线上元素全为0。无向图的邻接矩阵中，行元素之和等于相应点的度。通过以下例题我们可以明显看出，邻接矩阵的这些特点。 定理17.7 ??若A(G)是无向图G的邻接矩阵，Y=(A(G))k(k∈N)，则Y中元素y ij表示从结点vi到结点v j的长为k的通道的数目。 定义：17.17 ?G=〈V，E〉为无向图，V=｛v1，v2，…，v n｝，E=｛l1，l2，…，l n｝。若n×m的矩阵M(G)=(b ij)n×m满足 ??? 则矩阵M(G)称为图G的点边关联矩阵，简称关联矩阵。??? 关联矩阵也可以完全描述一个图。关联矩阵中的每一行对应图中的一个点，每一列对应图中的一条边。每行元素之和为相应点的度，每列则恰有两个非0元素。 ? 17. 5 有向图的矩阵表示 定义：17.18 D=〈V，E〉是有向图，V=｛v1，v2，…，v n｝，若n阶方阵A(D)=(a ij) n满足 ??? 则称A(D)为D的邻接矩阵。 ??? 与无向图的邻接矩阵相同，有向图的邻接矩阵完全描述了一个有向图。由于有向图中边为有向边，故其邻接矩阵不一定是对称阵，只有两点间的边均成对出现，矩阵才是对称的。 ?????? D的邻接矩阵A(D)中每一行元素之和，表示相应点的出度，每一列元素的和表示相应点的入度。只有当第i 行、i 列元素全为0时，所对应点vi不与任何边关联，即孤立点。 ???例17.5.1? 有向图D=〈V，E〉的关联矩阵为 则有向图的图形可见图17.5.1。 ??? 与无向图的邻接矩阵类似，我们也可通过有向图的邻接矩阵来研究有向图中两点之间通道的数量。 定理17.8 ??若A(D)是有向图D=〈V，E〉的邻接矩阵，Y=(A(D))k，(k∈N)，则Y中元素 y ij表示从点vi至点v j的长为k 的有向通道的数目。 ???例 17.5.1 中的有向图D=〈V，E〉的邻接矩阵为A(D)， ?? 由此可见，从v1至v3的长度为2的通道有一条，从v3至v1的长度为3的通道有2条，通过v3点长度为4的闭通道有2条。 定义：17.19 D=〈V，E〉是有向图，V=｛v1，v2，…，v n｝，E=｛l1，l2，…，lm｝。若n×m矩阵M(D)=