CODEVS 4093 EZ的间谍网络

题目描述 Description
由于外国间谍的大量渗入，学校安全正处于高度的危机之中。YJY决定挺身而作出反抗。如果A间谍手中掌握着关于B间谍的犯罪证据，则称A可以揭发B。有些间谍收受贿赂，只要给他们一定数量的美元，他们就愿意交出手中掌握的全部情报。所以，如果我们能够收买一些间谍的话，我们就可能控制间谍网中的每一分子。因为一旦我们逮捕了一个间谍，他手中掌握的情报都将归我们所有，这样就有可能逮捕新的间谍，掌握新的情报。
我们的神通广大的YJY获得了一份资料，色括所有已知的受贿的间谍，及他们愿意收受的具体数额。同时我们还知道哪些间谍手中具体掌握了哪些间谍的资料。假设总共有n个间谍(n不超过3000)，每个间谍分别用1到3000的整数来标识。
请根据这份资料，判断我们是否有可能控制全部的间谍，如果可以，求出我们所需要支付的最少资金。否则，输出不能被控制的一个间谍。

输入描述 Input Description
第一行只有一个整数n。
第二行是整数p。表示愿意被收买的人数，1≤p≤n。
接下来的p行，每行有两个整数，第一个数是一个愿意被收买的间谍的编号，第二个数表示他将会被收买的数额。这个数额不超过20000。
紧跟着一行只有一个整数r，1≤r≤8000。然后r行，每行两个正整数，表示数对(A, B)，A间谍掌握B间谍的证据。
　　
输出描述 Output Description
如果可以控制所有间谍，第一行输出YES，并在第二行输出所需要支付的贿金最小值。否则输出NO，并在第二行输出不能控制的间谍中，编号最小的间谍编号。

样例输入 Sample Input【样例1】
3
2
1 10
2 100
2
1 3
2 3
【样例2】
4
2
1 100
4 200
2
1 2
3 4

样例输出 Sample Output
【样例1】
YES
110
【样例2】
NO
3

听说今天你们提高组讲了tarjan？
@Loi_black 苗嘿嘿嘿%%%%%

随便水一波吧….
tarjan缩点题。

题目大意…给你一个图，其中有些点可以购买，购买了某个点就可以获得这个点能到的点。

如果不能通过购买其中的一些点而获得所有点的话，输出编号最小的点，这个比较好处理，如果有SCC不能到的话的缩掉，记录一下这个SCC中最小的点。

如果能获得所有点的话，输出最小花费。
显然，当我们处理了以后，只购买掉没有入度的SCC就可以了。（过程自证，特别水= =）

这题关键在缩点，直接看代码吧….讲的很详细。

#include<algorithm>#include<stack>#include<cstdio>#include<cmath>#include<iostream>#include<cstring>using namespace std;const int maxn=200000+500;const int inf=0x7ffffff;struct Edge{    int f;    int to;    int d;    int next;}edge[maxn];int n;int head[maxn];int dq[maxn],mindq[maxn];int pre[maxn],low[maxn];int ff[maxn],tt[maxn];int minum[maxn];int rd[maxn],cd[maxn];int tot;void add(int f,int t){    edge[++tot].f=f;    edge[tot].to=t;    edge[tot].next=head[f];    head[f]=tot;}int scc[maxn];int sccnt;int dfscnt;stack<int>s;void dfs(int x){    pre[x]=low[x]=++dfscnt;    s.push(x);    for(int i=head[x];i;i=edge[i].next)    {        Edge e=edge[i];        if(!pre[e.to])        {            dfs(e.to);            low[x]=min(low[x],low[e.to]);        }         if(!scc[e.to])        {            low[x]=min(low[x],pre[e.to]);        }    }     if(pre[x]==low[x])    {        sccnt++;        minum[sccnt]=x;        while(1)        {            int hah=s.top();            scc[hah]=sccnt;            mindq[sccnt]=min(mindq[sccnt],dq[hah]);            minum[sccnt]=min(minum[sccnt],hah);            s.pop();            if(hah==x)            {                break;            }        }    }}int main(){    int p;    scanf("%d%d",&n,&p);    for(int i=1;i<=n;i++)    {        dq[i]=mindq[i]=inf;    }    for(int i=1;i<=p;i++)    {        int a,b;        scanf("%d%d",&a,&b);        dq[a]=b;    }    int r;    scanf("%d",&r);    for(int i=1;i<=r;i++)    {        scanf("%d%d",&ff[i],&tt[i]);        add(ff[i],tt[i]);    }    for(int i=1;i<=n;i++)    {        if(!pre[i])        dfs(i);    }    bool flag=0;    for(int i=1;i<=r;i++)    {        if(scc[ff[i]]!=scc[tt[i]])        {            rd[scc[tt[i]]]++;        }    }    int nm=inf;    int ans=0;    for(int i=1;i<=sccnt;i++)    {        if(!rd[i])        {            if(mindq[i]>=inf)            {                nm=min(nm,minum[i]);                flag=1;                break;            }            else            {                ans+=mindq[i];            }        }    }    if(flag)    {        puts("NO");        printf("%d",nm);    }    else    {        puts("YES");        printf("%d",ans);    }    return 0;}