洛谷P1262 间谍网络

洛谷P1262 间谍网络

题目描述

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

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

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

输入输出格式

输入格式：

第一行只有一个整数 \(n\) 。

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

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

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

输出格式：

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

思路

tarjan缩点
缩点后每个强连通分量的资金消耗为该强连通分量中资金消耗最少的那个的值，每个点的\(id\)为该强连通分量中\(id\)最小的那个店的\(id\)的值
然后因为缩点后会形成一片森林，对于森林中的每一棵树，最少的支付资金为树顶节点的资金消耗，如果树顶节点不能够被贿赂，那就说明无解。

CODE

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <stack>
using namespace std;
#define MAXN 3010
#define MAXM 10010
struct Node{
    int u,v;
    Node(){}
    Node(int u,int v):u(u),v(v){}
}p[MAXM];
int head[MAXN],Next[MAXM],cost[MAXN],price[MAXN],low[MAXN],dfn[MAXN],color[MAXN],du[MAXN],id[MAXN];
bool instack[MAXN];
stack<int> mstack;
int i,j,k,m,n,u,v,tot,colnum,times,q,ans;
bool flag;
void addNode(int u,int v){
    p[++tot]=Node(u,v);
    Next[tot]=head[u],head[u]=tot;
}
void tarjan(int src){
    low[src]=dfn[src]=++times;
    instack[src]=true;
    mstack.push(src);
    for(int i=head[src];i+1;i=Next[i]){
        if(!dfn[p[i].v]){
            tarjan(p[i].v);
            low[src]=min(low[src],low[p[i].v]);
        }else{
            if(instack[p[i].v]) low[src]=min(low[src],dfn[p[i].v]);
        }
    }
    if(dfn[src]==low[src]){
        colnum++;
        int tmp;
        do{
            tmp=mstack.top();
            mstack.pop();
            instack[tmp]=false;
            color[tmp]=colnum;
        }while(tmp!=src);
    }
}
int main(){
    scanf("%d",&n);
    memset(head,-1,sizeof(head));
    memset(price,0x7f,sizeof(cost));
    scanf("%d",&q);
    for(i=1;i<=q;i++){
        scanf("%d%d",&u,&v);
        price[u]=min(price[u],v);
    }
    scanf("%d",&m);
    for(i=1;i<=m;i++){
        scanf("%d%d",&u,&v);
        addNode(u,v);
    }
    colnum=times=0;
    for(i=1;i<=n;i++)
        if(!dfn[i]) tarjan(i);
    memset(cost,0x7f,sizeof(cost));
    memset(id,0x7f,sizeof(id));
    for(i=1;i<=n;i++){
        cost[color[i]]=min(cost[color[i]],price[i]);
        id[color[i]]=min(id[color[i]],i);
        for(j=head[i];j+1;j=Next[j]){
            if(color[p[j].u]!=color[p[j].v]){
                du[color[p[j].v]]++;
            }
        }
    }
    flag=true; ans=0;
    for(i=1;i<=colnum;i++){
        if(!du[i]){
            if(flag&&cost[i]!=cost[0]){
                ans+=cost[i];
            }else{
                flag=false;
                if(ans==0) ans=0xac666;
                ans=min(ans,id[i]);
            }
        }
    }
    if(flag){
        printf("YES\n%d",ans);
    }else{
        printf("NO\n%d",ans);
    }
    return 0;
}

转载于:https://www.cnblogs.com/linxif2008/p/10053270.html