运筹学第7章图与网络优化.pptVIP

斯坦纳比的证明（3）*明于1990年10月在会议上正式公开，《纽约时报》立刻做了报道。接着《科学》杂志、《科学新闻》《新科学论》《SLAM新闻》等报刊上出现了许多报道。值得提及的《SLAM新闻》在头版上用了个有趣的“在计算机时代欧氏几何的欧氏平面上n点的集合←→2n-3维空间的点力与运气”。在《不列颠百科全书1992年鉴》中，该证明进一步被列为入选的6项数学成果的第一项。因此，堵丁柱也荣获了中国科学院自然科学一等奖、国家科技进步二等奖和中国青年科学家奖等殊荣。7.3最短路问题p185*4.5.1.2狄克斯特拉算法(Dijkstraalgorithm,1959)计算两节点之间或一个节点到所有节点之间的最短路令dij表示vi到vj的直接距离(两点之间有边)，若两点之间没有边，则令dij=?；令dii=0，s表示始点，t表示终点0、令始点Ts=0，并用框框住，所有其它节点临时标记Tj=?；1、从vs出发，对其相邻节点vj1进行临时标记，有Tj1=ds,j1；2、在所有临时标记中找出最小者，并框住作为永久标记，设其为vr，加粗该边。若此时全部节点都是永久标记，算法结束；否则到下一步；3、从新的永久标记节点vr出发，对其相邻的临时标记节点进行再标记，设vj2为其相邻节点，则Tj2=min{Tj2,Tr+dr,j2}，返回第2步。例1狄克斯特拉算法*0??????815101215113113最短路问题的标号过程*Dijkstra算法的基本思想：若{vs,v1,…,vk}是从vs到vk的最短路，则{vs,v1,…,vi}是从vs到vi的最短路。T(临时)标号：从vs到某一节点最短距离的上界。P(永久)标号：从vs到某一节点的最短距离。321步骤：*若节点vi是刚得到P标号的点。把与vi有弧(边)直接相连而且有属于T标号的节点，改为下列T标号给vs标上永久标号P(vs)=0，其余节点标上临时标号T(vj)=∞把T标号中标号最小的节点vj0的临时标号T(vj0)改为P(vj0),直至算法终止;否则转(1)T(vj)=min{T(vj),P(vi)+dij}*例求节点v1到节点v5的最短距离及其路线vSv1v2v3v4v5122233344[解]P(vs)=0T(vj)=∞,j=1,…,5第一步：T(v1)=min{T(v1),P(vs)+ds1}=min{∞,0+4}=4(1)与节点vs直接相连的临时标号的节点为v1,v2，将这两个节点的临时标号改为T(v2)=min{T(v2),P(vs)+ds2}=min{∞,0+3}=30∞∞∞∞∞*(2)在所有T标号中，最小的为T(v2)=3,于是令P(v2)=3vSv1v2v3v4v51222333440∞∞43第二步：(1)与节点v2直接相连的临时标号的节点为V1和v4，把这两个节点的T标号改为T(v1)=min{T(v1),P(v2)+d21}=min{4,3+2}=4T(v4)=min{T(v4),P(v2)+d24}=min{∞,3+2}=5(2).在所有T变化中，T(v1)=4最小，于是令P(v1)=4∞5第三步：*(1).与节点v1相连的临时标号的节点为v3,v4，把这两个节点的T标号改为T(v3)=min{T(v3),P(v1)+d13}=min{∞,4+3}=7T(v4)=min{T(v4),P(v1)+d14}=min{5,4+1}=5(2).在T标号中，T(v4)=5最小，令P(v4)=5vSv1v2v3v4v51222333440∞453∞7第四步：*(1).与节点v4相连的T标号有v3,v5把这两个节点的T标号改为T(v3)=min{T(v3),P(v4)+d43}=min{7,5+2}=7T(v5)=min{T(v5),P(v5)+d45}=min{∞,5+4}=9vSv1v2v3v4v51222333440∞45379(2).T(v3)最小,P(v3)=7(1).与v3相连的临时标号有v5*第五步：T(v5)=min{T(v5),P(v3)+d35}=min{9,7+3}=9(2).P(v5)=9最短路线：vs→v1→v4