【NOIP2009】【DP】【Tarjan】【SPFA】T3 最优贸易 题解

题目描述 Description
【问题描述】
C 国有n 个大城市和m 条道路，每条道路连接这n 个城市中的某两个城市。任意两个
城市之间最多只有一条道路直接相连。这m 条道路中有一部分为单向通行的道路，一部分
为双向通行的道路，双向通行的道路在统计条数时也计为1 条。
C 国幅员辽阔，各地的资源分布情况各不相同，这就导致了同一种商品在不同城市的价
格不一定相同。但是，同一种商品在同一个城市的买入价和卖出价始终是相同的。
商人阿龙来到 C 国旅游。当他得知同一种商品在不同城市的价格可能会不同这一信息
之后，便决定在旅游的同时，利用商品在不同城市中的差价赚回一点旅费。设C 国n 个城
市的标号从1~ n，阿龙决定从1 号城市出发，并最终在n 号城市结束自己的旅行。在旅游的
过程中，任何城市可以重复经过多次，但不要求经过所有n 个城市。阿龙通过这样的贸易方
式赚取旅费：他会选择一个经过的城市买入他最喜欢的商品——水晶球，并在之后经过的另
一个城市卖出这个水晶球，用赚取的差价当做旅费。由于阿龙主要是来C 国旅游，他决定
这个贸易只进行最多一次，当然，在赚不到差价的情况下他就无需进行贸易。
假设 C 国有5 个大城市，城市的编号和道路连接情况如下图，单向箭头表示这条道路
为单向通行，双向箭头表示这条道路为双向通行。

假设 1~n 号城市的水晶球价格分别为4，3，5，6，1。
阿龙可以选择如下一条线路：1->2->3->5，并在2 号城市以3 的价格买入水晶球，在3
号城市以5 的价格卖出水晶球，赚取的旅费数为2。
阿龙也可以选择如下一条线路 1->4->5->4->5，并在第1 次到达5 号城市时以1 的价格
买入水晶球，在第2 次到达4 号城市时以6 的价格卖出水晶球，赚取的旅费数为5。

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

输入描述 Input Description
第一行包含 2 个正整数n 和m，中间用一个空格隔开，分别表示城市的数目和道路的
数目。
第二行 n 个正整数，每两个整数之间用一个空格隔开，按标号顺序分别表示这n 个城
市的商品价格。
接下来 m 行，每行有3 个正整数，x，y，z，每两个整数之间用一个空格隔开。如果z=1，
表示这条道路是城市x 到城市y 之间的单向道路；如果z=2，表示这条道路为城市x 和城市
y 之间的双向道路。

输出描述 Output Description
包含1 个整数，表示最多能赚取的旅费。如果没有进行贸易，
则输出0。

样例输入 Sample Input
5 5
4 3 5 6 1
1 2 1
1 4 1
2 3 2
3 5 1
4 5 2

样例输出 Sample Output
5

数据范围及提示 Data Size & Hint
【数据范围】
输入数据保证 1 号城市可以到达n 号城市。
对于 10%的数据，1≤n≤6。
对于 30%的数据，1≤n≤100。
对于 50%的数据，不存在一条旅游路线，可以从一个城市出发，再回到这个城市。
对于 100%的数据，1≤n≤100000，1≤m≤500000，1≤x，y≤n，1≤z≤2，1≤各城市
水晶球价格≤100。

方法一：Tarjan
这个很好想50%DP后面怎么办？Tarjan缩点！
方法二：SPFA
不管哪个方法都是要求去DP那么我们可以正反各一次

Tarjan：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<stack>
using namespace std;
#define NAME "trade"
#define maxn 100020
#define maxm 500020
#define inf 0x3f3f3f3f

struct node{
    int to,next;
}edge[maxm * 2],e[maxm],re[maxm];
int head1[maxn],head2[maxn],head3[maxn],cnt1,cnt2,cnt3,mx[maxn],mn[maxn],value[2][maxn],vis[maxn];
int low[maxn],dfn[maxn],st[maxn],tops = -1,dfstime,cur[maxn],ins[maxn],belong[maxn];
stack <int> s;
int n,m,ans;

inline void addedge1(int x,int y){
    edge[++cnt1].to = y;
    edge[cnt1].next = head1[x];
    head1[x] = cnt1;
}
inline void addedge2(int x,int y){
    e[++cnt2].to = y;
    e[cnt2].next = head2[x];
    head2[x] = cnt2;
}
inline void addedge3(int x,int y){
    re[++cnt3].to = y;
    re[cnt3].next = head3[x];
    head3[x] = cnt3;
}
inline void tarjian(){
    s.push(1);
    while ( !s.empty() ){
start:
        int now = s.top();
        if ( !dfn[now] ) low[now] = dfn[now] = ++dfstime;
        if ( !ins[now] ) st[++tops] = now , ins[now] = 1;
        for  (int i = cur[now] ; i ; i = edge[i].next ){
            cur[now] = edge[i].next;
            int to = edge[i].to;
            if ( !dfn[to] ){
                s.push(to);
                goto start;
            }
        }
        for (int i = head1[now] ; i ; i = edge[i].next){
            int to = edge[i].to;
            if ( ins[to] )
                low[now] = min(low[now],low[to]);
        }
        if ( low[now] == dfn[now] ){
            int x = st[tops--];
            while ( x != now ){
                belong[x] = now;
                ins[x] = 0;
                value[0][now] = max(value[0][now],value[0][x]);
                value[1][now] = min(value[1][now],value[1][x]);
                x = st[tops--];
            }
            belong[now] = now ,ins[now] = 0;
        }
        s.pop();
    }
}
int dfs1(int now){
    if ( vis[now] ) return mx[now] == -inf ? 0 : 1;
    mx[now] = -inf , vis[now] = 1;
    if ( now == n || belong[n] == now ) return mx[now] = value[0][now];
    for ( int i = head2[now] ; i ; i = e[i].next ){
        if ( dfs1(e[i].to) ) 
            mx[now] = max(mx[e[i].to],max(mx[now],value[0][now]));
    }
    return mx[now] == -inf ? 0 : 1;
}
int dfs2(int now){
    if ( vis[now] ) return mn[now] == inf ? 0 : 1;
    vis[now] = 1;
    if ( belong[now] == 1 ) return mn[now] = value[1][now];
    for ( int i = head3[now] ; i ; i = re[i].next ){
        if ( dfs2(re[i].to) )
            mn[now] = min(mn[re[i].to],min(mn[now],value[1][now]));
    }
    return mn[now] == inf ? 0 : 1;
}
int main() {
    freopen(NAME".in","r",stdin);
    freopen(NAME".out","w",stdout);
    scanf("%d %d",&n,&m);
    for (int i = 1 ; i <= n ; i++) scanf("%d",&value[0][i]) , value[1][i] = value[0][i];
    for (int i = 1 ; i <= m ; i++){
        int x,y,z;
        scanf("%d %d %d",&x,&y,&z);
        addedge1(x,y);
        if ( z == 2 ) addedge1(y,x);
    }
    for (int i = 1 ; i <= cnt1 ; i++) cur[i] = head1[i];
    tarjian();
    for (int i = 1 ; i <= n ; i++)
        for (int j = head1[i] ; j ; j = edge[j].next)
            if ( belong[i] != belong[edge[j].to] )
                addedge2(belong[i],belong[edge[j].to]) , addedge3(belong[edge[j].to],belong[i]);
    for (int i = head2[1] ; i ; i = e[i].next) //在DAG上通过正向边找最大值
        if ( dfs1(e[i].to) ) 
            mx[1] = max(mx[1],max(mx[e[i].to],value[0][1])); 
    memset(vis,0,sizeof(vis));
    memset(mn,0x3f,sizeof(mn));
    for (int i = head3[belong[n]] ; i ; i = re[i].next) //在DAG上通过反向边找最小值
        if ( dfs2(re[i].to) )
            mn[belong[n]] = min(mn[belong[n]],min(mn[re[i].to],value[1][belong[n]]));
    for (int i = 1 ; i <= n ; i++)
        ans = max(ans,mx[belong[i]] - mn[belong[i]]);
    printf("%d",ans);
}

SPFA：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<vector>
#include<queue>
#define N 100001
#define clr(x)  memset(x,0,sizeof(x))

using namespace std;

vector<int> one[N];
vector<int> two[N];
int n,m,ans;
int v[N],mone[N],temp[N],mtwo[N];

void spfa_one() {//正面代价最小 
    queue<int> q;
    q.push(1);
    temp[1] = 1; mone[1] = v[1];
    while(!q.empty()) {
        int u = q.front();
        for(int i = 0; i < one[u].size(); i++) {
            int t = one[u][i];
            if(!mone[t]) mone[t] = v[t];
            mone[t] = min(mone[t], mone[u]);
            if(!temp[t]) q.push(t), temp[t] = 1;
        }
        q.pop();
    }
}

void spfa_two() {//翻边后求代价最大，即i到n价值最大 
    clr(temp);
    queue<int> q;
    q.push(n);
    temp[n] = 1; mtwo[n] = v[n];
    while(!q.empty()) {
        int u = q.front();
        for(int i = 0; i < two[u].size(); i++) {
            int t = two[u][i];
            if(!mtwo[t]) mtwo[t] = v[t];
            mtwo[t] = max(mtwo[t], mtwo[u]);
            if(!temp[t]) q.push(t), temp[t] = 1;
        }
        q.pop();
    }
}

int main() {
    freopen("trade.in","r",stdin);
    freopen("trade.out","w",stdout);
    scanf("%d%d",&n,&m);
    for(int i = 1; i <= n; i++) scanf("%d",&v[i]);
    for(int x,y,z,i = 1; i <= m; i++) {
        scanf("%d%d%d",&x,&y,&z);
        one[x].push_back(y); two[y].push_back(x);
        if(z > 1) one[y].push_back(x), two[x].push_back(y);     //连双向 
    }
    spfa_one(); spfa_two();     //正反SPFA 
    for(int i = 1; i <= n; i++) ans = max(mtwo[i]-mone[i], ans);    //将正反SPFA的结果作差求MAX即ans 
    printf("%d",ans);
    return 0;
}