APIO2009 ATM

题目：http://www.lydsy.com/JudgeOnline/problem.php?id=1179
分析：可以走多次，于是一个强连通分量内的都可以拿走。所以tarjan+spfa.
代码：

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <vector>
#include <stack>
#include <queue>
using namespace std;
const int Tmax=500005;
int n,m,w[Tmax],s,p,DFN[Tmax],low[Tmax],last,cnt,ww[Tmax],dist[Tmax],belong[Tmax];
bool bar[Tmax],BAR[Tmax],in[Tmax],v[Tmax];
vector<int> G[Tmax],GG[Tmax];
stack<int> ST;
queue<int> Q;
void tarjan(int x)
{
    int i,len=G[x].size(),to;
    DFN[x]=low[x]=++last;
    in[x]=true;
    ST.push(x);
    for(i=0;i<len;i++)
    {
        to=G[x][i];
        if(!DFN[to])
        {
            tarjan(to);
            low[x]=min(low[x],low[to]);
        }
        else if(in[to]) low[x]=min(low[x],DFN[to]);
    }
    if(DFN[x]==low[x])
    {
        cnt++;
        int tmp;
        do{
            tmp=ST.top();
            ST.pop();
            in[tmp]=false;
            belong[tmp]=cnt;
        }while(tmp!=x);
    }
    return;
}
void spfa()
{
    int i,x,len,ans=0;
    Q.push(belong[s]);
    v[belong[s]]=true;
    dist[belong[s]]=ww[belong[s]];
    while(!Q.empty())
    {
        x=Q.front();
        Q.pop();
        v[x]=false;
        len=GG[x].size();
        for(i=0;i<len;i++)
          if(dist[GG[x][i]]<dist[x]+ww[GG[x][i]])
          {
            dist[GG[x][i]]=dist[x]+ww[GG[x][i]];
            if(!v[GG[x][i]])
            {
                Q.push(GG[x][i]);
                v[GG[x][i]]=true;
            }
          }
    }
    for(i=1;i<=cnt;i++)
      if(BAR[i]) ans=max(ans,dist[i]);
    printf("%d",ans);
    return;
}
int main()
{
    int i,u,v;
    scanf("%d%d",&n,&m);
    for(i=1;i<=m;i++)
    {
        scanf("%d%d",&u,&v);
        G[u].push_back(v);
    }
    for(i=1;i<=n;i++)
      scanf("%d",&w[i]);
    scanf("%d%d",&s,&p);
    for(i=1;i<=p;i++)
    {
        scanf("%d",&u);
        bar[u]=true;
    }
    for(i=1;i<=n;i++)
      if(!DFN[i]) tarjan(i);
    for(i=1;i<=n;i++)
    {
        ww[belong[i]]+=w[i];
        BAR[belong[i]]|=bar[i];
        v=G[i].size();
        for(u=0;u<v;u++)
          if(belong[G[i][u]]!=belong[i])
            GG[belong[i]].push_back(belong[G[i][u]]);
    }
    spfa();
    return 0;
}