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];