SPFA解决带有负环的单源最短路问题

问题描述

这一晚，TT 做了个美梦！

在梦中，TT 的愿望成真了，他成为了喵星的统领！喵星上有 N 个商业城市，编号 1 ～ N，其中 1 号城市是 TT 所在的城市，即首都。

喵星上共有 M 条有向道路供商业城市相互往来。但是随着喵星商业的日渐繁荣，有些道路变得非常拥挤。正在 TT 为之苦恼之时，他的魔法小猫咪提出了一个解决方案！TT 欣然接受并针对该方案颁布了一项新的政策。

具体政策如下：对每一个商业城市标记一个正整数，表示其繁荣程度，当每一只喵沿道路从一个商业城市走到另一个商业城市时，TT 都会收取它们（目的地繁荣程度 - 出发地繁荣程度）^ 3 的税。

TT 打算测试一下这项政策是否合理，因此他想知道从首都出发，走到其他城市至少要交多少的税，如果总金额小于 3 或者无法到达请悄咪咪地打出 ‘?’。

Input

第一行输入 T，表明共有 T 组数据。（1 <= T <= 50）

对于每一组数据，第一行输入 N，表示点的个数。（1 <= N <= 200）

第二行输入 N 个整数，表示 1 ～ N 点的权值 a[i]。（0 <= a[i] <= 20）

第三行输入 M，表示有向道路的条数。（0 <= M <= 100000）

接下来 M 行，每行有两个整数 A B，表示存在一条 A 到 B 的有向道路。

接下来给出一个整数 Q，表示询问个数。（0 <= Q <= 100000）

每一次询问给出一个 P，表示求 1 号点到 P 号点的最少税费。

Output

每个询问输出一行，如果不可达或税费小于 3 则输出 ‘?’

Sample Input

2
5
6 7 8 9 10
6
1 2
2 3
3 4
1 5
5 4
4 5
2
4
5
10
1 2 4 4 5 6 7 8 9 10
10
1 2
2 3
3 1
1 4
4 5
5 6
6 7
7 8
8 9
9 10
2
3 10

Sample Output

Case 1:
3
4
Case 2:
?
?

解题思路以及关键代码

• 题目要求从 1 出发到其他点花费最少的钱，相当于求 1 到其他点的最短路。
• 值得注意的一点是，经过一条道路，TT 收的税可能是负数。
• 图中存在负权边，这是一个含负权边的单源最短路径问题
• 当什么情况下会输出 ‘?’
①不可达
②最短路存在且小于 3
③最短路不存在
• 因此需要我们用spfa算法判断负环，那些通过负环可以到达的点的最短路均不存在
• 找到负环后，将负环所在连通块里的点打上标记即可（bfs跑一遍即可）

//spfa
int vis[maxn],cn[maxn],dis[maxn];
//vis - 点在不在队列中  cn【x】 - 点x最短路径上经过的点数  dis - 距离 
queue<int> q;
void spfa(int s)
{
	//初始化
	while(q.size()) q.pop();
	for(int i=1;i<=n;i++)
	{
		vis[i] = 0;
		cn[i] = 0;
		dis[i] = inf;
		flag[i] = 0; 
	 } 
	//队列中加入初始点
	dis[s] = 0; vis[s] = 1;
	q.push(s);
	while(q.size())
	{
		int now = q.front(); q.pop();
		vis[now] = 0;//每一个点可以被队列弹出多次
		//松弛操作
		for(int i=head[now];~i;i=edge[i].next) 
		{
			int u = now, v = edge[i].to,w = edge[i].w;
			if(dis[v] > dis[u] + w)
			{
				dis[v] = dis[u] + w;
				cn[v] = cn[u] + 1;
				if(cn[v]>=n)
				{ 	//负环
					bfs(v); 
				}
				if(!vis[v]&&!flag[v])//当前点v没有在队列中，并且不是负环的一部分
				{
					vis[v] = 1;
					q.push(v);
				}
			}
		}
	}	
}

全部代码

#include<iostream>
#include<cstdio> 
#include<algorithm>
#include<cstring>
#include<queue>
#include<map>
#include<cmath>
using namespace std;
const int maxn = 205;
const int maxm = 1e5+5;
const int inf = 1e5; 
int n,m,a[maxn];
//链式前向星
struct Edge
{
	int to,next,w;
 } edge[maxm];
int head[maxn],cnt;
void init()
{
	cnt=0;
	memset(head,-1,sizeof(head)); 
}
void add(int u,int v,int w)
{
	edge[cnt].to=v;
	edge[cnt].w=w;
	edge[cnt].next=head[u];
	head[u]=cnt;
	cnt++;
}
//bfs
bool flag[maxn];
void bfs(int s)
{
	queue<int> Q;
	while(Q.size()) Q.pop();
	Q.push(s); flag[s] = 1;
	while(Q.size())
	{
		int now = Q.front(); Q.pop();
		for(int i=head[now];~i;i=edge[i].next)
		{
			int u = now,v = edge[i].to;
			if(!flag[v])
			{
				flag[v] = 1;
				Q.push(v);
			}	
		}
	}
}
//spfa
int vis[maxn],cn[maxn],dis[maxn];
//vis - 点在不在队列中  cn【x】 - 点x最短路径上经过的点数  dis - 距离 
queue<int> q;
void spfa(int s)
{
	//初始化
	while(q.size()) q.pop();
	for(int i=1;i<=n;i++)
	{
		vis[i] = 0;
		cn[i] = 0;
		dis[i] = inf;
		flag[i] = 0; 
	 } 
	//队列中加入初始点
	dis[s] = 0; vis[s] = 1;
	q.push(s);
	while(q.size())
	{
		int now = q.front(); q.pop();
		vis[now] = 0;//每一个点可以被队列弹出多次
		//松弛操作
		for(int i=head[now];~i;i=edge[i].next) 
		{
			int u = now, v = edge[i].to,w = edge[i].w;
			if(dis[v] > dis[u] + w)
			{
				dis[v] = dis[u] + w;
				cn[v] = cn[u] + 1;
				if(cn[v]>=n)
				{ 	//负环
					bfs(v); 
				}
				if(!vis[v]&&!flag[v])//当前点v没有在队列中，并且不是负环的一部分
				{
					vis[v] = 1;
					q.push(v);
				}
			}
		}
	}	
}
int main()
{
	int t;
	scanf("%d",&t);
	for(int count = 1;count<=t;count++)
	{
		init();
		scanf("%d",&n);
		for(int i=1;i<=n;i++)
		 scanf("%d",&a[i]);
		scanf("%d",&m);
		int u,v,w;
		while(m--)
		{
			scanf("%d%d",&u,&v);
			w=pow(a[v]-a[u],3);
			add(u,v,w);
		}
		spfa(1);
		printf("Case %d:\n",count);
		int num,p;
		scanf("%d",&num);
		while(num--)
		{
			scanf("%d",&p);
			if(flag[p] || dis[p]<3 || dis[p]==inf) 
				printf("?\n");
            else 
				printf("%d\n",dis[p]);
		}
	}
	return 0;
}