12 / 2 页下一页

查看: 5923|回复: 12

[问题求助] 最短路径中的Floyd算法（弗洛伊德算法）的较为严格的冥想证明过程

[复制链接]

字体大小: 正常放大

释永思

23 主题	13 听众	146 积分

升级 23%

TA的每日心情

	难过 2016-5-14 14:04

签到天数: 18 天

[LV.4]偶尔看看III

自我介绍: 软件开发工程师

电梯直达

1^#

发表于 2015-10-31 13:45 |只看该作者 |倒序浏览

|招呼Ta 关注Ta

=========================================
最短路径中的Floyd算法（弗洛伊德算法）的较为严格的冥想证明过程：
仍用数学归纳法，
假设N<=n时，弗法正确。具体值我就不验证了。
当N=n+1时，假设最新一点最后一点为K，此时K=n+1，
三重循环中，我们都把K排在循环中的最后一位。
现在我们要证明的是，加上新点K点后，经过弗法的三重循环，原来的n点之间仍是最短距离，但是n点与K点之间的短离是不是最短的就不知的。
如果原来的n点的某两点之间最短距是与K点无关的，显然经过三重循环后，就是最短距了。
如果原来的n点的某两点之间最短距是经过K点的，假设P1，P2,P3,,,Pk-1,Pk,Pk+1,,,Pm本应是实边最短距，不是虚边最短距。
那么由弗法知，P1,P2,P3,,,Pk-1与PK+1，，，，Pm已是连通的最短路了。且Pk-1Pk与PKPK+1是原始实边，不是虚边。
经过最外层最后一次循环的松驰操作，必能连通P1，P2,P3,,,Pk-1,Pk,Pk+1,,,Pm。
所以得证：加上新点K点后，经过弗法的三重循环，原来的n点之间仍是最短距离，但是n点与K点之间的短离是不是最短的就不知的。
由于对称性，将K点置入内部，把P1点放到最后一点，原来的循环结果不会变的，
所以三重循环后，K点与原来的点（除P1外）的最短距，就可以求出来了。
由于对称性，将K点置入内部，把P2点放到最后一点，原来的循环结果不会变的，
所以三重循环后，K点与原来的点（除P2外，但P1不除外）的最短距，就可以求出来了。
所以K点与原来的n个点的最短距，也就已经求出来的了，仍是原来的三重循环也。
这样，弗法就可以较为严格的证明了。
=========================================
为何假设P1，P2,P3,,,Pk-1,Pk,Pk+1,,,Pm本应是实边最短距，不是虚边最短距？？？
如果是虚边最短距，也可以转化成实边最短距，然后结果一样的。
=========================================

zan

转播0 淘帖0 分享0 收藏0 支持0 反对0 微信

使用道具举报

释永思

23 主题	13 听众	146 积分

升级 23%

TA的每日心情

	难过 2016-5-14 14:04

签到天数: 18 天

[LV.4]偶尔看看III

自我介绍: 软件开发工程师

2^#

发表于 2015-11-4 14:03 |只看该作者 |招呼Ta 关注Ta

忽然想到，上面的证明中有一点未严格证明，就是，要证明弗法的三重循环与N个顶点的排序次序无关，例如for i=1 to n 与 for i=n to 1等次序无关，我没能证明这点。现在十分疲劳，没有余力思考这点。

我也说一句

发表

使用道具举报

释永思

23 主题	13 听众	146 积分

升级 23%

TA的每日心情

	难过 2016-5-14 14:04

签到天数: 18 天

[LV.4]偶尔看看III

自我介绍: 软件开发工程师

3^#

发表于 2015-11-5 10:47 |只看该作者 |招呼Ta 关注Ta

谁人能证明弗洛伊德算法的三重循环与循环中的次序无关？我没有余力思考，我太疲劳了，我也不知如何证明，求助了。例如要证明弗法中，for i=1 to n 与for i=n to 1或次序混乱也是无关的。这个我无法证明，用数学归纳法也一时想不出来。求助，我太疲劳了，要休息，一时没有余力思考研究。这个也是我一时想到的，弗法无边，永思不尽。