bzoj 1179 tarjan+spfa

　　首先我们可以将这个图缩成DAG，那么问题中的路线就可以简化为DAG中的一条链，那么我们直接做一遍spfa就好了。

　　反思：开始写的bfs，结果bfs的时候没有更新最大值，而是直接赋的值，后来发现不能写bfs，因为每个点可能进队好多次，当让可以改成循环队列什么的bfs，然后我就改成了spfa，伪的spfa，就是判一下这个点是不是更优了，更优才入队。

/**************************************************************
    Problem: 1179
    User: BLADEVIL
    Language: C++
    Result: Accepted
    Time:6640 ms
    Memory:109356 kb
****************************************************************/
 
//By BLADEVIL
#include <cstdio>
#include <cstring>
#include <algorithm>
#define maxm 2000010
#define maxn 2000010
 
using namespace std;
 
int n,m,s,tot,time,num,p,l;
int pre[maxm],other[maxm],last[maxn],key[maxn],flag[maxn];
int stack[maxn],dfn[maxn],low[maxn],vis[maxn],col[maxn],que[maxn],w[maxn];
 
void connect(int x,int y) {
    pre[++l]=last[x];
    last[x]=l;
    other[l]=y;
}
 
void dfs(int x) {
    stack[++tot]=x; vis[x]=1;
    dfn[x]=low[x]=++time;
    for (int p=last[x];p;p=pre[p]) {
        if (!dfn[other[p]]) 
            dfs(other[p]),low[x]=min(low[x],low[other[p]]); else
        if (vis[other[p]]) low[x]=min(low[x],dfn[other[p]]);
    }
    if (dfn[x]==low[x]) {
        int cur=-1;
        num++;
        while (cur!=x) {
            cur=stack[tot--];
            vis[cur]=0;
            col[cur]=num;
        }
    }
}
 
int main() {
    scanf("%d%d",&n,&m); num=n;
    for (int i=1;i<=m;i++) {
        int x,y; scanf("%d%d",&x,&y);
        connect(x,y);
    }
    for (int i=1;i<=n;i++) scanf("%d",&key[i]);
    scanf("%d%d",&s,&p);
    while (p--) {
        int x; scanf("%d",&x);
        flag[x]=1;
    }
    dfs(s);
    for (int i=1;i<=n;i++) {
        for (int p=last[i];p;p=pre[p]) if (col[i]!=col[other[p]]) connect(col[i],col[other[p]]);
    }
    for (int i=1;i<=n;i++) key[col[i]]+=key[i],flag[col[i]]|=flag[i];
    memset(vis,0,sizeof vis);
    que[1]=col[s]; vis[col[s]]=1; w[col[s]]=key[col[s]];
    int h=0,t=1,ans=0;
    while (h<t) {
        int cur=que[++h];
        if (flag[cur]) ans=max(ans,w[cur]);
        for (int p=last[cur];p;p=pre[p]) {
            if (w[cur]+key[other[p]]>w[other[p]]) {
            w[other[p]]=max(w[other[p]],w[cur]+key[other[p]]);
            que[++t]=other[p]; vis[other[p]]=1;
            }
        }
    }
    printf("%d\n",ans);
    return 0;
}