14.3图连通性与14.4图矩阵表示.pptVIP

14.2 通路、回路; 定义14.11（通路、回路） 给定图G，设G中顶点和边的交替序列 Г=v0e1v1e2…vi-1eivi…envn 若Г满足：对于i=1,2,…n，vi-1和vi是ei的端点（在G是有向图时，要求vi-1是ei的始点，vi是ei的终点），则称Г为从v0到vn的一条通路或链（chain）。 v0和vn分别称为此通路的起点和终点。 Г中边的数目n称为通路的长度(length) 当v0=vn时，此通路称为回路（circuit）; 有边重复出现的通路称为复杂通路；有边重复出现的回路称为复杂回路。 若通路中无边重复，则称该通路为简单通路；无边重复的回路称为简单回路。 若通路中无边重复且无顶点重复，则称该通路为初级通路或路径（path）；无边重复且无顶点重复的回路称为初级回路或圈（cycle）。 将长度为奇数的圈称为奇圈，长度为偶数的圈称为偶圈。 易见 （1）初级通路(回路)是简单通路(回路)，但反之不真。 （2）通路、回路是图的子图。;注意 （1）在无向图中，环和平行边构成的回路分别是长度为1和2的初级回路（圈）。 （2）在有向图中，环和两条方向相反边（对称边）构成的回路分别是长度为1和2的初级回路（圈）。;通路、回路的性质 定理14.5 在一个n阶图中，若从顶点vi到vj（vi?vj）存在通路，则从vi到vj存在长度小于等于n-1的通路。 推论 在一个n阶图中，若从顶点vi到vj（vi?vj）存在通路，则从vi到vj存在长度小于等于n-1的初级通路。 定理14.6在一个n阶图中，若存在vi到自身的回路，则从vi到自身存在长度小于等于n的回路。 推论 在一个n阶图中，若存在vi到自身的简单回路，则从vi到自身存在长度小于等于n的初级回路。 ;14.3 图的连通性; 首先讨论无向图的连通性。 定义14.12（连通） 在一个无向图G=V，E中，如果顶点u，v之间存在通路，则称u，v是连通的（connected），记作u?v。?v?V，规定v?v。 由连通的定义可以定义如下的无向图中顶点之间的连通关系: ?={u,v|u,v?V∧u与v之间有通路} 显然?是自反的、对称的、传递的，所以?是V上的等价关系。 ; 定义14.13（无向连通图） 若无向图G是平凡图或G中的任何两个顶点都是连通的，则称G是连通图（connected graph），否则称G为非连通图或分离图（disconnected graph）。 例：完全图Kn（n?1）为连通图， 零图Nn（n?2）都是分离图。; 定义14.14（连通分支） 设无向图G=V，E，V关于顶点之间的连通关系?的商集V/?={V1,V2,…,Vk}，Vi为等价类，称Vi的导出子图G[Vi]（i=1,2,…,k）为G的连通分支（connected component），连通分支数k常记为p(G)。 或 若无向图G由若干彼此不连通的子图组成，而每个子图是连通的，称这些子图为G的连通分支。 显然若G为连通图，则p(G)=1； 若G为非连通图，则p(G)?2； Nn（n?2）的连通分支为p(G)=n; 思考题 （1）n阶非连通的简单图的边数最多有多少条？最少呢？P289/P292-6(2) （2）证明：若无向图G中恰有两个奇度顶点，这两个奇度顶点必然连通。P291/P293-39 ; 下面讨论有向图的连通性 定义14.20在一个有向图D=V，E中，如果顶点u，v之间存在通路，则称u可达v，记作u→v。 规定任意的顶点总是可达自身的，即?u?V，u→u。 若u→v且v→u，则称u与v是相互可达的，记作u?v，规定u?u。; 有向图有三种不同类型的连通图 定义14.22（弱、单向、强连通图） 在一个有向图D中， 如果D的基图是连通图，则称D是弱连通图(weakly connected graph )。 如果对于任意的两个顶点u，v，u→v与v→u至少成立其一，则称D是单向连通图（unilateral connected graph ）。 如果对于任意的两个顶点u，v，均有u?v，则称D是强连通图（strongly connected graph ）。 说明：强连通图一