【codevs4093】EZ的间谍网络 tarjan

最新推荐文章于 2022-05-14 18:18:34 发布

原创最新推荐文章于 2022-05-14 18:18:34 发布 · 877 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#codevs

===图论=== 同时被 2 个专栏收录

101 篇文章

订阅专栏

tarjan scc

4 篇文章

订阅专栏

这篇博客介绍了如何利用Tarjan算法解决一个关于间谍网络控制的问题。在这个问题中，目标是确定是否能通过收买部分间谍来控制整个网络，以及所需的最小资金。博客提供了输入输出描述、样例数据以及数据范围提示，并强调这是一个适用于学习Tarjan算法的模板题。

题目描述 Description

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

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

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

输入描述 Input Description

第一行只有一个整数n。

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

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

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

输出描述 Output Description

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

样例输入 Sample Input

【样例1】

【样例2】

样例输出 Sample Output

【样例1】

YES

110

【样例2】

NO

3

数据范围及提示 Data Size & Hint

各个测试点1s

友情提示：请先膜拜下万能的YJY再做呦^_^

tarjan裸题，都不用缩点重建图的，统计强连通分量的入度即可…
可以用来当模板题

代码：

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<iostream>
#include<stack>
using namespace std;
const int INF=233333333;
const int size=1000010;
int n;

int head[size],nxt[size],tot=0,to[size];

void build(int f,int t)
{
    to[++tot]=t;
    nxt[tot]=head[f];
    head[f]=tot;
}

int dfn[size],low[size],dfs_clock=0;
int w[size];
int scccnt=0,sccnum[size],minw[size],xh[size];
stack<int> s;
void dfs(int u)
{
    low[u]=dfn[u]=++dfs_clock;
    s.push(u);
    for(int i=head[u];i;i=nxt[i])
    {
        int v=to[i];
        if(!dfn[v])
        {
            dfs(v);
            low[u]=min(low[u],low[v]);
        }
        else if(!sccnum[v])
        {
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(low[u]==dfn[u])
    {
        scccnt++;
        xh[scccnt]=u;
        while(233)
        {
            int x=s.top(); s.pop();
            minw[scccnt]=min(minw[scccnt],w[x]);
            xh[scccnt]=min(xh[scccnt],x);
            sccnum[x]=scccnt;
            if(x==u) break; 
        }
    }
}

int rd[size];

int ff[size],tt[size];
int main()
{
    scanf("%d",&n);
    int n1;
    scanf("%d",&n1);
    for(int i=1;i<=n;i++) w[i]=INF; 
    for(int i=1;i<=n1;i++)
    {
        int a,b;
        scanf("%d%d",&a,&b);
        w[a]=b;
    }

    int m;
    scanf("%d",&m);
    for(int i=1;i<=m;i++)
    {
        scanf("%d%d",&ff[i],&tt[i]);
        build(ff[i],tt[i]);
    }

    for(int i=1;i<=n;i++) minw[i]=INF;

    for(int i=1;i<=n;i++)
        if(!dfn[i])
            dfs(i);
    for(int i=1;i<=m;i++)
    {
        if(sccnum[ff[i]]!=sccnum[tt[i]])
        {
            rd[sccnum[tt[i]]]++;
        }
    }
    bool flag=1;
    int noans=INF,yesans=0;
    for(int i=1;i<=scccnt;i++)
    {
        if(!rd[i])
        {
            if(minw[i]==INF)
            {
                flag=0;
                noans=min(noans,xh[i]);
            }
            else yesans+=minw[i];
        }
    }
    if(flag)
    {
        puts("YES");
        printf("%d",yesans);
    }
    else
    {
        puts("NO");
        printf("%d",noans);
    }
    return 0;
}