洛谷 P1262 间谍网络

题目描述

由于外国间谍的大量渗入，国家安全正处于高度的危机之中。如果A间谍手中掌握着关于B间谍的犯罪证据，则称A可以揭发B。有些间谍收受贿赂，只要给他们一定数量的美元，他们就愿意交出手中掌握的全部情报。所以，如果我们能够收买一些间谍的话，我们就可能控制间谍网中的每一分子。因为一旦我们逮捕了一个间谍，他手中掌握的情报都将归我们所有，这样就有可能逮捕新的间谍，掌握新的情报。

我们的反间谍机关提供了一份资料，色括所有已知的受贿的间谍，以及他们愿意收受的具体数额。同时我们还知道哪些间谍手中具体掌握了哪些间谍的资料。假设总共有n个间谍(n不超过3000)，每个间谍分别用1到3000的整数来标识。

请根据这份资料，判断我们是否有可能控制全部的间谍，如果可以，求出我们所需要支付的最少资金。否则，输出不能被控制的一个间谍。
输入输出格式
输入格式：

第一行只有一个整数n。

第二行是整数p。表示愿意被收买的人数，1≤p≤n。

接下来的p行，每行有两个整数，第一个数是一个愿意被收买的间谍的编号，第二个数表示他将会被收买的数额。这个数额不超过20000。

紧跟着一行只有一个整数r，1≤r≤8000。然后r行，每行两个正整数，表示数对(A, B)，A间谍掌握B间谍的证据。

输出格式：

如果可以控制所有间谍，第一行输出YES，并在第二行输出所需要支付的贿金最小值。否则输出NO，并在第二行输出不能控制的间谍中，编号最小的间谍编号。

输入输出样例
输入样例#1：

【样例1】
3
2
1 10
2 100
2
1 3
2 3
【样例2】
4
2
1 100
4 200
2
1 2
3 4

输出样例#1：

【样例1】
YES
110
【样例2】
NO
3

---

【分析】
tarjan求强连通分量
重新建图
找出入度为0的且能被收买的点累加进答案
同一个缩点中找出最小收买价格加入答案

---

【代码】

//间谍网络(age) #include<iostream>#include<stack> #include<vector>#include<cstdio>#include<cstring>#define fo(i,j,k) for(i=j;i<=k;i++)using namespace std;const int mxn=8005;stack <int> s;vector <int> f[mxn];struct buy {int who,mon;} a[mxn]; struct edg {int from,to;} e[mxn]; int n,p,r,tim,num,ans,ha;int dfn[mxn],low[mxn],be[mxn],du[mxn],cost[mxn];bool vis[mxn],in[mxn];inline void tarjan(int u){    int i,j,v,x=f[u].size()-1;    s.push(u);in[u]=1;    dfn[u]=low[u]=++tim;    fo(i,0,x)    {        v=f[u][i];        if(!dfn[v]) tarjan(v),low[u]=min(low[u],low[v]);        else if(in[v]) low[u]=min(low[u],dfn[v]);    }    if(dfn[u]==low[u])    {        num++;        do        {            v=s.top();            s.pop();            be[v]=num;            in[v]=0;        }while(u!=v);    }}inline void dfs(int u){    int i,j,v,x=f[u].size()-1;    vis[u]=1;    fo(i,0,x)    {        v=f[u][i];        if(!vis[v]) dfs(v);    }}int main(){//  freopen("age.in","r",stdin);//  freopen("age.out","w",stdout);    int i,j,k,u,v,mn=1e9;    scanf("%d%d",&n,&p);    fo(i,1,p)      scanf("%d%d",&a[i].who,&a[i].mon);    scanf("%d",&r);    fo(i,1,r) scanf("%d%d",&e[i].from,&e[i].to),f[e[i].from].push_back(e[i].to);    fo(i,1,n) if(!dfn[i]) tarjan(i);    fo(i,1,n) f[i].clear();    fo(i,1,r)    {        int t1=be[e[i].from];        int t2=be[e[i].to];        if(t1!=t2) f[t1].push_back(t2),du[t2]++;    }    fo(i,1,p) if(!vis[be[a[i].who]]) dfs(be[a[i].who]);    fo(i,1,num) if(!vis[i])    {fo(j,1,n) if(be[j]==i) mn=min(mn,j);}    if(mn!=1e9) {printf("NO\n%d\n",mn);return 0;}     memset(vis,0,sizeof vis);    fo(i,1,p)    {        int t1=be[a[i].who],c=a[i].mon;        if(!vis[t1] && du[t1]==0) ans+=c,cost[t1]=c;        if(vis[t1] && du[t1]==0 && c<cost[t1]) ans=ans-cost[t1]+c,cost[t1]=c;        vis[t1]=1;    }    printf("YES\n%d\n",ans);    return 0;}