算法设与分析第9讲 最短路径.pptVIP

贪心方法 忍叁聂郝狙终拘挪枯两想苞蝉澡聂冕未龚擅袋夷葛寒峨压愉伯澎逻折淄彝算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 单源最短路径问题 路径：有向带权连通图，G=(V,E), w:E-R, P=v1-v2-…-vk 具有权和，w(p)=∑i=1~k-1 w(vi,vi+1) u和v间最短路径： δ(u,v)=min w(p), v1=u,vk=v 为保证存在最短路径，假设所有权值为正。 6 12 5 15 9 7 10 8 14 3 u v 被习核脾盘燎前琐瞳苑拌融松赛廖琢沛悬健排舔焚太附证芋勤潞什蔑炎钎算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 最优子结构特点 IF u--v是最短，则x--y也是最短路径 u x y v 证明： cut-paste,反证法，如果x—y不是最短，则存在另一条路径x**y更短，那么u--x + x**y+y--v是一条比u--v更短的路径, 从而与u--v是最短路径矛盾。 同时，还满足重叠子结构特点，因此可用动态规划。 但我们还是用贪心方法 猫语惧棋怯女洽灾妇捌谦削挥及拟骗滑篡鼓辗冒互簿溯祸裳撇旅畸祈榔隔算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 三角不等式 对所有的顶点，u,v,x ∈V, δ(u,v)= δ(u,x)+δ(x,v) u x y δ(u,v) 是最短路径，当然不会比u,x,y这条路径更长 啄姨踊筋鹃陨墟妖亦于菠譬淑焦循穴制侧恋威旗店孩耪粗皱馁养殃袭吱锥算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 单源最短路径问题 给定源点s ∈V, 寻找最短路径δ(s,v),v为任意 思路： 1 维持一个定点集合S,其中的估算最短距离已经解出。s是第一个点。 2 每一步，将V-S中估算距离最小的点加入S(贪心选择) 3 更新估算距离 震萌吮跑蒸惫与休搁倒丢坡骗堰临毕婿焉怒御崩宪普堡之毡真拆滑言襟缚算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 Dijkstra算法 Dijkstra(G, w, s) d(s)=0, d(V-s)=∞,S=Null, Q=V//d估算距离 while Q=null do u=min_extract(Q) S=S +{u} for each v=Adj[u] if d[v]d[u]+w(u,v) // 松弛操作 then d[v]=d[u]+w(u,v) 我们要证明 最后的d[v],就是最短距离。 言漫张川哟割鉴孝踌嘶鼠僻瑶等焕券低稀触匙瘪诲母怕硷乱拂墅酌耳贯现算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 一个例子 千祟惦豫太鬼秋谱码此莹执酗颁赢搅层邓其寡郧效损警炎乃抢诵惩凹纬吨算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 正确性引理1 每一步松弛操作前后，都保证 d[v]= δ(s,v) 证明：归纳法。初始：d[s]=0,d[V-s]=∞,故满足。 假设某次松弛操作v之前的都是满足的,而 d[v]=d[u]+w(u,v)= δ(s,u)+ δ(u,v)= δ(s,v). 萧汪霜版谱磐忽劈买咏婶五败鲸跳湾垢浑惩洛畦印械共郑絮简挣耽咬往臂算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 正确引理2 假如s-----u-v是最短路径，如果 d[u]= δ(s,u),那么松弛(u,v)后，d[v]= δ(s,v) 证明：δ(s,v)＝δ(s,u)+w(u,v)=d[u]+w(u,v)=d[v] 鸯耿儒誉喇腕卒噪勘掂答滥狡失扰鬃秃二椎贫殿帽触阅川酥辛宁礼说岔浚算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 正确性引理3 到Dijkstra算法结束时，d[v]= δ(s,v) 证明： 假设在u之前，加入S的点，都满足了d[v]= δ(s,v).现在加入u。选取一条最短路径(s,u), y是第一次出S,x是前一点。P(s,y) =δ(s,v)(最优子结构). x满足d[x]= δ(s,x)（归纳假设），故在松弛x时，d[y]= δ(s,y)(引理2).如u就是y，则归纳成功。如果u不是y,则因为y在外面，而现在加入u,说明d[u]d[y],而d[u] δ(s,u] δ(s,y)=d[y]矛盾 s x y u S 董典趋携弱呕径汉眉忠倘吓尾钱帕独了褒圆媳谎主卸杀乔烷羊兼界制竭雀算法设计与分析第9讲 最短路径算法设计与分析第9讲 最短路径 复杂性分析 跟最小生成树一个结构； Time =θ(V+V textract + E tdeckey) Q 用不同的结构，时间有所区别 textract tdeckey Time 数组