floyed应该是大家接触最短路首先了解到的算法,简单的四行代码,却能把所有点对之间的最短距离求出来,相信很多人刚刚接触到这个算法时,没有深刻理解算法的原理~~~
我写这篇文章是源于南宁区域赛热身赛的一道题目,由于对此算法理解不透彻,比赛时候没有能将一道变形题做出来,于是比赛结束后再次思考了这个算法,得到了一些收获,于是写下了这篇文章~~
for(int k=1;k<=n;k++)
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
dp[i][j]=min(dp[i][j],dp[i][k]+dp[k][j]);
主要的操作对点的松弛操作很容易理解,给人咋一看的感觉就是对于每一个点对之间对于所有点都松弛一边,但算法的正确性却并不是那么容易的证明~
首先引入这样一种请况:
对于一张图,已知原图中各个点对之间的最短距离,现在加入一个新的点和与该图相连的若干边,求加入之后新图各个点对之间的最短距离。
首先对于新加的点,我们可以在新图跑一边最短路求出该点到原集合中每一个点的最短距离,在其逆图上跑一边最短路求出原集合中的每一个点到该点的最短距离~
那么此点到原集合中每一个点之间的最短距离都是正确的,但是对于原集合中的每一个点对之间的最短距离,可能能通过松弛此点从而距离变短,所以原集合中的每一个点对之间的距离还应该更新一遍。
for(int i=1;i<=