SPFA是Bellman-Ford算法的一种队列实现，减少了不必要的冗余计算。
主要思想是：
初始时将起点加入队列。每次从队列中取出一个元素，并对所有与它相邻的点进行修改，若某个相邻的点修改成功，则将其入队。直到队列为空时算法结束。
这个算法简单的说就是队列优化的bellman-ford，利用了每个点不会更新次数太多的特点发明的此算法，所以它也是可以处理负边的。
SPFA在形式上和广度优先搜索（BFS）非常相似，不同的是BFS中一个点出了队列就不可能重新进入队列，但是SPFA中一个点可能在出队列之后再次被放入队列，也就是说一个点修改过其他的点之后，过了一段时间可能会获得更短的路径，于是再次用来修改其他的点，这样反复进行下去。
时间复杂度是O（kE），E是边数，K是常数，平均值为2。
算法实现：
dis[i]记录从起点s到i的最短路径，w[i][j]记录链接i、j边的长度，pre[v]记录前趋。
team[1……n]为队列，头指针head，尾指针tail。
布尔数组exist[1……n]记录一个点是否现在存在在队列中。
初始化：dis[s]=0,dis[v]=∞（v≠s），memset（exist,false,sizeof(exist)）；
起点入队：team[1]=s;head=0;tail=1;exist[s]=true;
do
{
1.头指针向下移一位，取出指向的点u。
2.exist[u]=false;已被取出了队列。
3.for与u相连的所有点v //注意不要去枚举所有点，用数组模拟邻接表储存
if( dis [ v ] > dis[ u ] + w [ u ][ v ])
{
dis [ v ] = dis [ u ] + w [ u ][ v ];
pre [ v ] = u;
if ( != exist [ v ])
{
尾指针下移一位，v入队；
exist [ v ] = true;
}
}
}
while( head < tail );
循环队列：
采用循环队列能够降低队列大小，队列长度只需开到2*n+5即可。
以上就是标程，根据我个人理解，下面是算法的实现过程：
先给一道题：
【题意】
给出一个图，起始点是1，结束点是N，边是双向的。求点1到点N的最短距离。哈哈，这就是标准的最短路径问题。
【输入格式】
第一行为两个整数N（1≤N≤10000）和M（0≤M≤200000）。N表示图中点的数目，M表示图中边的数目。
下来M行，每行三个整数x，y，c表示点x到点y之间存在一条边长度为c。（x≠y,1≤c≤10000）
【输出格式】
输出一行，一个整数，即为点1到点N的最短距离。
如果点1和点N不联通则输出-1。
【样例1输入】
2 1
1 2 3
【样例1输出】
3
【样例2输入】
3 3
1 2 5
2 3 5
3 1 2
【样例2输出】
2
【样例3输入】
6 9
1 2 7
1 3 9
1 5 14
2 3 10
2 4 15
3 4 11
3 5 2
4 6 6
5 6 9
【样例3输出】
20
我们先来举个例子，一个连通图中共有6个点，每两个点之间有连线（有向、无向都行，这里采用的是无向），边权都已给出，求从1号点到6号点的最短路径长度。
如图：
首先，我们先假设所有的点到1的距离都为一个很大的数，例如999999999；
然后对于1这个点，它可以去三个小伙伴的家里（2号、3号、4号），它先到2号家里，发现距离是7，它又依次到3、5号点，分别发现距离是9和14。现在1号点就不打算待在家里了，它比较懒，就去离自己进的2号家里，所以dis[2]更新为7，dis[3]=9，dis[5]=14。
其次，这些点有个特点，就是它们都十分enthusiastic，它会不停的问自己家的邻居（与该点连接的其他点）：1号点到你们家用不用先来我家，距离也许更短哦？例如2号点，它不会问1号点，因为1号点已经不在他家了（exist[1]=false），他就去问3,4号。因为9<10+7，所以3号点谢绝说：不了，他直接来我家就是最短的，是9。2号点又去问4号说：哎？1号去你家先到我家坐会呗？因为初始化1到每个点的距离都是999999999，所以7+15肯定小于999999999。所以4说：好啊！，先到你家啊，这样1号点就不累了！，所以dis[4]更新为15+7=22,。当2号点全都问完之后，它也要去干别的事了，所以就退出，即exist[2]=false。
如此循环，直到6号点。
大体的思路就是这样，那么队列是怎么模拟的呢？
初始化，把1放进队列中，接着，按照顺序把1能走到的点依次放入队列。
1退出，指针向上移，把2能到达的点依次放入队列中，有过的点就不放。
如此循环知道队列里只剩6号点位置。
这就是队列模拟的操作了，代码实现可能会看得更清楚吧：
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cstdlib>
const int N=;
using namespace std;
int head,tail,st,z,x,y,len=;
int lis[N];
int last[N];
int dis[N];
bool exist[N];
struct bian {//构造边
int x,y,d,next;
};
bian a[];
void zxy(int x,int y,int d) {//定义zxy函数
len++;
a[len].x=x;
a[len].y=y;
a[len].d=d;
a[len].next=last[x];
last[x]=len;
}
int main() {
int n,m;
scanf("%d%d",&n,&m);
for(int i=; i<=m; i++) {
scanf("%d%d%d",&x,&y,&z);
zxy(x,y,z);//双向边操作
zxy(y,x,z);
}
st=;
memset(exist,false,sizeof(exist));
lis[st]=true;
for(int i=; i<=n; i++)
dis[i]=;
dis[]=;
head=;
tail=;
while(head!=tail) {
x=lis[head];
for(int k=last[x]; k; k=a[k].next) {
y=a[k].y;
if(dis[y]>dis[x]+a[k].d) {
dis[y]=dis[x]+a[k].d;
if(exist[y]==false) {
exist[y]=true;
lis[tail]=y;
tail++;
if(tail==n+)//循环队列
tail=;
}
}
}
lis[head]=;
head++;
if(head==n+)//循坏队列
head=;
exist[x]=false;
}
if(dis[n]==)
printf("-1");
else
printf("%d",dis[n]);
return ;
}
