离散数学(讲)()课件.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 有向图的连通性 强连通图、单向连通图和弱连通图 强分图和弱分图 图的矩阵表示 邻接矩阵 道路矩阵（可达性矩阵） 关联矩阵 * 计算机学院 * 有向图的连通性 定义10.9 设u,v为有向图G＝<V,E>中的两个结点，若存在从结点u到结点v的道路，则称从结点u到结点v是可达的，记为u→v。对任意结点u，规定u→u。 　　有向图结点之间的可达关系具有自反性和传递性，但一般说来，可达关系没有对称性。例如右图中v3到v2可达，但v2到v3不可达。因此，可达关系不是等价关系。 v3 v1 v4 v2 * 计算机学院 * 强连通图、单向连通图 定义10.16 设有向图G＝<V,E>是连通图， 若G中任何一对结点之间至少有一个结点到另一个结点是可达的，则称G是单向连通图； 若G中任何一对结点之间都是相互可达的，则称G是强连通图。 若G的基图是连通的，则称G是弱连通图。 若有向图G是强连通图，则它必是单向连通图； 若有向图G是单向连通图，则它必是（弱）连通图。 一个有向图的基图是当去掉边的方向后得到的无向图（可含有平行边和环） * 计算机学院 * 例10-3.1 G1是弱连通图。 G2是单向连通图（当然它也是弱连通图）； G3是强连通图（当然它也是单向连通图和弱连通图）； v3 v1 G1 v4 v2 v3 v1 G2 v4 v2 v3 v1 G3 v4 v2 * 计算机学院 * 定理10.7 一个有向图G是强连通图当且仅当G中有一条 包含每一个结点的有向闭道路。 证明：“?”如G是强连通图，则任意两个结点之间都是相互可达的，设G＝<V，E>，V＝{v1,v２,v３,…,vｎ}，则v1到v2可达，v2到v3可达，v3到v4可达，……，vｎ-１到vｎ可达，vn到v1可达，由此可得到一条闭道路(v1，v２，v３，……，vｎ，v1)，它包含每个结点。 “?”如G中有一条包含每一个结点的有向闭道路，则G中任何两个结点沿着这条道路是相互可达的，故G为强连通图。 ■ * 计算机学院 * 弱分图、单向分图、强分图 定义10.17 在有向图G＝<V,E>中，设G′是G的 子图，如果 　1）G′是强连通的（单向连通的、弱连通的）； 　2）对任意G〞?G，若G′?G〞，则G〞不是强连通的（单向连通的、弱连通的）。 那么称G′为G的强分图（单向分图、弱分图）。 定理10.8 在简单有向图G＝<V，E>中，它的每一个结点位于且仅位于一个强分图中。 此条件表明了G′的极大性 事实上,相互可达是V上的一个等价关系。 * 计算机学院 * 例10-3.2 在图G1中， 由{v2}，{v6}和{v1,v3,v4,v5,v7}导出的子图都是强连通分支； 由{v1,v2,v3,v4,v5,v7}和{v1,v3,v4,v5,v6,v7}导出的子图都是单向连通分支； G1本身为弱连通分支。 在图G中， 由{v1}，{v2}，{v3}，{v4}和{v5,v6,v7}导出的子图都是强分图； 由{v1,v2,v4}，{v1,v3,v4}和{v5,v6,v7}导出的子图都是单向分图； 由{v1,v2,v3,v4}和{v5,v6,v7}导出的子图都是弱分图。 v3 v1 G v4 v2 v7 v5 v6 * 计算机学院 * 图的矩阵表示 定义9.18 设G＝<V,E>是一个简单有向图， V＝{v1,v2,…,vn}，则n阶方阵A＝(aij)n?n称为G的邻接矩阵。其中： 邻接矩阵是一个布尔矩阵 无向图的邻接矩阵是对称的 而有向图的邻接矩阵不一定对称 图的矩阵表示主要有两种形式：邻接矩阵常用于研究图的各种道路问题；关联矩阵常用于研究子图的问题。 * 计算机学院 * 例10-4.1 邻接矩阵： 当改变图的结点编号的顺序时，可得到图的不同的邻接矩阵，如：v2,v3,v1,v4 v4 v1 G1 v3 v2 v1 v3 v2 v4 G2 * 计算机学院 * 邻接矩阵的性质 设G＝<V，E>是一个有向图，则有： 当有向图代表关系时，其邻接矩阵就是前面讲介绍过的关系矩阵。 零图的邻接矩阵的元素全为零，并称它为零矩阵。 图的每一结点都有自回路而再无其他边时，则该图的邻接矩阵是单位矩阵。 简单图的邻接矩阵主对角元全为零。 设无向图G＝<V,E>，V＝{v1,v2,…,vn}的邻接矩阵A＝(aij)n×n，则 为什么要多加一个aii * 计算机学院 * 设有向图G＝<V,E>，V＝{v1,v2,…,vn}的邻接矩阵A＝(aij)n×n，则 设图G＝<V,E>，V＝{v1,v2,…,vn}的邻接矩阵A＝(aij)n×n，则aij表示从结点vi到结点vj