TYVJ P1153 间谍网络

P1153 间谍网络

时间: 1000ms / 空间: 131072KiB / Java类名: Main

描述

由于外国间谍的大量渗入，国家安全正处于高度危机之中。如果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

输入

2 
1 
2 512 
2 
1 2 
2 1

输出

YES 
512

解题：强连通缩点，看看入度为0 的强连通块中哪个最小选哪个。。。

 #include <bits/stdc++.h>
 using namespace std;
 const int maxn = ;
 const int INF = 0x3f3f3f3f;
 struct arc {
     int to,next;
     arc(int x = ,int y = -) {
         to = x;
         next = y;
     }
 } e[];
 int head[maxn],dfn[maxn],low[maxn],belong[maxn];
 int minV[maxn],value[maxn],in[maxn],tot,idx,scc,n,m;
 bool instack[maxn];
 stack<int>stk;
 void init() {
     for(int i = ; i < maxn; ++i) {
         dfn[i] = low[i] = head[i] = -;
         instack[i] = false;
         minV[i] = value[i] = INF;
         in[i] = belong[i] = ;
     }
     tot = scc = idx = ;
     while(!stk.empty()) stk.pop();
 }
 void add(int u,int v) {
     e[tot] = arc(v,head[u]);
     head[u] = tot++;
 }
 void tarjan(int u) {
     dfn[u] = low[u] = ++idx;
     instack[u] = true;
     stk.push(u);
     for(int i = head[u]; ~i; i = e[i].next) {
         if(dfn[e[i].to] == -) {
             tarjan(e[i].to);
             low[u] = min(low[u],low[e[i].to]);
         } else if(instack[e[i].to]) low[u] = min(low[u],dfn[e[i].to]);
     }
     if(low[u] == dfn[u]) {
         scc++;
         int v;
         do {
             instack[v = stk.top()] = false;
             stk.pop();
             belong[v] = scc;
         } while(v != u);
     }
 }
 int main() {
     int u,v,w;
     while(~scanf("%d",&n)) {
         init();
         scanf("%d",&m);
         for(int i = ; i <= m; ++i) {
             scanf("%d %d",&u,&w);
             value[u] = w;
         }
         scanf("%d",&m);
         while(m--) {
             scanf("%d %d",&u,&v);
             add(u,v);
         }
         for(int i = ; i <= n; ++i)
             if(dfn[i] == -) tarjan(i);
         int ans = ;
         for(int i = ; i <= n; ++i) {
             minV[belong[i]] =  min(minV[belong[i]],value[i]);
             for(int j = head[i]; ~j; j = e[j].next) {
                 if(belong[i] != belong[e[j].to]) in[belong[e[j].to]]++;
                 minV[belong[e[j].to]] = min(minV[belong[e[j].to]],value[e[j].to]);
             }
         }
         for(int i = ; i <= scc; ++i)
             if(!in[i]) {
                 if(minV[i] == INF) {
                     ans = INF;
                     break;
                 }
                 ans += minV[i];
             }
         if(ans < INF) printf("%s\n%d\n","YES",ans);
         else{
             for(int i = ; i <= n; ++i)
             if(in[belong[i]] ==  && minV[belong[i]] == INF && value[i] == INF){
                 ans = i;
                 break;
             }
             printf("%s\n%d\n","NO",ans);
         }
     }
     return ;
 }