路径松弛性质

对于图G(V,E),如果p=<v0,v1,v2,…,vk>是s=v0到vk的最短路径，而且按照(v0,v1)(v1,v2),…,(vk-1,vk)的顺序进行松弛，那么d[vk]=δ(s,vk)。这个性质的保持并不受到其他松弛操作的影响，即使他们与p的边上的松弛操作混合在一起也是一样的。

通过归纳法可证：对于如上路径p， 有归纳基础 d[v0]=d[s]=0=δ(s,s)， 假设d[vi-1]=δ(s,vi-1)，并检查边(vi-1,vi)的松弛。 根据收敛性质，在这次松弛后即有d[vi]=δ(s,vi)！

收敛性质:如果在松弛边(u,v)之前，已有d[u]=δ(s,u)。那么，根据上界性质这个等式不会在后继操作变化！根据松弛定理，在松弛(u,v)后有 d[v]<=d[u]+w(u,v)=δ(s,u)+w(u,v)=δ(s,v) 又根据上界性质有 d[v]>=δ(s,v)，故而有的d[v]=δ(s,v)！ //这里是否有什么问题？注：因为证明的前提描述说明了p(s,v)的最短路需要经过u，所以成立！如不经过u，必存在一条最短路p'，所有的描述必基于p'！由于最短路具有最优子结构性质，故而p'的前缀路径必定是一条最短路！

转载于:https://my.oschina.net/llmm/blog/186727