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 = 4000;
const int INF = 0x3f3f3f3f;
struct arc {
    int to,next;
    arc(int x = 0,int y = -1) {
        to = x;
        next = y;
    }
} e[500000];
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 = 0; i < maxn; ++i) {
        dfn[i] = low[i] = head[i] = -1;
        instack[i] = false;
        minV[i] = value[i] = INF;
        in[i] = belong[i] = 0;
    }
    tot = scc = idx = 0;
    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] == -1) {
            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 = 1; 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 = 1; i <= n; ++i)
            if(dfn[i] == -1) tarjan(i);
        int ans = 0;
        for(int i = 1; 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 = 1; i <= scc; ++i)
            if(!in[i]) {
                if(minV[i] == INF) {
                    ans = INF;
                    break;
                }
                ans += minV[i];
            }
        if(ans < INF) printf("%s
%d
","YES",ans);
        else{
            for(int i = 1; i <= n; ++i)
            if(in[belong[i]] == 0 && minV[belong[i]] == INF && value[i] == INF){
                ans = i;
                break;
            }
            printf("%s
%d
","NO",ans);
        }
    }
    return 0;
}