多源最短路小结

Floyd算法：

　　状态：d[k,i,j]表示经过若干个编号不超过k的结点从i到j的最短路，

　　转移：可以由经过不超过k-1的点从i到j的最短路，或者从i到k，再从k到j两种状态转移得到，

　　　　　那么d[k,i,j]=min(d[k-1,i,j],d[k-1,i,k]+d[k-1,k,j])

　　初始状态：d[0,i,j]=mp[i][j]

k是阶段，i，j是状态

for(int k=1;k<=n;k++)
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            d[i][j]=min(d[i][j],d[i][k]+d[k][j]);

传递闭包：在交际网络中，给定n个元素的若干二元关系，且关系具有传递性，通过传递性推导出尽可能多的元素之间的关系，称为传递闭包

d[i][j]=0|1 表示i，j之间 无|有 关系

for(int k=1;k<=n;k++)
    for(int i=1;i<=n;i++)
        for(int j=1;j<=n;j++)
            d[i][j] |= d[i][k] && d[k][j];