Codevs 4093 EZ的间谍网络 (Tarjan求强连通分量)

题意分析

首先分析，题目中可能出现一群间谍处于一个强连通分量中。也就是说，间谍了解到的信息成一个强连通分量，我们只要掌握其中的一个间谍，就可以在知道这个强连通分量中的所有间谍信息。这样的话，获得这个强连通分量的最小代价，就是其中最小的间谍了。

所以，为了处理这样的强连通分量，首先用tarjan进行缩点。
然后我们考虑不能获得全部间谍信息的情况。 也就是说存在一个间谍的信息不能被获取。 什么时候会出现这样的情况呢？ 当然是没有边指向他，同时他也不能被收买。 这样的间谍是无法被获取的。

接着考虑如何检查是否存在这样的点。 我们回到tarjan算法的执行过程，我们遇到一个dfn没有被赋值的点，就对他进行tarjan，那么如果这个点dfn没有赋值，同时他也不能被收买，也就说明他不能回去信息；而在tarjan算法执行过程中遇到的点，其实都可以通过收买遇到的第一个点，间接获取到。这样一来，就可以得到什么时候不能访问到的点了。进而得出判断为NO的条件。

最后考虑下，输出为YES时，答案的统计。
首先对于一个SCC（强连通分量）中的点，我们只需要选取其中一个花费最小的即可了。但是要考虑到所点后的图的收买先后顺序。 这里解决方法有多个，就说其中最简单的一个。

我们对缩点后的图统计每个连通分量的入度，只要入度为0，那么他一定代表我必须要收买这个连通分量中的点是吧，好的那么我就收买他其中的花费最小的，这个可以tarjan弹栈的时候预处理出来，然后将这些答案累计，求得最后结果即可。

代码总览

#include<bits/stdc++.h>
using namespace std;
const int nmax = 100000;
const int INF = 0x3f3f3f3f;
int low[nmax],dfn[nmax],ss[nmax],color[nmax],head[nmax],money[nmax],in[nmax],mm[nmax];
bool visit[nmax],bev[nmax];
int tot,top,dfnnum,sccnum,m,n,r;
typedef struct{
    int nxt,to;
}Edge;
Edge e[nmax] ,ee[nmax];
void add(int u, int v){
    e[tot].to = v;
    e[tot].nxt = head[u];
    head[u] = tot ++;
}
void init(){
    memset(head,-1,sizeof head);
    memset(money,-1,sizeof money);
    tot = top = dfnnum = sccnum = 0;
}
void tarjan(int u){
    bev[u] = 1;
    low[u] = dfn[u] = ++dfnnum;
    visit[u] = true; ss[++top] = u;
    for(int i = head[u];i!=-1;i = e[i].nxt){
        int v = e[i].to;
        if(!dfn[v]){
            tarjan(v);
            low[u] = min(low[u] , low[v]);
        }else if(visit[v]) low[u] = min(low[u],dfn[v]);
    }
    if(low[u] == dfn[u]){
        int nowmin = money[u] == -1 ? INF:money[u];
        visit[u] = false;
        color[u] = ++sccnum;
        while(ss[top] != u){
            visit[ss[top]] = false;
            color[ss[top]] = sccnum;
            top--;
            if(money[ss[top]] != -1) nowmin = min(nowmin,money[ss[top]]);
        }
        top--;
        mm[color[u]] = nowmin;
    }
}
void getcount(){
    for(int i = 1;i<=n;++i){
        for(int j = head[i]; j != -1;j = e[j].nxt){
            int v = e[j].to;
            if(color[i] == color[v]) continue;
            else in[color[v]] ++;
        }
    }
}
int main(){
    init();
    int u,v;
    scanf("%d %d",&n,&m);
    for(int i = 0;i<m;++i){
        scanf("%d %d",&u,&v);
        money[u] = v;
    }
    scanf("%d",&r);
    for(int i = 0;i<r;++i){
        scanf("%d %d",&u,&v);
        add(u,v);
    }
    for(int i = 1;i<=n;++i) if(!dfn[i] && money[i] != -1) tarjan(i);
    for(int i = 1;i<=n;++i){
        if(!bev[i]){
            puts("NO");
            printf("%d\n",i);
            return 0;
        }
    }
    int ans  = 0;
    getcount();
    for(int i = 1;i<=sccnum;++i)
        if(in[i] == 0 )
            ans += mm[i];
    puts("YES");
    printf("%d\n",ans);
    return 0;
}