离散数学第2版王元元离散第18讲路径回路及连通性.ppt

路径、回路及连通性 拟路径及长度 定义：图G的顶点v1到顶点vl的拟路径是指以下顶点与边的序列：v1 , e1, v2, e2, v3, …, vl-1, el-1, vl v1 ,v2 ,v3 ,… ,vl-1 ,vl为G的顶点，e1 ,e2 ,… ,el-1 为G的边 ei( i= 1,2, … ,l-1 )以vi及vi+1为端点 对有向图G，ei以vi为起点，以vi+1为终点 上述拟路径的边数l-1称为该拟路径的长度 简单图或者无平行边的有向图可用顶点序列表示拟路径： 路径、闭路径、通路、回路 v1到顶点vl的拟路径是指以下顶点与边的序列：v1 , e1, v2, e2, v3, …, vl-1, el-1, vl 路径：ei(i=1,2, …, l-1)各不相同的拟路径 通路：vi(i=1,2, … ,l)各不相同 (除起点与终点)的路径 闭路径：v1=vl的路径 回路：v1=vl的通路 路径、闭路径、通路、回路 v1到顶点vl的拟路径是指以下顶点与边的序列：v1 , e1, v2, e2, v3, …, vl-1, el-1, vl 路径:当ei(i=1,2,…,l-1)各不相同的拟路径 通路:当vi(i=1,2,…,l)各不相同时(除起点与终点)的路径 闭路径:v1=vl的路径 回路:v1=vl的通路 通路、回路存在定理 定理：在有n个顶点的图G中，如果有从顶点u到v(u?v)的拟路径，那么从u到v必有路径，并且必有长度不大于n–1的通路。 定理：在具有n个顶点的图G中，如果有从v到v的闭路径，那么必定有一条从v到v的长度不大于n的回路。 定理8-4证明 证明： 先证u到v之间若有拟路径，则一定有通路 若G有从u到v的拟路径：(u = v1,v2,v3,…,vl-1, vl=v)，且没有vi＝vj(i,j = l，2，…, l)，则已是一条通路，且l≤n ； 若G有拟路径： (u = v1,v2,…,vi,…,vj,…,vl-1, vl=v) ，vi＝vj，则它可表示为 ：(u = v1 ,v2 ,…,vi, …, vi, …,vl-1 ,vl = v) 那么从中删去从vi+1到第二个vi之间的所有边及顶点，便得到一条从u到v的更短的拟路径(u = v1 ,v2 ,…vi, …,vl-1 ,vl = v) 然后重复上述讨论，直至没有边重复出现、没有顶点重复出现，从而得到从u到v的路径和长度不超过n – 1的通路。 可达与连通 称图中顶点u到v是可达的，如果有一条u到v的路径或者u =v。 称无向图G是连通的，如果对G的任何两个顶点u，v，u到v都是可达的。 称有向图G是强连通的，如果G的任何两个顶点都是相互可达的； 称有向图G是单向连通的，如果G的任何两个顶点中，至少从一个顶点到另一个顶点是可达的； 称有向图G是弱连通的，如果G的有向边被看作无向边时是连通的。 连通 u到v是可达的，如果有一条u到v的路径，或者u =v。 无向图是连通的，任何两个顶点u到v都是可达的。 有向图是强连通，任何两个顶点都是相互可达的； 有向图是单向连通的，任何两个顶点中，至少从一个顶点到另一个顶点是可达的； 有向图是弱连通的，有向边被看作无向边时是连通的。 连通分支 定义：在无向图G中，若至少存在两个节点是不可达的，则G是不连通的；如果G是不连通的，G’是G的子图，G’是连通的，并且不存在G的真子图G’’，使G’’是连通的，且G’’以G’为真子图， 则称G’是G的一个极大连通子图，或称是G的一个连通分支 强分图 定义：设G’为有向图G的子图，若 G’是强连通的，且G没有强连通的真子图G’’，以G’为其真子图，那么称G’为G的一个极大强连通子图，简称强分图 。 单向分图 定义：设G’为有向图G的子图，若 G’是单向连通的，且G没有单向连通的真子图G’’，使G’为其真子图，那么称G’为G的一个极大单向连通子图，简称单向分图。 弱分图 定义：设G’为有向图G的子图，若 G’是弱连通的，且G没有弱连通的真子图G’’，使G’为其真子图，那么称G’为G的一个极大弱连通子图，简称弱分图。 无向图连通性质 定理：一个图G是不连通的，当且仅当G的顶点集V可以分成两个不交的非空子集V1和V2，使得任何边都不以V1的一个顶点和V2一个顶点为其两端点。 无向图连通性质 定理： 如果图G恰有两个不同的奇数度的顶点u，v，那么u到v必定是可达的。 定理： 若图G为具有n个顶点、k个连通分支的简单图，那么G至多有(n-k)(n-k+1)/2 条边。 阅读P115 定理8-8证明 课堂练习 Kn(n>2)至少要删除多少条边，才能是不连通，且其中有一个连通分支恰有r（r<n）个顶点? Kn(n>2) 要删除多少个顶点，才能是不连通? 连通度 连