TT的美梦【有负环的单源最短路】【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:
?
?

问题分析

读题易知：这是一道裸的有负权环路的单源最短路，采用SPFA算法即可求解。
SPFA 算法是 Bellman-ford 算法的队列优化，负环存在的判断条件与Bellman-ford 算法一致.
如何判断一条边被松弛的次数大于等于 n？
SPFA 中将点加入队列，不容易判断边的松弛次数。可以判断最短路的边数，如果到某一点的最短路的边数超过了n-1则说明有负环。

#include<stdio.h>
#include<queue>
using namespace std;
const int inf=1e9;
int a[210],dis[210],cnt[210],inq[210],vis[210];
//cnt[x] 表示 x 当前最短路上的边数
bool b[210][210];
queue<int>q,Q;
void bfs(int v,int n){
//广搜，将与v联通的点进行标记，税费都是负无穷
	for(int i=1;i<=n;i++)vis[i]=0;
	vis[v]=1;dis[v]=-inf;
	Q.push(v);
	while(Q.size()){
		int x=Q.front();Q.pop();
		for(int i=1;i<=n;i++)
			if(b[x][i] && !vis[i]){
				vis[i]=1;dis[i]=-inf;
				Q.push(i);
			}
	}
}
void SPFA(int n){
	for(int i=1;i<=n;i++){
		dis[i]=inf;
		cnt[i]=0;
		inq[i]=0;
	}
	dis[1]=0,inq[1]=1;
	q.push(1);
	while(q.size()){
		int u=q.front();q.pop();
		if(dis[u]==-inf)continue;//如果是联通负环的点，则continue
		inq[u]=0;
		for(int v=1;v<=n;v++)
		if(b[u][v])
		{
			int w=(a[v]-a[u])*(a[v]-a[u])*(a[v]-a[u]);
			if(dis[v]>dis[u]+w){
				cnt[v]=cnt[u]+1;
				if(cnt[v]>=n)bfs(v,n);
				//找到一个在负环上的点，遍历将连通块上的点进行标记
				else{
					dis[v]=dis[u]+w;
					if(!inq[v])inq[v]=1,q.push(v);
				}
			}
		}
	}
}
int main(){
	int T,N,M,Q,x,y,P;
	scanf("%d",&T);
	for(int u=1;u<=T;u++){
		scanf("%d",&N);
		for(int i=1;i<=N;i++)
			for(int j=1;j<=N;j++)
				b[i][j]=false;
		for(int i=1;i<=N;i++)scanf("%d",&a[i]);
		scanf("%d",&M);
		for(int i=0;i<M;i++){
			scanf("%d%d",&x,&y);
			if(x!=y)b[x][y]=true;
		}
		SPFA(N);
		scanf("%d",&Q);
		printf("Case %d:\n",u);
		for(int i=0;i<Q;i++){
			scanf("%d",&P);
			if(dis[P]==inf || dis[P]==-inf ||dis[P]<3)
			printf("?\n");
			else printf("%d\n",dis[P]);
		}	
	}
	return 0;
}