【强联通分量缩点】【最短路】【spfa】bzoj1179 [Apio2009]Atm

缩点后转化成 DAG图上的单源最长路问题。spfa/dp随便。

 #include<cstdio>
 #include<queue>
 #include<algorithm>
 #include<vector>
 #include<cstring>
 using namespace std;
 int cmp[],sum,n,m,Us[],Vs[],t,w[],sta,k,ans,dis[];
 bool vis[],inq[];
 struct Edge{int v,w;Edge(const int &a,const int &b){v=a;w=b;}Edge(){}};
 vector<int>G[],rG[],G2[],vs;
 typedef vector<int>::iterator ITER;
 queue<int>q;
 void dfs(int U)
 {
     vis[U]=;
     for(ITER it=G[U].begin();it!=G[U].end();++it) if(!vis[*it]) dfs(*it);
     vs.push_back(U);
 }
 void dfs2(int U)
 {
     cmp[U]=sum;
     for(ITER it=rG[U].begin();it!=rG[U].end();++it) if(!cmp[*it]) dfs2(*it);
 }
 void scc()
 {
     for(int i=;i<=n;i++) if(!vis[i]) dfs(i);
     ITER it=vs.end(); --it;
     for(;;it--)
       {
         if(!cmp[*it]) {++sum; dfs2(*it);}
         if(it==vs.begin()) break;
       }
 }
 void spfa(const int &s)
 {
     dis[s]=w[s]; q.push(s); inq[s]=;
     while(!q.empty())
       {
         int U=q.front();
         for(ITER it=G2[U].begin();it!=G2[U].end();it++)
           if(dis[*it]<dis[U]+w[*it])
             {
               dis[*it]=dis[U]+w[*it];
               if(!inq[*it])
                 {
                   q.push(*it);
                   inq[*it]=;
                 }
             }
         q.pop(); inq[U]=;
       }
 }
 int main()
 {
     scanf("%d%d",&n,&m);
     for(int i=;i<=m;++i)
       {
           scanf("%d%d",&Us[i],&Vs[i]);
           G[Us[i]].push_back(Vs[i]);
           rG[Vs[i]].push_back(Us[i]);
       } scc();
     for(int i=;i<=n;++i) {scanf("%d",&t); w[cmp[i]]+=t;}
     for(int i=;i<=m;++i)
       if(cmp[Us[i]]!=cmp[Vs[i]])
         G2[cmp[Us[i]]].push_back(cmp[Vs[i]]);
     scanf("%d%d",&sta,&k);
     spfa(cmp[sta]);
     for(int i=;i<=k;++i)
       {
           scanf("%d",&t);
           ans=max(dis[cmp[t]],ans);
       } printf("%d\n",ans);
     return ;
 }