中科院算法课程第6-1节-图算法-最小生成树.pptVIP

* * 电子与通信工程学院 qxye@gucas.ac.cn 第6.1节 最小生成树Mining Spanning Tree * 6.1.1 图的表示 6.1.2 Kruskal算法 6.1.3 Prim 算法 6.1.4 Object Representation 应用例 提纲 * * 6.1.1 图的表示 图 G(V, E) 表示以V为顶点集，以E为边集的图 常用|V|, |E|表示图的输入规模 1 5 2 4 3 1 4 2 5 3 6 无向图 有向图 6.1.1 图的表示 邻接矩阵与邻接表 1 5 2 4 3 无向图 有向图 1 2 3 4 5 2 1 2 2 4 5 3 4 3 1 5 4 5 2 1 2 3 4 5 2 5 6 2 4 4 5 6 6 1 4 2 5 3 6 0 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 2 3 4 5 1 2 3 4 5 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 3 4 5 6 1 2 3 4 5 6 |V|x|V| 6.1.1 图的表示 图 G(V, E) 表示以V为顶点集，以E为边集的图 常用|V|, |E|表示图的输入规模 问题的定义 优化解结构分析 Greedy选择性 Kruskal算法 算法复杂性 算法正确性证明 6.1.2 最小生成树问题 Minimal spanning tree 问题的定义 生成树 设G=(V, E)是一个边加权无向连通图. G的生成 树是无向树S=(V, T), T?E, 以下用T表示S. 如果 W: E?{实数} 是G的权函数, T的权值定 义为W(T)=?(u,v)?TW(u,v). 最小生成树 G的最小生成树是W(T)最小的G之生成树. 问题的定义 输入: 无向连通图G=(V, E), 权函数W 输出: G的最小生成树 例 B C A E D 70 60 80 50 90 75 300 200 B C A E D 70 50 90 300 B C A E D 70 80 50 300 B C A E D 70 60 80 50 算法过程 B C A E D 70 60 80 50 90 75 300 200 B C A E D 70 60 80 50 定理1. 设T是G的最小生成树. 如果T包含子树T1和T2, T1是G的子连通图G1的生成树，T2是G的子连通图G2的生成树，则T1是G1的最小 生成树，T2是G2的最小生成树. 证. 优化解的结构分析 u v T1 T2 T Greedy选择性 一般算法 初始: A为空集合 反复扩展边集合A, 直至A成为最小生成树 循环不变命题 每次循环算法要保持下边循环不变命题为真 “在每次循环前，A必是某个最小生成树的子集” 在每次循环中, 如果A?{(u, v)}是某个最小生成树 的子集，则称边(u, v)是安全边 一般算法的定义 Generic-MST(G, W) 1. A=?; /* 不变命题真 */ While A 不是生成树 Do /* 不变命题真 */ 寻找一个安全边(u, v); A=A?{ (u, v) }; Return A /* 不变命题真 */ 算法的关键是第三步, 寻找安全边(u, v) 寻找安全边的规则 定义1. 无向图G=(V, E)的一个划分是V的一个划分 (S, V-S). 定义2. 如果u?S, v?V-S, 则边(u, v)称为划分(S, V-S) 的交叉边. 定义3. 如果边集合A中没有边是划分(S, V-S)的交 叉边, 则称划分(S, V-S)尊重A. 定义4. 如果在所有(S, V-S)的交叉边中, (u, v)的权值 最小划分(S, V-S)的交叉边(u, v)称为轻边. 定义5.如果在满足该性质的边中, (u, v)的权值最小 边(u, v)是满足某性质的轻边. 示例 d e f g c i h a b S V-S 7 8 11 8 14 黄结点集合是S 浅蓝结点集合是V-S 蓝边是交叉边, 权为7的边是轻边 红边集合是受尊重的边集合 定理1. 设G=(V, E)是具有边加权函数W的无向连通图,