洛谷 P1262 间谍网络 ( tarjan+缩点） 题解

题目来源：

https://www.luogu.org/problemnew/show/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： 复制

3
2
1 10
2 100
2
1 3
2 3

输出样例#1： 复制

YES
110

输入样例#2： 复制

4
2
1 100
4 200
2
1 2
3 4

输出样例#2： 复制

NO
3

 

解题思路：

      首先要知道这题有一个隐藏的信息，就是如果a被抓到那么a知道的人都会被抓，一直往后，知道所有人都不知道新的人，这时候我们就可以知道，不能找的罪犯就是不能被贿赂也不能通过别人找到，那么在遍历一次图就可以知道是谁，然后因为一个环里面的人都可以互相找到，所以我们只要缩点，并且去取贿赂价的最小值，然后重新建图，只要都能找到，那么花费最小就是入度为0的点，贿赂值加起来。。

代码：

#include <iostream>
#include <queue>
#include <stack>
#include <vector>
#include <cstring>
#include <cstring>
using namespace std;
int dfn[3005],low[3005],tot,gs,jd[3005],hl[3005],lt[3005],rd[3005];
bool vis[3005],ins[3005];
vector<int>E[3005];
stack<int>s;
void tarjan(int u)
{
    dfn[u]=low[u]=++tot;
    vis[u]=ins[u]=1;
    s.push(u);
    for(int i=0;i<E[u].size();i++)
    {
        int v=E[u][i];
        if(!dfn[v]){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(ins[v]){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        gs++;
        int mixn=1e9;
        while(1)
        {
            int now=s.top();
            s.pop();
            ins[now]=0;
            if(jd[now]!=-1){
                hl[gs]=min(jd[now],mixn);
            }
            vis[u]=0;
            lt[now]=gs;
            if(now==u)break;
        }
    }
}
int n;
void bfs()
{
    bool jl[3005];
    memset(jl,0,sizeof(jl));
    queue<int>q;
    for(int i=1;i<=n;i++)
    {
        if(jd[i]!=-1){
            q.push(i);
            jl[i]=1;
        }
        while(!q.empty())
        {
            int now=q.front();
            q.pop();
            for(int i=0;i<E[now].size();i++)
            {
                if(!jl[E[now][i]]){
                    q.push(E[now][i]);
                    jl[E[now][i]]=1;
                }
            }
        }
    }
    for(int i=1;i<=n;i++)
    {
        if(!jl[i]){
            cout<<i<<endl;
            return ;
        }
    }
}
int main()
{
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(jd,-1,sizeof(jd));
    memset(hl,-1,sizeof(hl));
    memset(vis,0,sizeof(vis));
    memset(ins,0,sizeof(ins));
    memset(lt,0,sizeof(lt));
    memset(rd,0,sizeof(rd));
    cin>>n;
    int m;
    cin>>m;
    for(int i=1;i<=m;i++)
    {
        int a,b;
        cin>>a>>b;
        jd[a]=b;
    }
    int k;
    cin>>k;
    for(int i=1;i<=k;i++)
    {
        int a,b;
        cin>>a>>b;
        E[a].push_back(b);
    }
    tot=0;gs=0;
    for(int i=1;i<=n;i++)
    {
        if(!dfn[i])tarjan(i);
    }
    for(int i=1;i<=n;i++)
    {
        for(int j=0;j<E[i].size();j++)
        {
            if(lt[i]==lt[E[i][j]])continue;
            rd[lt[E[i][j]]]++;
        }
    }
    int flag=0,sum=0;
    for(int i=1;i<=gs;i++)
    {
        if(!rd[i]){
            if(hl[i]==-1){
                flag=1;
            }
            else{
                sum+=hl[i];
            }
        }
    }
    if(flag){
        cout<<"NO"<<endl;
        bfs();
    }
    else{
        cout<<"YES"<<endl;
        cout<<sum<<endl;
    }
    return 0;
}