最短路(SPFA)

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=210000;
using namespace std;
int head,tail,st,z,x,y,len=0;
int lis[N];
int last[N];
int dis[N];
bool exist[N];
struct bian {//构造边 
    int x,y,d,next;
};
bian a[1010000];
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=1; i<=m; i++) {
        scanf("%d%d%d",&x,&y,&z);
        zxy(x,y,z);//双向边操作 
        zxy(y,x,z);
    }
    st=1;
    memset(exist,false,sizeof(exist));
    lis[st]=true;
    for(int i=1; i<=n; i++)
        dis[i]=99999999;
    dis[1]=0;
    head=1;
    tail=2;
    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+1)//循环队列 
                        tail=1;
                }
            }
        }
        lis[head]=0;
        head++;
        if(head==n+1)//循坏队列 
            head=1;
        exist[x]=false;
    }
    if(dis[n]==99999999)
        printf("-1");
    else
        printf("%d",dis[n]);
    return 0;
}

 

posted @ 2018-01-24 09:04  Zhoier  阅读(733)  评论(1编辑  收藏  举报