主要思想是用邻接表存储所有的边集,对每边进行n-1次松弛操作(通过一条边是否可以让两个点之间的距离减小)后,在进行一次松弛判断,如果还能继续减小,说明存在负环,Bellford——Ford失败
为什么要进行N-1次松弛操作:
假设起点的边存储在数组的最后一个位置,第一次的循环结束后,只有与原点相邻的那一个点得到了松弛,其他点都松弛失败,第二次被松弛的点可以与其他的N-2个点进行松弛,可松弛的点变多,这样递推下去,可以把所有的点进行松弛,所以需要N-1次,具体的细节我也没有想明白,有什么新的想法我会补充
//Bellman-Ford
#include<iostream>
#include<vector>
#include<cstring>
using namespace std;
struct Edge{
int from,to;
int key;
};
int n,m;
vector<Edge> e[100];
Edge edge[100];
int dis[100];
int pre[100];
int Bellman_Ford(int s)
{
memset(dis,10000,sizeof(dis));
memset(pre,-1,sizeof(pre));
dis[s]=0;
pre[s]=s;
for(int i=1;i<=n-1;i++)
{
for(int i=0;i<m;i++)
{
if(dis[edge[i].to]>dis[edge[i].from]+edge[i].key)
{
dis[edge[i].to]=dis[edge[i].from]+edge[i].key;
pre[edge[i].to]=edge[i].from;
}
}
}
int flag=0;
for(int i=0;i<m;i++)
if(dis[edge[i].to]>dis[edge[i].from]+edge[i].key)//循环n-1次依然可以松弛,说明存在负环
{
flag=1;
break;
}
if(flag==1)
return -1;
else
return dis[n];
}
int main()
{
freopen("Bellford.txt","r",stdin);
cin>>n>>m;
for(int i=0;i<m;i++)
{
cin>>edge[i].from>>edge[i].to>>edge[i].key;
}
for(int i=0;i<m;i++)
{
cout<<edge[i].from<<" "<<edge[i].to<<" "<<edge[i].key<<endl;
}
cout<<Bellman_Ford(1);
}