一、注意点
正规的程序步骤应该分为两步:
- 执行算法进行计算
- 验证图内部是否有负环,如果有则该算法不适用
二、模板
struct Node{
//v是邻接边的目标顶点,dis为邻接边的边权
int v,dis;
};
vector<Node>Adj[MAXV];//图G的邻接表
int n; //n为顶点数,MAXV为最大顶点数
int d[MAXV]; //起点到达各点的最短路径长度
bool Bellman(int s)//s是源点
{
fill(d,d+MAXV,INF);//用fill将整个数组赋值为无穷大
d[s]=0; //起点s到达自身的距离为0
//以下是求解数组d的部分
//循环
for(int i=0;i<n-1;i++)//执行n-1轮操作,n为顶点数
{
for(int u=0;u<n;u++)//每轮操作都遍历所有边
{
//遍历每一个邻接表节点内的每个节点
for(int j=0;j<Adj[u].size();j++)
{
int v=Adj[u][j].v;//邻接边的顶点
int dis = Adj[u][j].dis;//每轮操作遍历所有边
if(d[u]+dis<d[v])//以u为中介使得d[v]更小
{
d[v]=d[u]+dis;//松弛操作
}
}
}
}
//以下为判断负环的代码
for(int u=0;u<n;u++)
{
for(int j=0;j<Adj[u].size();j++)
{
int v=Adj[u][j].v;//邻接边的顶点
int dis=Adj[u][j].dis;//邻接边的边权
if(d[u]+dis<d[v])//如果仍然可以被松弛
{
return false;
//说明有负环,即bellman算法不可行,直接返回false;
}
}
}
return true;//没有负环的情况下,数组d的所有值都可以达到最优化
}
三、适用问题
如果给的图是只有正权,那么适用迪杰斯特拉算法即可,如果存在负权,那么可以使用bellman-ford算法结合检测负权环进行解答。