第九章 图的基本概念 离散数学及其应用课件.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 点连通度与边连通度 定义9.17 G为连通非完全图, 称 ?(G) = min{ |V ?|?V ?为点割集 } 为G的点连通度, 简称连通度. 若?(G)?k，则称G为 k-连通图 . 规定 ?(Kn) = n?1, 非连通图的连通度为0.? 定义9.18 设G为连通图, 称 ?(G) = min{|E?|?E?为边割集} 为G的边连通度. 若?(G)?r，则称G是 r 边-连通图. 规定非连通图的边连通度为0. v1 v2 v3 v4 v5 e1 e2 e3 e4 e5 e6 e7 例 ?=2, 2-连通图, 也是1-连通. ?=2, 2边-连通图, 也是1边-连通. * 几点说明 ?(Kn)=?(Kn)=n?1 G非连通，则 ?=?=0 若G中有割点，则?=1，若有桥，则?=1 若?(G)=k, 则G是1-连通图，2-连通图，…，k-连通图，但不是(k+s)-连通图，s?1 若?(G)=r, 则G是1边-连通图，2边-连通图，…，r边-连通图，但不是(r+s)-边连通图，s?1 定理9.6 ?(G)??(G)??(G) * 有向图的连通性及分类 定义9.19 设D=V,E为一个有向图, ?vi,vj?V, 若从vi到vj存在 通路, 则称vi可达vj, 记作vi?vj . 规定vi ?vi. 若vi?vj且vj?vi， 则称vi与vj是相互可达的, 记作vi?vj. 规定vi?vi． 性质: ? 具有自反性(vi ? vi)、传递性 ? 具有自反性、对称性、传递性 定义9.20 若有向图D=V,E)的基图是连通图, 则称D是弱连通 图, 简称为连通图. 若?vi,vj?V, vi?vj与vj?vi至少有一个成立， 则称 D是单向连通图. 若?vi,vj?V, 均有vi?vj, 则称D是强连 通图． * 有向图的连通性 强连通 单向连通 弱连通 定理9.7 有向图D=V,E是强连通图当且仅当D中存在经过每个顶点至少一次的回路． 证 充分性显然. 证必要性. 设V={v1,v2,?,vn}, ?i为vi到vi+1的通路( i=1,2,…,n?1), ?n为vn到v1的通路. 依次连接?1, ?2, …, ?n?1, ?n所得到的回路经过D中每个顶点至少一次． 定理9.8 有向图D是单向连通图当且仅当D中存在经过每个顶点至少一次的通路． 例 扩大路径法 设G=V,E为无向图, ? 为G中一条路径. 若此路径的两个端 点都不与通路外的顶点相邻, 则称? 是极大路径. 任取一条边, 如果它有一个端点与其他的顶点相邻, 就将这条 边延伸到这个顶点. 继续这一过程, 直至得到一条极大路径为 止. 称此种方法为“扩大路径法”. 用扩大路径法总可以得到 一条极大路径. 在有向图中可类似讨论. 例 由一条路径扩大出的极大路径不惟一，极大路径不一定是 最长的路径 * 扩大路径法的应用 例4 设 G 为 n（n?3）阶无向简单图，? ? 2，证明G 中存在 长度 ? ?+1 的圈. 证 设 ? = v0v1…vl 是一条极大路径, 则 l ? ?. 因为v0 不与 ? 外 顶点相邻, 又 d(v0) ? ?, 因而在 ?上除 v1外, 至少还存在??1个 顶点与 v0 相邻. 设 vx 是离 v0 最远的顶点, 于是v0v1…vxv0 为 G 中长度 ? ?+1 的圈. * 9.4 图的矩阵表示 无向图的关联矩阵 定义9.21 无向图G=V,E，|V|=n，|E|=m，令 mij为 vi 与 ej 的关联次数，称(mij)n?m为G 的关联矩阵，记为M(G). 例 * 无向图关联矩阵的性质 * 定义9.22 设有向图D=V,E中无环，令 则称 (mij)n?m为D的关联矩阵，记为M(D). 例 有向图(无环)的关联矩阵 * (1) 每列恰好有一个+1和一个-1． (2) -1的个数等于+1的个数，都等于边数m. 第i行中，+1的个数等于d+(vi)，-1的个数等于d?(vi)． (4) 平行边对应的列相同 有向图关联矩阵的性质 * 有向图的邻接矩阵 定义9.23 设有向图D=V,E, V={v1, v2, …, vn}, 令 为