离散数学(第21讲).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是强连通图（当然它也是单向连通图和弱连通图）；