离散数学第五版第五章(耿素云屈婉玲张立昂编著).ppt

5.4 最短路径及关键路径 五、PERT图的定义 设D=V,E,W是n阶有向带权图，满足： D是简单图； D中无回路； 有一个顶点入度为０，称此顶点为发点；有一个顶点出度为０，称此顶点为收点； 记边vi,vj带的权为wij，它常表示时间； 则称D为PERT图。 5.4 最短路径及关键路径 六、最早完成时间的定义 自出发点(记为v1)开始沿最长路径(按权计算)到达vi所需要的时间，称vi的最早完成时间，记作TE(vi),i=1,2,…,n。 TE(v1)=0，vi(i?1)的最早完成时间可按如下公式计算：TE(vi)=max{TE(vj)+wij}，i=2,3,…,n 收点vn的最早完成时间TE(vn)，就是从v1到vn的最长路径的权。 5.4 最短路径及关键路径 七、最晚完成时间的定义 在保证收点vn的最早完成时间不增加的条件下，自v1最迟到达vi的时间称为vi的最晚完成时间，记作TL(vi)。 TL(vn)=TE(vn)，i?n时，vi的最晚完成时间由下面公式计算：TL(vi)=min(TL(vj)-wij)，i=1,2,…,n-1 5.4 最短路径及关键路径 八、缓冲时间的定义 每个顶点的最晚完成时间TL(vi)与最早完成时间TE(vi)的差为改点的缓冲时间ES(vi)。 ES(vi)=TL(vi)-TE(vi) 注：关键路径为缓冲时间为０的顶点。 * 5.2 通路、回路、图的连通性 四、回路相关定理(定理5.4) 在n阶图G中，若存在vi到自己的回路，则一定存在vi 到自身长度小于或等于n的回路。 推理：在n阶图G中，若存在vi到自己的回路，则一定 存在长度小于或等于n的初级回路。 5.2 通路、回路、图的连通性 例2：无向完全图Kn(n?3)中有几种非同构的圈？ 例3：无向完全图K3的顶点依次标定为a,b,c，在定义意义下K3中有过少个不同的圈？ 5.2 通路、回路、图的连通性 五、两点之间连通性的定义(定义5.12) （1）设无向图G=V,E，?u,v?V，若u,v之间存在通 路，则称u,v是连通的，记作u～v，?v?V，规 定v～v。 注：无向图中顶点之间的连通关系 ～={u,v|u,v?V 且 u与v之间有通路} ～是V上的等价关系。 5.3通路、回路、图的连通性 五、两点之间连通性的定义(定义5.12) （2）设有向图D=V,E，若从顶点u到v存在通路，则 称u可达v，则记作u?v。规定v到自身总是可达 的。若u?v且v?u则称vi与vj是相互可达的，记 作u?v，规定v?v。 注：有向图中顶点之间的相互可达关系 ?={u,v|u,v?V ? u?v ? v?u} ?是V上的等价关系。 5.2通路、回路、图的连通性 六、两点之间距离的定义 （1）设无向图G=V,E，?u,v?V，若u,v是连通的,则 称u与v之间长度最短的通路为u,v之间的短程线， 短程线的长度称为u与v之间的距离，记作d(u,v)。 （2）设有向图D=V,E，?u,v?V，若u可达v，则称从u 到v长度最短的通路为u到v之间的短程线，短程线 的长度称为u到v的距离，记作du,v。 5.2通路、回路、图的连通性 注：完全图Kn(n?1)都是连通图，而零图Nn(n?2)都是分离图。 七、连通图的定义(定义5.13) （1）若无向图G是平凡图或G中任何两个顶点都是连通 的，则称G为连通图，否则称G为非连通图。 5.2通路、回路、图的连通性 例4：指出下列图是否为连通图？ ?1 ?2 ?4 ?3 ?0 (1) ?1 ?2 ?4 ?3 ?0 (2) ?7 ?8 ?5 (4) ?1 ?0 ?2 ?3 ?4 (3) ?1 ?0 ?2 ?3 ?4 ?7 5.2 通路、回路、图的连通性 八、连通图的定义(定义5.14) （2）若D=V,E为一个有向图。若D的基图是连通图， 则称D是弱连通图，简称为连通图。若?vi,vj?V， vi?vj与vj?vi至少成立其一，则称D是单向连通 图。若均有vi?vj，则称D是强连通图。 5.2 通路、回路、图的连通性 例５：指出下列图是否为连通图？ ?1 ?2 ?4 ?3 ?0 (1) ?1 ?2 ?4 ?3 ?0 (2) ?7 ?8 ?5 (3) (4) (5) 5.2 通路、回路、图的连通性 九、连通分支的定义 设无向图G=V,E，V关于顶点之间的连通关系～的商 集V/～={V1，V2，……，Vk}，Vi为等价类，称导出子 图G[Vi](i=1,2,……,k)为G的连通分支，