bellmanford以及优化后的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 则输出 ‘?’。

求解思路

• 前向星存储边
• 通过SPFA找到负环，并进行bfs找到负环能到达的点，所有与负环联通的点一定最短距离是负无穷。
• SPFA的算法为:
• 初始化

    arrive[i] = 0;//是否到达
   	dis[i] = inf;//距离
   	cnt[i] = 0;//到达该点经过的的边数
   	negativecircle[i] = 0;//是否与负环联通

• 通过队列不断更新距离，因为最小生成树最多有n-1条边，若经过的边数大于等于n，则该点一定在负环上，从该点开始，进行bfs，标记与负环联通的所有点。

if (cnt[Edge[i].v] >= n)
{
	//找到负环 bfs标记
	bfs(Edge[i].v);
}

• 最后判断p是否在负环上或者dis是否小于3或等于inf，决定输出

if (negativecircle[p] == 1 || dis[p] == inf || dis[p] < 3)
{
	cout << "?" << endl; continue;
}
	cout << dis[p] << endl;

• 另外，也可以采用bellmanford的方法寻找负环。

void bellmanford(long long s)
{
	for (int i = 1; i <= n; i++)
	{
		dis[i] = inf;
	}
	dis[s] = 0;
	for(int k=1;k<n;k++)
		for(int i=0;i<tot;i++)
			if (dis[Edge[i].v] > dis[Edge[i].u] + Edge[i].w)
			{
				dis[Edge[i].v] = dis[Edge[i].u] + Edge[i].w;
			}
	for (int i = 0; i < tot; i++)
	{
		if (dis[Edge[i].v] > dis[Edge[i].u] + Edge[i].w)
		{
			bfs(Edge[i].u);
		}
	}
}

代码

#include<stdio.h>
#include<iostream>
#include<queue>
#include<vector>
#include <algorithm> 
#include<math.h>
#define inf 1e9
using namespace std;
struct edge
{
	long long u = 0, v = 0, w = 0, nxt = 0;

};

//链式前向星
long long head[202];
edge Edge[100020];
long long tot = 0;
void addedge(long long u, long long v, long long w)
{
	Edge[tot].u = u;
	Edge[tot].v = v;
	Edge[tot].w = w;
	Edge[tot].nxt = head[u];
	head[u] = tot;
	tot++;
}
long long t, n, m, q;
long long a[202];

long long dis[502];
long long arrive[502];
long long pre[502];
long long cnt[502];
long long negativecircle[502];
//long long negativearrive[502];
void bfs(long long s)
{
	queue<long long> que;
	que.push(s);
	while (!que.empty())
	{
		long long temp = que.front();
		que.pop();
		negativecircle[temp] = 1;
		//	negativearrive[temp] = 1;
		for (long long i = head[temp]; i != -1; i = Edge[i].nxt)
		{
			if (negativecircle[Edge[i].v] == 0)
			{
				que.push(Edge[i].v);
			}
		}
	}
}
void SPFA(long long s)
{
	for (long long i = 1; i <= n; i++)//初始化
	{
		arrive[i] = 0;
		dis[i] = inf;
		pre[i] = 0;
		cnt[i] = 0;
		negativecircle[i] = 0;
		//negativearrive[i] = 0;
	}
	dis[s] = 0;
	arrive[s] = 1;
	queue<long long> q;
	q.push(s);
	while (!q.empty())
	{
		long long temp = q.front();
		q.pop();
		if (negativecircle[temp])//负环可到达的点
			continue;
		arrive[temp] = 0;
		for (long long i = head[temp]; i != -1; i = Edge[i].nxt)
		{
			if (dis[Edge[i].v] > dis[Edge[i].u] + Edge[i].w)
			{
				cnt[Edge[i].v] = cnt[Edge[i].u] + 1;
				if (cnt[Edge[i].v] >= n)
				{
					//找到负环 bfs标记
					bfs(Edge[i].v);
				}
				dis[Edge[i].v] = dis[Edge[i].u] + Edge[i].w;
				pre[Edge[i].v] = Edge[i].u;
				if (!arrive[Edge[i].v])
				{
					q.push(Edge[i].v);
					arrive[Edge[i].v] = 1;
				}
			}
		}
	}
}

int main()
{
	cin >> t;
	for (long long o = 0; o < t; o++)
	{
		cin >> n;
		for (long long i = 1; i <= n; i++)//初始化
		{
			head[i] = -1;
			a[i] = 0;
		}
		for (long long i = 1; i <= n; i++)
		{
			cin >> a[i];
		}
		cin >> m;
		tot = 0;
		for (long long i = 0; i < m + 1; i++)
		{
			Edge[i].u = 0;
			Edge[i].v = 0;
			Edge[i].w = 0;
			Edge[i].nxt = 0;
		}
		for (long long i = 0; i < m; i++)
		{
			long long x, y, z;
			cin >> x >> y;
			z = pow((a[y] - a[x]), 3);
			addedge(x, y, z);
			//	cout << z << " ";
		}

		SPFA(1);
		//bellmanford(1);

		cout << "Case " << o + 1 << ":" << endl;
		cin >> q;
		for (long long i = 0; i < q; i++)
		{
			
			long long p; cin >> p;
			if (negativecircle[p] == 1 || dis[p] == inf || dis[p] < 3)
			{
				cout << "?" << endl; continue;
			}
			cout << dis[p] << endl;
		}


	}
}