P1073 最优贸易（缩点+spfa）

题目描述

CC国有nn个大城市和mm 条道路，每条道路连接这 nn个城市中的某两个城市。任意两个城市之间最多只有一条道路直接相连。这 mm 条道路中有一部分为单向通行的道路，一部分为双向通行的道路，双向通行的道路在统计条数时也计为 11条。

CC国幅员辽阔，各地的资源分布情况各不相同，这就导致了同一种商品在不同城市的价格不一定相同。但是，同一种商品在同一个城市的买入价和卖出价始终是相同的。

商人阿龙来到 CC 国旅游。当他得知同一种商品在不同城市的价格可能会不同这一信息之后，便决定在旅游的同时，利用商品在不同城市中的差价赚回一点旅费。设 CC 国 n 个城市的标号从 1~ n1 n，阿龙决定从 11号城市出发，并最终在 nn 号城市结束自己的旅行。在旅游的过程中，任何城市可以重复经过多次，但不要求经过所有 nn 个城市。阿龙通过这样的贸易方式赚取旅费：他会选择一个经过的城市买入他最喜欢的商品――水晶球，并在之后经过的另一个城市卖出这个水晶球，用赚取的差价当做旅费。由于阿龙主要是来 CC 国旅游，他决定这个贸易只进行最多一次，当然，在赚不到差价的情况下他就无需进行贸易。

假设 CC国有 55个大城市，城市的编号和道路连接情况如下图，单向箭头表示这条道路为单向通行，双向箭头表示这条道路为双向通行。

假设 1~n1 n 号城市的水晶球价格分别为 4,3,5,6,14,3,5,6,1。

阿龙可以选择如下一条线路：11->22->33->55，并在 22号城市以33 的价格买入水晶球，在 33号城市以55的价格卖出水晶球，赚取的旅费数为 2。

阿龙也可以选择如下一条线路11->44->55->44->55，并在第11次到达55 号城市时以 11的价格买入水晶球，在第 22 次到达44 号城市时以66 的价格卖出水晶球，赚取的旅费数为55。

现在给出 nn个城市的水晶球价格，mm 条道路的信息（每条道路所连接的两个城市的编号以及该条道路的通行情况）。请你告诉阿龙，他最多能赚取多少旅费。

输入输出格式

输入格式：

 

第一行包含 22 个正整数nn和 mm，中间用一个空格隔开，分别表示城市的数目和道路的数目。

第二行 n 个正整数，每两个整数之间用一个空格隔开，按标号顺序分别表示这 n 个城市的商品价格。

接下来 mm 行，每行有33个正整数x,y,zx,y,z，每两个整数之间用一个空格隔开。如果 z=1z=1，表示这条道路是城市xx到城市yy之间的单向道路；如果z=2z=2，表示这条道路为城市 xx和城市yy之间的双向道路。

 

输出格式：

 

一 个整数，表示最多能赚取的旅费。如果没有进行贸易，则输出 00。

 

输入输出样例

输入样例#1： 复制

5 5 
4 3 5 6 1 
1 2 1 
1 4 1 
2 3 2 
3 5 1 
4 5 2 

输出样例#1： 复制

5

说明

【数据范围】

输入数据保证 11 号城市可以到达nn号城市。

对于 10%的数据，1≤n≤61≤n≤6。

对于 30%的数据，1≤n≤1001≤n≤100。

对于 50%的数据，不存在一条旅游路线，可以从一个城市出发，再回到这个城市。

对于 100%的数据，1≤n≤1000001≤n≤100000，1≤m≤5000001≤m≤500000，1≤x1≤x，y≤ny≤n，1≤z≤21≤z≤2，1≤1≤各城市

水晶球价格≤100≤100。

NOIP 2009 提高组 第三题

解题思路

先用tarjan算法求强连通分量，然后将各强连通分量缩成一个点，重新建图，记录每个点的最低价格和最高价格。然后跑spfa求从1所在的点s到各个点可以赚到的最大的钱。用minn[i]保存从s到i所经的点（包括自己）里价格最低的，那么可以赚到的最多的钱就是【前面所经过的点里能赚的最大的钱， 用自己这个点的最高价卖出当前最低价买入的】这两者间的最大值。

#include <iostream>
#include <queue>
#include <vector>
#include <cstdio>
#include <stack>
#include <cstring>
#define maxn 100005
using namespace std;
vector<int> temp[maxn];
int v[maxn];
int dis[maxn];
int minn[maxn];
int maxx[maxn];
int n, m;
bool vis[maxn];
vector<int> g[maxn];
int flg;
int s, t;
void spfa()
{
	queue<int> que;
	que.push(s);
	vis[t] = true;
	memset(dis, -1, sizeof(dis));
	dis[s] = maxx[s] - minn[s];
	while(!que.empty()){
		int top = que.front();
		que.pop();
		vis[top] = false;
		for(int i = 0; i < g[top].size(); i ++){
			int r = g[top][i];
			if(dis[top] > dis[r] || minn[top] < minn[r] || dis[r] < maxx[r] - minn[r]){
				minn[r] = min(minn[top], minn[r]);
				dis[r] = max(dis[r], max(dis[top], maxx[r] - minn[r]));
				if(!vis[r]){
					vis[r] = true;
					que.push(r);
				}
					
			}
		}
	}
	cout << dis[t] << endl;
}
int dfn[maxn], low[maxn];
int id;
stack<int> sta;
bool vis1[maxn];
int scc[maxn];
void tarjan(int x)
{
	++ id;
	dfn[x] = low[x] = id;
	sta.push(x);
	vis1[x] = true;
	for(int i = 0; i < temp[x].size(); i ++){
		int r = temp[x][i];
		if(!dfn[r]){
			tarjan(r);
			low[x] = min(low[x], low[r]);
		}
		else if(vis1[r])
			low[x] = min(low[x], dfn[r]);
	}
	if(low[x] == dfn[x]){
		flg ++;
		minn[flg] = v[x];
		while(!sta.empty()){
			int top = sta.top();
			sta.pop();
			vis1[top] = false;
			scc[top] = flg;
			minn[flg] = min(minn[flg], v[top]);
			maxx[flg] = max(maxx[flg], v[top]);
			if(top == x)
				break;
		}
	}
}
int main()
{
	cin >> n >> m;
	for(int i = 1; i <= n; i ++){
		scanf("%d", &v[i]);
		dis[i] = 0;
	}
	for(int i = 0; i < m; i ++){
		int x, y, z;
		scanf("%d%d%d", &x, &y, &z);
		temp[x].push_back(y);
		if(z == 2)
			temp[y].push_back(x);
	}
	tarjan(1);
	s = scc[1];
	t = scc[n];
	for(int i = 1; i <= n; i ++){
		for(int j = 0; j < temp[i].size(); j ++){
			int r = temp[i][j];
			if(scc[i] != scc[r]){
				g[scc[i]].push_back(scc[r]);
			}
		}
	}
	spfa();
	return 0;
}