spfa应用- 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 号点的最少税费。

输出

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

思路

该题显然是个单源最短路问题，但是两点之间的权值为（目的地繁荣程度 - 出发地繁荣程度）^ 3；显然是存在负数的情况，所以用spfa求解才是正解，spfa求解时需要注意一个点可以多次到达（解决负边问题），对于负环情况，可以用cnt[i]来记录i点通过的边，当边数大于等于n(点数）时，一定出现了环，所以当出现了负环时，负环处经过无限循环成为负无穷，负环所在的连通块都会被更新成负无穷，这样就没意义了，所以需要标记一下连通块，进行区分，可以用dfs进行搜索标记.

总结

存在负权情况下的图用spfa解决。

代码

//SPFA
//建立一个队列，队列中存储被成功松弛的点，每次从队首
//取点并松弛其邻接点，如果邻接点成功松弛则将其放入队列
//与bfs很相似//解决负权负环问题 
#include<iostream>
#include<queue>
#include<vector>
#include<cstring>
#include<cmath>
using namespace std;
#define inf  100000000
int vis[210],cnt[210];bool flag[210];//cnt[x]代表点x最短路径上的边数
long long dis[210];
//当边数大于点数的时候就出现了负环
vector<pair<int,int> >ve[210];//点  边 
queue<int>q;int n;
void dfs(int s)
{
    for(int i=0;i<ve[s].size();i++)
    {
    	if(!flag[ve[s][i].first]) 
    	{   flag[ve[s][i].first]=1;
    		dfs(ve[s][i].first);
		}
	}
}
void spfa(int s)
{
	while(q.size()) q.pop();
	for(int i=1;i<=n;i++)
	vis[i]=cnt[i]=flag[i]=0,dis[i]=inf;//最长路-inf //最长路也可以解决正环（循环）问题
	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(flag[x]) continue;
		//松弛操作
		for(int i=0;i<ve[x].size();i++)
		{
			if(dis[ve[x][i].first]>dis[x]+ve[x][i].second)//最长路< 
			{
				dis[ve[x][i].first]=dis[x]+ve[x][i].second;
				cnt[ve[x][i].first]=cnt[x]+1;
				if(cnt[ve[x][i].first]>=n)//负环 
				{//负环的点不能入队//用dfs标记//然后这些不能入队 
					flag[ve[x][i].first]=1;dfs(ve[x][i].first);
				}
				if(!vis[ve[x][i].first]&&!flag[ve[x][i].first]) q.push(ve[x][i].first),vis[ve[x][i].first]=1;
			}
		 } 
	}
 } 
int main()
{   //freopen("innn.txt","r",stdin);
	int t;cin>>t;int count=1;
	while(t--)
	{   cin>>n;
		for(int i=1;i<=n;i++)
		while(ve[i].size()) ve[i].pop_back();
		int a[n+10];
		for(int i=1;i<=n;i++)
		cin>>a[i];
		int m;cin>>m;
		for(int i=1;i<=m;i++)
		{
			int x,y;cin>>x>>y;
			int sum=pow(a[y]-a[x],3);
			ve[x].push_back(make_pair(y,sum));
		}
		spfa(1);
		int Q;cin>>Q;cout<<"Case"<<" "<<count<<":"<<endl;count++;
		for(int i=1;i<=Q;i++)
		{       
		    	int P;cin>>P;
				if(dis[P]==inf||flag[P]==1||dis[P]<3)
				cout<<"?"<<endl;
				else cout<<dis[P]<<endl;
			
		}	
	}return 0;
}