SDU程序设计思维与实践week7 C TT 的美梦【SPFA(Shortest Path Faster Algorithm)】

C TT的美梦

题意描述

这一晚，TT 做了个美梦！
在梦中，TT 的愿望成真了，他成为了喵星的统领！喵星上有 N 个商业城市，编号 1 ～ N，其中 1 号城市是 TT 所在的城市，即首都。
喵星上共有 M 条有向道路供商业城市相互往来。但是随着喵星商业的日渐繁荣，有些道路变得非常拥挤。正在 TT 为之苦恼之时，他的魔法小猫咪提出了一个解决方案！TT 欣然接受并针对该方案颁布了一项新的政策。
具体政策如下：对每一个商业城市标记一个正整数，表示其繁荣程度，当每一只喵沿道路从一个商业城市走到另一个商业城市时，TT 都会收取它们（目的地繁荣程度 - 出发地繁荣程度）^ 3 的税。
TT 打算测试一下这项政策是否合理，因此他想知道从首都出发，走到其他城市至少要交多少的税，如果总金额小于 3 或者无法到达请悄咪咪地打出 ‘?’。

输入描述

第一行输入 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 号点的最少税费。

输出描述

需要输出当前的组数，例如"Case 1:"
每个询问输出一行，如果不可达或税费小于 3 则输出 ‘?’。

输入样例

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

输出样例

Case 1:
3
4
Case 2:
?
?

SPFA算法分析

• Bellman-ford算法可以给出源点s到图内其他所有点的最短路以及对应的前驱子图。
• 最短路不存在的情况：1、不可达 2、途中存在负环
• 如果存在负环，那么最短路经过的边数会>=n，一些边被松弛的次数会>=n。
• 时间复杂度为$O(km)$，k是一个小于n的小常数

思路分析

• 这是一个含负权边的单源最短路径问题。
• 输出?的条件是：（1）不可达 （2）最短路小于3 (a) 最短路存在 (b)最短路不存在
• 在SPFA算法中一旦判断出有负环从该点开始DFS寻找所有到达的点，打上标记。所有在负环中的点均不能再加入队列。

AC代码

#include<iostream>
#include<algorithm>
#include<queue>
#include<cstring> 
using namespace std;
const int N=210;
const int M=100010;
const int inf=1e8;
struct Edge{
	int to,next,w;
}edge[M];
//vis-点在不在队列中
//cnt[x]-点x最短路径上的边数 ******
//dis[x]-距离 
int head[N],tot,n,m,vis[N],dis[N],cnt[N],T,boom[N];
queue<int> q;
void init(){
	tot=0;
	memset(head,0,sizeof(head));
	memset(vis,0,sizeof(vis));
	for(int i=1;i<=n;i++){
		dis[i]=inf;
	}
	memset(cnt,0,sizeof(cnt));
}
void add(int x,int y,int z){
	edge[++tot].to=y,edge[tot].next=head[x],head[x]=tot,edge[tot].w=z;
} 
void dfs(int x){
	//所有能被x到达的点都标记成负环上的点
	//负环中的点不能入队 
	dis[x]=-inf;	
	for(int i=head[x];i;i=edge[i].next){
		if(dis[edge[i].to]!=-inf){
			dfs(edge[i].to);
		}		
	} 
}
void spfa(int s){
	while(q.size()) q.pop();
	//队列中加入初始点
	dis[s]=0,vis[s]=1;
	q.push(s) ;
	while(q.size()){
		int x=q.front();q.pop();
		
		//x出了队列，vis[x]=0 
		vis[x]=0;
		if(dis[x]==-inf) continue;		
		//松弛操作		
		for(int i=head[x];i;i=edge[i].next){
			int y=edge[i].to;
			if(dis[y]>dis[x]+edge[i].w){
				dis[y]=dis[x]+edge[i].w;				
				cnt[y]=cnt[x]+1;
				if(cnt[y]>=n){
					//负环 
					//y在负环上，dis[y]=-inf
					//所有会被y到达的点的dis均会编成-inf
					
					dfs(y);			 
				} 
				if(!vis[y]&&dis[y]!=-inf) {
					
					vis[y]=1,q.push(y);
				}
			}
		} 		
	}
}
int main(){
	cin>>T;
	for(int k=1;k<=T;k++){		
		cin>>n;
		init();
		for(int i=1;i<=n;i++){
			cin>>boom[i];
		}
		cin>>m;
		int a,b;
		for(int i=1;i<=m;i++){
			cin>>a>>b;
			add(a,b,(boom[b]-boom[a])*(boom[b]-boom[a])*(boom[b]-boom[a]));
		}		
		spfa(1);
		int q,p;
		cin>>q;
		cout<<"Case "<<k<<":"<<endl;
		for(int i=1;i<=q;i++){
			cin>>p;
						
			if(dis[p]<3||dis[p]==inf) cout<<"?"<<endl;
			else cout<<dis[p]<<endl;
		} 
	}
}