Week7—C—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:
?
?

---

个人思路：

来自课堂PPT：

• Floyd算法解决的是多源最短路径问题，对于单源最短路径问题有些许小题大做
• Dijkstra算法在图中存在负权边时不能保证结果的正确性;
• 由此引出了Bellman-ford算法及其队列优化(SPFA)；

Bellman-ford队列优化：
考虑到松弛操作仅仅发生在前驱节点已经成功松弛过的节点上。所以我们不妨只做有效的松弛操作：

• 建立一个队列；
• 队列中存储被成功松弛过的点；
• 每次从队首取点并松弛其邻接点；
• 如果邻接点成功松弛则将其放入队列。
• 代码：

for(int i = 1; i<= n; ++i){
	dis[i] = INF;
	pre[i] = 0;
	inq[i] = 0;
}
dis[s] = 0;
inq[s] = 1;
q.push(s);//初始化队列，将源点s入队
while(!q.empty()){
	int u = q.front();q.pop();
	inq[u] = 0;
	for(edge e:G[u]){
		int v = e.to;
		if(dis[v] > dis[u] + e.w){
			dis[v] = dis[u] + e.w;
			pre[v] = u;
			if(!inq[v]){
				q.push(v);
				inq[v] = 1;
			}
		}
	}
}

SPFA解决负权环路：

• 判断负环：如果最短路经过的边数大于等于n
• 通过判断点的入队次数来判断松弛次数。
• 代码：

for(int i = 1; i<= n; ++i){
	dis[i] = INF;
	pre[i] = 0;
	inq[i] = 0;
}
dis[s] = 0;
inq[s] = 1;
q.push(s);//初始化队列，将源点s入队
while(!q.empty()){
	int u = q.front();q.pop();
	inq[u] = 0;
	for(edge e:G[u]){
		int v = e.to;
		if(dis[v] > dis[u] + e.w){
			cnt[v] = cnt[u] + 1;
			if(cnt[v] >= n){
				//找到负环
			} 
			dis[v] = dis[u] + e.w;
			pre[v] = u;
			if(!inq[v]){
				q.push(v);
				inq[v] = 1;
			}
		}
	}
}

本题解法：

• 题目中算是已经明确给出了源点和边权，求源点1到其他点的最短路。
• 根据题目描述，边权可能是负数，所以迪杰斯特拉是不行的。
• 输出 ‘?’ 的情况：1、不可达；2、最短路小于3；
• 不可达的情况容易理解，就是dis == INF；
• 最短路小于3；因为可能存在负环，所以我们需要对最短路进行判断，通过负环可以到达的点的最短路是不存在的。所以要给负环所在连通块的点打上标记。

代码细节：

• 因为我用的链式前向星，所以代码可能会稍微不同。
• pre[]在本题中没用，因为不需要输出路径。
• 使用数组sign[u]来标记点u是否在负权环路中。

---

代码块：

#include<iostream>
#include<queue>
#include<cmath>
using namespace std;
const int INF = 1e9 + 5, maxn = 202, s = 1;
struct edge {
	int u, v, w, nxt;
}edges[100010];
int head[maxn], tot, n, dis[maxn], pre[maxn], cnt[maxn], inq[maxn], a[maxn], sign[maxn];
queue<int>Q;
void init() {
	tot = 1;
	for (int i = 1; i <= n; ++i) {
		head[i] = 0;
		dis[i] = INF;
		pre[i] = 0;
		inq[i] = 0;
		cnt[i] = 0;
		sign[i] = 1;
	}
}
void addedge(int x, int y, int z) {
	edges[tot].u = x; edges[tot].v = y; edges[tot].w = z;
	edges[tot].nxt = head[x]; head[x] = tot;
	tot++;
}
void SPFA() {
	dis[s] = 0;
	inq[s] = 1;
	Q.push(s);
	while (!Q.empty()) {
		int u = Q.front();
		Q.pop(); inq[u] = 0;
		for (int i = head[u]; i; i = edges[i].nxt) {
			int v = edges[i].v, w = edges[i].w;
			//cout << "i:" << i <<" V:" << v << endl;
			if (dis[v] > dis[u] + w) {
				cnt[v] = cnt[u] + 1;
				if (cnt[v] >= n) {
					sign[v] = -1;
					continue;//不必入队
				}
				dis[v] = dis[u] + w;
				pre[v] = u;
				if (!inq[v]) {
					Q.push(v);
					inq[v] = 1;
				}
			}
		}
	}
}
int main() {
	int t, m, q, p;
	cin >> t;
	for (int i = 1; i <= t;++i) {
		cout << "Case " << i << ":" << endl;
		cin >> n;
		for (int i = 1; i <= n; ++i)cin >> a[i];
		init();
		cin >> m; int u, v;
		for (int i = 1; i <= m; ++i) {
			cin >> u >> v;
			addedge(u, v, pow(a[v] - a[u], 3));
		}
		SPFA();
		cin >> q;
		for (int i = 1; i <= q; ++i) {
			cin >> p;
			if (sign[p] == -1 || dis[p] == INF || dis[p] < 3)cout << "?" << endl;
			else cout << dis[p] << endl;
		}
	}
	return 0;
}

---