zoukankan      html  css  js  c++  java
  • SPFA算法

    转载自https://blog.csdn.net/weixin_43902449/article/details/88605417(代码部分除外)


    一.算法简介

    SPFA(Shortest Path Faster Algorithm)算法是求单源最短路径的一种算法,它是 Bellman-Ford 的队列优化,它是一种十分高效的最短路算法。外号斯(S)普(P)发(FA)。

    很多时候,给定的图存在负权边,这时类似 Dijkstra 等算法便没有了用武之地,而 Bellman-Ford 算法的复杂度又过高,SPFA 算法便派上用场了。

    在段凡丁的论文中,SPFA 的复杂度是 (mathcal O(km)),其中 (k) 是一个常数。但后来被人指出复杂度证明有错误,最坏情况下还是会退化到 (mathcal O(nm))。NOI2018 D1T1 的出题人卡掉了 SPFA,于是就有了这个梗:

    不过 SPFA 还是要学的。

    接下来讲一下算法流程。建立一个队列,初始时队列里只有起始点,在建立一个表格记录起始点到所有点的最短路径(该表格的初始值要赋为极大值,该点到他本身的路径赋为 (0))。然后执行松弛操作,用队列里有的点去刷新起始点到所有点的最短路,如果刷新成功且被刷新点不在队列中则把该点加入到队列最后。重复执行直到队列为空。

    此外,SPFA 算法还可以判断图中是否有负权环,即一个点入队次数超过 (n)


    二.算法图解

    给定一个有向图,求 (A o E) 的最短路。

    源点 (A) 首先入队,并且 (A o B) 松弛。

    扩展与 (A) 相连的边,(B,C) 入队并松弛。

    (B,C) 分别开始扩展,(D) 入队并松弛。

    (D) 出队,(E) 入队并松弛。

    (E) 出队,此时队列为空,源点到所有点的最短路已被找到,(A o E) 的最短路即为 (8)


    三、代码实现

    #include<iostream>
    #include<cstdio>
    #include<cstring>
    #include<queue>
    using namespace std;
    queue<int> que;
    const int N=10010,M=10010;
    int n,m,tot;
    int head[N],edge[M],ver[M],nxt[M],dis[N];
    bool book[N];
    void add(int x,int y,int z)
    {
    	ver[++tot]=y;
    	edge[tot]=z;
    	nxt[tot]=head[x];
    	head[x]=tot;
    }
    void spfa()
    {
    	memset(dis,0x3f,sizeof(dis));
    	memset(book,0,sizeof(book));
    	dis[1]=0;
    	book[1]=true;
    	que.push(1);
    	while(que.size())
    	{
    		int x=que.front();que.pop();
    		book[x]=false;
    		for(int i=head[x];i;i=nxt[i])
    		{
    			int y=ver[i],z=edge[i];
    			if(dis[y]>dis[x]+z)
    			{
    				dis[y]=dis[x]+z;
    				if(!book[y])
    				{
    					que.push(y);
    					book[y]=true;
    				}
    			}
    		}
    	}
    }
    int main()
    {
    	scanf("%d %d",&n,&m);
    	for(int i=1;i<=m;i++)
    	{
    		int x,y,z;
    		scanf("%d %d %d",&x,&y,&z);
    		add(x,y,z);
    	}
    	spfa();
    	for(int i=1;i<=n;i++) printf("%d ",dis[i]);
    	return 0;
    }
    

    四、例题

    模板题:hdu2680

    思路:设置一个零点,将零点和所有起点的距离都设成 (0),然后对零点跑一遍 SPFA 即可。

    code:

    #include<iostream>
    #include<cstdio>
    #include<cstring>
    #include<queue>
    using namespace std;
    queue<int> que;
    const int N=1010,M=20010;
    int n,m,tot,ed;
    int head[N],edge[M],ver[M],nxt[M],dis[N];
    bool book[N];
    #define C(n) memset(n,0,sizeof(n))
    void add(int x,int y,int z)
    {
    	ver[++tot]=y;
    	edge[tot]=z;
    	nxt[tot]=head[x];
    	head[x]=tot;
    }
    void spfa()
    {
    	memset(dis,0x3f,sizeof(dis));
    	memset(book,0,sizeof(book));
    	dis[0]=0;
    	book[0]=true;
    	que.push(0);
    	while(que.size())
    	{
    		int x=que.front();que.pop();
    		book[x]=false;
    		for(int i=head[x];i;i=nxt[i])
    		{
    			int y=ver[i],z=edge[i];
    			if(dis[y]>dis[x]+z)
    			{
    				dis[y]=dis[x]+z;
    				if(!book[y])
    				{
    					que.push(y);
    					book[y]=true;
    				}
    			}
    		}
    	}
    }
    int main()
    {
    	while(~scanf("%d %d %d",&n,&m,&ed))
    	{ 
    		tot=0;
    		C(head);
    		C(nxt);
    		C(edge);
    		C(ver);
    		for(int i=1;i<=m;i++)
    		{
    			int x,y,z;
    			scanf("%d %d %d",&x,&y,&z);
    			add(x,y,z);
    		}
    		int q;
    		scanf("%d",&q);
    		for(int i=1;i<=q;i++)
    		{
    			int tmp;
    			scanf("%d",&tmp);
    			add(0,tmp,0);
    		}
    		spfa();
    		if(dis[ed]!=0x3f3f3f3f) printf("%d
    ",dis[ed]);
    		else puts("-1");
    	}
    	return 0;
    }
    
  • 相关阅读:
    PyCharm黄色波浪线提示: Simplify chained comparison
    SQL Server 2017 新功能分享
    阿里云RDS for SQL Server使用的一些最佳实践
    Spark入门PPT分享
    亿级SQL Server运维的最佳实践PPT分享
    使用T-SQL找出执行时间过长的作业
    SQL Server中TOP子句可能导致的问题以及解决办法
    广州的小伙伴福利-由微软组织的在广州SQL Server线下活动
    在SQL Server中为什么不建议使用Not In子查询
    微软Ignite大会我的Session(SQL Server 2014 升级面面谈)PPT分享
  • 原文地址:https://www.cnblogs.com/juruo-zzt/p/12019249.html
Copyright © 2011-2022 走看看