《离散数学教学资料》带权图及其应用.pptVIP

货郎问题(TSP) 货郎问题(Travling Salesman Problem): 给定n个城市之间的所有距离, 求推销员走遍所有城市的最短路线 又名旅行商问题,巡回售货员问题,TSP TSP: 给定带权完全图G=V,E,W,求最短哈密顿回路. 可行(efficient)算法 可行(efficient)算法: 复杂性是多项式函数的算法, 如O(n2), O(n), O(n3), O(n100). 易解(tractable)问题: 存在多项式复杂性算法的问题, 如欧拉图问题 P(polynomial time): 存在多项式时间复杂性算法的问题, 如欧拉图问题 难解(intractable)问题: 不存在多项式复杂性算法的问题, 如货郎问题(TSP) TSP的复杂性 蛮力法: 穷举所有的可能性来进行验证或比较, 复杂性为2n以上. TSP: n!条H通路, (n-1)!/2条H回路 目前还不知道TSP是否有多项式时间算法, 大多数学者认为没有. 证明? P=?NP问题: 计算机科学的核心问题, 奖金$1,000,000 近似算法 TSP的近似算法 最邻近算法：每次都寻找最近的顶点 最小生成树法：在加重边的最小生成树上找欧拉回路，去掉重复顶点 最小权匹配法：与最小生成树法类似，区别是只在最小完美匹配所包含的边上加重边。 * * 《集合论与图论》第26讲 《集合论与图论》第26讲 《集合论与图论》第26讲 《集合论与图论》第26讲 《集合论与图论》第26讲 《集合论与图论》第26讲 《集合论与图论》第26讲 《集合论与图论》第26讲 第十四章 带权图及其应用 带权图 带权图: G=V,E,W, W:E?R, W(e)称为e的权 A B F E C D 5 10 9 3 8 14 4 5 6 最短路径问题 （点对点最快到达） 关键路径问题 （提高工作进程效率） 中国邮递员问题 （边遍历的最优方案） 最小生成树问题 (最小的联通方案) 最优树问题 （最高效编码） 货郎担（旅行商）问题 （点遍历的最优方案） 单源最短路径问题 单源最短路径问题: 给定带权图G(有向或无向)和顶点s, 求从s到其余顶点的最短路径 所有顶点之间最短路径问题: 给定带权图G(有向或无向), 求G所有顶点对之间的最短路径 带权图路径长度: 路径上所有边的权值之和 W(P)=?e?E(P)W(e) Dijkstra算法: E.W.Dijkstra,1959 Dijkstra算法(例) 1 2 3 4 5 7 4 2 1 3 4 2 5 s 遍 距离 未确定点 选 更新 1 0,?,?,?,? 1,2,3,4,5 1 d(2)=7,d(3)=4 2 0,7,4,?,? 2,3,4,5 3 d(2)=min{7,4+2}=6, d(5)=9, 3 0,6,4,?,9 2,4,5 2 d(4)=9, d(5)=min{9,6+1}=7 4 0,6,4,9,7 4,5 5 d(3)=min{4,7+2}=4 5 0,6,4,9,7 4 4 d(5)=min{7,9+4}=7 + 例14.1 从未选定点中选择当前到出发点距离最短得点 基于该点重新计算所有点到出发点的距离，若 缩短了则更新一下 将该点变为已选定点 关键路径问题 PERT图: 起点 / 终点 / 每个中间点都在起点到终点的路径上 关键路径：起点到终点的最长路径 最早完成时间：某顶点最早可能完成的时间 最晚完成时间：保证按期完工前提下，某顶点最晚完成时间 关键路径的寻找：最早和最晚完成时间相同的顶点。 最小生成树问题 避圈法： 在不形成回路的前提下，每次找最短边 破圈法： 每次去掉某个圈中的最大边 前缀码(prefix code) 前缀码: 码字互相不为前缀的不等长编码 前缀码与二叉树对应 例:{0,1,2,3}编码为 {00,010,011,1} 收到000111,译为 023 0 0 0 1 1 1 00 010 011 1 最佳前缀码 最佳前缀码: 给定信号出现频率, 平均码字长度最短的前缀码 平均码字长度: 码字长度乘以频率,求和 例: {0,1,2,3}, 40%, 30%, 20%,10%, 编码1: {00,010,011,1}, 2?40%+3?30%+3?20%+1?10%=2.4 编码2: {1,00,010,011}, 1?40%+2?30%+3?20%+3?10%=1.9 最优二叉树 带权二叉树: 每个树叶vi都指定实数权wi 带权二叉树的权: W(T)=?ti=1wiL(vi), 树叶是v1,v2,…,vt, 对应的层数是L(v1),L(v2),…,