SPFA(Shortest Path Faster Algorithm)(队列优化)算法是求单源最短路径的一种算法,它还有一个重要的功能是判负环(在差分约束系统中会得以体现),在Bellman-ford算法的基础上加上一个队列优化,减少了冗余的松弛操作,是一种高效的最短路算法。
算法步骤:
该算法需要使用到队列,这里我们用STL的queue
比如求s点到所有点的最短路径。
1,初始化时队列中只有一个源点s,dis[]数组中除dis[s]=0外都初始化为MAX,将s点弹出,并通过s点进行松弛操作,如果dis[i]>dis[s]+a[s][i]则,dis[i]=dis[s]+a[s][i];判断i点是否已经在队列中(uesd[i]==1),如果不在,就将i点加入队列,并used[i]=1.重复以上操作,当队列为空的时候就说明无法在继续松弛边,所得到的dis[]数组即为源点s到所有点的最短距离。记住每个点从队列弹出时要将该点标记为不在队列used[i]=0;
附上模板
void spfa(int s)
{
int i;
que.push(s);
used[s]=1;
dis[s]=0;
while(!que.empty())
{
int u=que.front();
que.pop();
used[u]=0;
for(v=1;v<=n;v++)
{
if(map[u][v]>0 && dis[v]>dis[u]+map[u][v])
{
dis[v]=dis[u]+map[u][v];
if(used[v]!=1)
{
que.push(v);
used[v]=1;
}
}
}
}
}
二spfa的判断是否有负环
如果一个点入队列的次数超过顶点总数则说明存在负环
模板
bool spfa(int s)
{
int i;
que.push(s);
used[s]=1;
dis[s]=0;
while(!que.empty())
{
int u=que.front();
que.pop();
used[u]=0;
for(v=1;v<=n;v++)
{
if(map[u][v]>0 && dis[v]>dis[u]+map[u][v])
{
dis[v]=dis[u]+map[u][v];
if(used[v]!=1)
{
que.push(v);
used[v]=1;
in[v]++;
if(in[v]>n)
return true;
}
}
}
}
return false;
}
DFS版spfa
bool spfa(int u)
{
for(int i=0;i<edge[u].size();i++)
{
Edge e=edge[u][i];
int v=e.to;
if(dis[v]>dis[u]+e.year)
{
if(vis[u][v])
{
return true;
}
else
{
dis[v]=dis[u]+e.year;
vis[u][v]=true;
if(spfa(v))
return true;
}
}
}
return false;
}