Tarjan缩点（模板），受欢迎的牛，消息扩散， 间谍网络题解

2021-01-23 22:30:08 9 收藏
文章标签： dfs 算法 acm竞赛 图论
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/rongqwe/article/details/113045925
版权

这篇博客记录一下Tarjan缩点的模板题。
要是对Tarjan和缩点不了解的可以去看我上一篇博客

首先是洛谷的
P3387 【模板】缩点
在这里插入图片描述
题意很明显，就是求一条路径使经过的权值之和最大。

那么可以通过缩点+拓扑排序来解决问题。

注意的问题：
1.缩点时要把强连通分量的点的权值加到最后缩成点的那个权值中。
2.拓扑排序：简单来说就是在DAG图中寻找一个适合的解决问题的顺序，而这里这个顺序就是这个题目要求找的路径。
题解如下：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define inf 0x3f3f3f3f
typedef pair<int, int> P;
const int maxn = 1e5+5;
const ll mod = 1e9+7;
#define IO ios::sync_with_stdio(0)
using namespace std;
vector<int> g[maxn];
int val[maxn],low[maxn], dfn[maxn], sta[maxn], ins[maxn], belong[maxn];
int cnt, ind, tot; //cnt：强连通分量的数量， ind：时间戳， tot：sta的top
int sd[maxn];//缩点点后在哪个点
int in[maxn];//入度
int dist[maxn];
vector<int> sdg[maxn];
int n,m;
void init()
{
    memset(ins, 0, sizeof(ins));
    memset(belong, 0, sizeof(belong));
    memset(dfn, 0, sizeof(dfn));
    cnt = ind = tot = 0;
}
//求强连通分量
void Tarjan(int u)
{
    low[u] = dfn[u] = ++ind;
    ins[u] =1;
    sta[++tot] = u;
    for(int i=0;i<g[u].size();i++)
    {
        int v = g[u][i];
        if(!dfn[v])
        {
            Tarjan(v);
            low[u] = min(low[u],low[v]);
        }
        else if(ins[v])
        {
            low[u] = min(low[u],low[v]);
        }
    }
    int p;
    if(low[u] == dfn[u])
    {
        ++cnt;
        int y;
        while(y=sta[tot--])
        {
            sd[y] = u;
            ins[y] = 0;
            if(u==y) break;
            val[u]+=val[y];
            //cout<<"asd"<<endl;
        }
//这行代码会加了两次
//        do
//        {
//            p = sta[tot--];
//            sd[p] =u;
//            val[u]+=val[p];
//            cout<<"asd"<<endl;
//            //belong[p] = cnt;
//            ins[p] = 0;
//        }while(p!=u);
    }

}
int tuopu()
{
    queue <int> q;
	//int tot=0;
	for (int i=1;i<=n;i++)
        if (sd[i]==i&&!in[i])//入度为0，且是最后的那个缩点
        {
            q.push(i);
            dist[i]=val[i];
            //cout<<i<<" "<<dist[i]<<endl;
        }

    while(!q.empty())
    {
        int k=q.front();q.pop();
        for(int i=0;i<sdg[k].size();i++)
        {
            int v = sdg[k][i];
            dist[v] = max(dist[v],dist[k]+val[v]);
            in[v]--;
            if(in[v]==0) q.push(v);
        }
    }
    int ans=0;
    for (int i=1;i<=n;i++)
        ans=max(ans,dist[i]);
    return ans;
}
int main()
{

    IO;
    cin>>n>>m;
    for (int i=1;i<=n;i++)
        cin>>val[i];
    for(int i=0;i<m;i++)
    {
        int a,b;
        cin>>a>>b;
        g[a].push_back(b);
    }
    init();
    for (int i=1;i<=n;i++)
        if (!dfn[i]) Tarjan(i);
//    for(int i=1;i<=n;i++)
//        cout<<belong[i]<<" ";
//        for(int i=1;i<=n;i++)
//            cout<<sd[i]<<" ";
    //缩点，建图
    for(int i=1;i<=n;i++)
    for(int j=0;j<g[i].size();j++)
    {
        int x = sd[i],y=sd[g[i][j]];
        //cout<<x<<" "<<y<<endl;
        if(x!=y)
        {
            sdg[x].push_back(y);
            in[y]++;
        }
    }
    cout<<tuopu()<<endl;
    return 0;
}

接下里也是洛谷的tarjan题受欢迎的牛

在这里插入图片描述
由题可得，受欢迎的奶牛只有可能是图中唯一的出度为零的强连通分量中的所有奶牛，所以若出现两个以上出度为0的强连通分量则不存在明星奶牛，因为那几个出度为零的分量的爱慕无法传递出去。那唯一的分量能受到其他分量的爱慕同时在分量内相互传递，所以该分量中的所有奶牛都是明星。

但其实这里不用缩点，tarjan时标记处理下就好。不过我这里懒得改，缩了。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define inf 0x3f3f3f3f
typedef pair<int, int> P;
const int maxn = 1e5+5;
const ll mod = 1e9+7;
#define IO ios::sync_with_stdio(0)
using namespace std;
vector<int> g[maxn];
int low[maxn], dfn[maxn], sta[maxn], ins[maxn], belong[maxn];
int cnt, ind, tot; //cnt：强连通分量的数量， ind：时间戳， tot：sta的top
int sd[maxn];//缩点点后在哪个点
int chu[maxn];//入度
int all[maxn];
vector<int> sdg[maxn];
int n,m;
void init()
{
    memset(ins, 0, sizeof(ins));
    memset(belong, 0, sizeof(belong));
    memset(dfn, 0, sizeof(dfn));
    cnt = ind = tot = 0;
}
//求强连通分量
void Tarjan(int u)
{
    low[u] = dfn[u] = ++ind;
    ins[u] =1;
    sta[++tot] = u;
    for(int i=0;i<g[u].size();i++)
    {
        int v = g[u][i];
        if(!dfn[v])
        {
            Tarjan(v);
            low[u] = min(low[u],low[v]);
        }
        else if(ins[v])
        {
            low[u] = min(low[u],low[v]);
        }
    }
    int p;
    if(low[u] == dfn[u])
    {
        ++cnt;
        int y;
        while(y=sta[tot--])
        {
            sd[y] = cnt;
            ins[y] = 0;
            all[cnt]++;//将一个分量染成一个颜色
            if(u==y) break;

            //cout<<"asd"<<endl;
        }
//这行代码会加了两次
//        do
//        {
//            y = sta[tot--];
//            sd[y] = cnt;
//            all[cnt]++;
//            ins[y] = 0;
//
//        }while(y!=u);
    }

}


int main()
{

    IO;
    cin>>n>>m;
    for(int i=0;i<m;i++)
    {
        int a,b;
        cin>>a>>b;
        g[a].push_back(b);
    }
    init();
    for (int i=1;i<=n;i++)
        if (!dfn[i]) Tarjan(i);
//    for(int i=1;i<=n;i++)
//        cout<<belong[i]<<" ";
//        for(int i=1;i<=n;i++)
//            cout<<sd[i]<<" ";
    //缩点,并记录缩点后的入度
    for(int i=1;i<=n;i++)
    for(int j=0;j<g[i].size();j++)
    {
        int x = sd[i],y=sd[g[i][j]];
        //cout<<x<<" "<<y<<endl;
        if(x!=y)
        {
            sdg[x].push_back(y);
            chu[x]++;
        }
    }
    int ansindex = 0;
    for(int i=1;i<=cnt;i++)
    {
        if(!chu[i])
        {
            if(ansindex)
            {
                cout<<0<<endl;
                return 0;
            }
            ansindex = i;
        }
    }
    //cout<<ansindex<<endl;
    cout<<all[ansindex]<<endl;


    return 0;
}

然是消息扩散
在这里插入图片描述
这道题目和上面那道受欢迎的牛很像，先缩一下点，然后统计一下入度为0的点即可 。
这道的题解就不用放啦。

间谍网络
在这里插入图片描述
题意就看题吧。
解题思路：
这题有两种情况：
一是有的罪犯既不能贿赂他也没有罪犯能揭发他，那么此题无解，我们在遍历时打上标记，然后从小到大枚举，只要遇见没有标记的就输出NO和对应的点然后退出即可。（注意，我们是要从能被贿赂的罪犯作为起点Tarjan（dfs），代码有注释）

二是所有的罪犯都能直接或间接地被能贿赂的罪犯揭发。然后这里，也有两种情况，一是没有环，那么资金就是贿赂所有入度为0的罪犯，二是有环，那么资金就是那个环里罪犯所需资金最小的。我们想，如果我们把环里的罪犯缩成一个点，那么全都是前者的情况了，也是贿赂所有入度为0的点。

代码如下：

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define inf 0x3f3f3f3f
typedef pair<int, int> P;
const int maxn = 1e5+5;
const ll mod = 1e9+7;
#define IO ios::sync_with_stdio(0)
using namespace std;
vector<int> g[maxn];
int low[maxn], dfn[maxn], sta[maxn], ins[maxn], belong[maxn];
int cnt, ind, tot; //cnt：强连通分量的数量， ind：时间戳， tot：sta的top
int sd[maxn];//缩点点后在哪个点
int in[maxn];//入度
int sum[maxn];
int money[maxn];
vector<int> sdg[maxn];
int n,m;
void init()
{
    memset(ins, 0, sizeof(ins));
    memset(belong, 0, sizeof(belong));
    memset(dfn, 0, sizeof(dfn));
    cnt = ind = tot = 0;
}
//求强连通分量
void Tarjan(int u)
{
    low[u] = dfn[u] = ++ind;
    ins[u] =1;
    sta[++tot] = u;
    for(int i=0;i<g[u].size();i++)
    {
        int v = g[u][i];
        if(!dfn[v])
        {
            Tarjan(v);
            low[u] = min(low[u],low[v]);
        }
        else if(ins[v])
        {
            low[u] = min(low[u],low[v]);
        }
    }
    int p;
    if(low[u] == dfn[u])
    {
        ++cnt;
        int y;
        while(y=sta[tot--])
        {
            sd[y] = cnt;//缩点，从1下标开始
            ins[y] = 0;
            sum[cnt] = min(sum[cnt],money[y]);
            if(u==y) break;

            //cout<<"asd"<<endl;
        }
//这行代码会加了两次
//        do
//        {
//            y = sta[tot--];
//            sd[y] = cnt;
//            all[cnt]++;
//            ins[y] = 0;
//
//        }while(y!=u);
    }

}


int main()
{

    IO;
    cin>>n;
    for(int i=1;i<=n;i++)
        money[i]=inf,sum[i] = inf;
    int q;
    cin>>q;
    for(int i=1;i<=q;i++)
    {
        int a,b;
        cin>>a>>b;
        money[a] = b;
    }
    cin>>m;
    for(int i=0;i<m;i++)
    {
        int a,b;
        cin>>a>>b;
        g[a].push_back(b);
    }
    init();
    //如果他能够被贿赂就以他为起点找环
    for (int i=1;i<=n;i++)
        if (!dfn[i]&&money[i]!=inf) Tarjan(i);

    for(int i=1;i<=n;i++)//在这里我们用dfn数组来判断它是否被遍历过
        if(!dfn[i])
        {
            cout<<"NO\n";
            cout<<i<<endl;
            return 0;
        }

    //缩点,并记录缩点后的入度,这里可以不用再构图了
    for(int i=1;i<=n;i++)
    for(int j=0;j<g[i].size();j++)
    {
        int x = sd[i],y=sd[g[i][j]];
        //cout<<x<<" "<<y<<endl;
        if(x!=y)
        {
            sdg[x].push_back(y);
            in[y]++;
        }
    }
    int ans = 0;
    for(int i=1;i<=cnt;i++)
    {
        if(!in[i])//入度为0
        {
            ans+=sum[i];
        }
    }

    cout<<"YES\n";
    cout<<ans<<endl;

    return 0;
}
已标记关键词 清除标记
附：tarjan缩点模板题：洛谷p1726（这是最模板的了）
oldxmtang的博客
07-23 1113
  题目点这 这里发一份自己手打代码：（需要讲解的，可以看我的另一篇，讲的其实也不算太好，没帮助的话，就找其他人的吧：缩点） #include&lt;bits/stdc++.h&gt; using namespace std; const int mm=5050; int DFN[mm]; int LOW[mm]; int STACK[mm]; int sta; int tot; vect...
表情包
插入表情
还能输入1000个字符
POJ 2186【Tarjan算法(模板_缩点)】
ONE MORE TRY
05-15 2079
//在一张有向无环图G，图G会包含很多环（环里面的点是等价的）， //当然可以把环缩成一个点（利用tarjan缩点）， //形成一棵树，题目要求是求除他以外的点都指向他，也就是只有一个叶子。 //因为一旦有两个，那么两个叶子没有联系，也就不满足除他以外所有点指向了。 //那么我们只要在缩点之后的图中，找出出度为0的点，然后输出它里面的点就可以了。#include<iostream> #include
洛谷P2341 受欢迎的牛——Tarjan+缩点模板
bairui0504的博客
03-23 79
又是一道Tarjan水题，这次经过仔细的思考，没有打错邻接表（图论已入门qwq）。 还是先来说说思路吧，由题意知，就是给一张n个点，m条边的有向图，让你求出有多少个点可以由所有的点达到。 有如下定理：若在有向图中有且仅有一个点出度为零，那么所有点都可达到它（传说中的反证法可以证明它（真的吗，我没证出来，逃））。 但是这是一个点啊，怎么搞出所有点呢？...
【题解】P2341 受欢迎的牛（tarjan缩点）
Rem_Inory的博客
07-18 108
这个题运用到了缩点技巧，tarjan里我们记录下缩后的点的序号，对于每一个强连通分量来说，当栈顶元素不等于根节点时，我们将其出栈，记录下那个点的染色数组=新序号，并将新序号所包含的节点个数++（也就是记录这个强连通分量里有多少个结点）；由于强连通分量里的每个数都可以互相到达，那他们所代表的牛都是互相爱慕的，可以缩点。对于每一个染色后的结点，我们求他不包含缩点后的强连通分量的出度，并记录这个出度为0...
受欢迎的牛（Tarjan缩点模板）
weixin_30826761的博客
09-16 24
#include<cstdio> #include<cstring> #include<stack> using namespace std; int n,m,head[10005],vis[10005],dfn[10005], low[10005],color[10005],num[10005],out[10005]; int sum,cnt,t...
tarjan缩点-受欢迎的牛-笔记
Eliza_Her的博客
03-07 253
tarjan模板？emmmm，洛谷P2341。一些对于模板的解释在代码注释里。#include&lt;cstdio&gt;///板子借鉴自hzwer ，%%%hzwer #include&lt;cstring&gt; #include&lt;cstdlib&gt; #include&lt;cmath&gt; #include&lt;algorithm&gt; #define MAXN 100...
Tarjan算法_缩点
A_Bo的博客
03-30 2667
我们这一篇是在已经了解Tarjan算法的基础之上开始写的，如果不了解的话，请先看大牛们关于Tarjan算法的博客。首先我们先看一下一个问题：一个有向图，有n个点以及m条边，我们至少应该添加几条边才能使整个图变成强连通图。或者是一个无向图至少添加几条边变成连通图。首先我们对于一个有向无环的图（DAG），至少添加几条边才能使它变为强连通图？我们很容易根据有向无环图的性质得到，我们计算入度为零的点数为a...
【题解】洛谷P1726 上白泽慧音（tarjan缩点）
Rem_Inory的博客
08-23 92
拿到这道题后，知道tarjan算法的应该第一反应就是用tarjan缩点来求。观察一下数据范围，其实我们可以将裸的缩点模板打上去。问题可能集中在第二问，我们只需记录下染色的数组，在第二问时从小到大遍历如果当前点染的是最大的那个颜色，就输出来即可。 （代码下附题目背景人物 车万永不过气） #include&lt;cstdio&gt; #include&lt;iostream&gt; #inclu...
洛谷P3387 tarjan缩点+DP
The_OIer的博客
10-23 2474
题目描述 给定一个n个点m条边有向图，每个点有一个权值，求一条路径，使路径经过的点权值之和最大。你只需要求出这个权值和。 允许多次经过一条边或者一个点，但是，重复经过的点，权值只计算一次。 tarjan简介 强连通分量：有向图中，若任意两节点均能通过若干有向边达到对面，则这个有向图所有节点为强连通分量。例子：环。 tarjan算法是用来求强连通分量的算法。该算法把所有经过的节点压入一个栈中，若到达...
Tarjan 缩点模板 (将有向有环图缩点成为有向无环图DAG)
Harington的博客
04-20 187
缩点的作用 1）缩点的实际作用：把一个有向带环图，变成一个有向无环图（DAG） ，这样基于DAG的算法就能跑了。 2）可以算缩点后个点的出度 基本思想 一我们既然能在有向图中找到环，那么我们就可以吧环给缩成点了（利用Tarjan缩点），缩点基于一种染色实现，在DFS搜索的过程中，尝试吧属于同一个强连通分量的点都染成一个颜色，同一颜色的点就相当...
计蒜客 受欢迎的蒜头（tarjan缩点构图模板）
china震震的博客
09-13 409
题目链接： 受欢迎的蒜头 题目思路： 在有向无环图中，如果任意点都可以到达点 AA，那么有且仅有点 AA 的出度为 00。 解题方法： 通过tarjan缩点构图，变成有向无环图，然后统计新图的出度和入度得出答案。 学到的东西： 关于tarjan缩点构图后出度入度的统计方法。 代码： #include using namespace std; const int maxn=2e5+
【hh大神的】Tarjan + 缩点 模板
邂逅黛玛姑娘
08-12 734
此模板来自 notonlysuccess 大神就是吊啊。 不多说了，想学tarjan ，资料网上是有一堆的 这里只存一下
用tarjan缩点重建图
dreambyday
06-04 540
尝试一下缩点减新图。代码应当是poj2186的，但是poj崩了，也不知代码对不对。。。#include<iostream> #include<string> #include<stack> #include<vector> using namespace std; #define mem(arr,a) memset(arr,a,sizeof(arr)) #define N 10000 #define
洛谷1262间谍网络（tarjan缩点）
kaqiur
10-12 682
tarjan缩点思想：http://m.blog.csdn.net/blog/qq574857122/16361033 题目描述 由于外国间谍的大量渗入，国家安全正处于高度的危机之中。如果A间谍手中掌握着关于B间谍的犯罪证据，则称A可以揭发B。有些间谍收受贿赂，只要给他们一定数量的美元，他们就愿意交出手中掌握的全部情报。所以，如果我们能够收买一些间谍的话，我们就可能控制间谍网中
BZOJ2208: [Jsoi2010]连通数 Tarjan缩点+Dfs
Oakley
09-02 318
2208: [Jsoi2010]连通数 Time Limit: 20 Sec  Memory Limit: 512 MB Submit: 2241  Solved: 959 [Submit][Status][Discuss] Description Input 输入数据第一行是图顶点的数量，一个正整数N。 接下来N行，每行N个字符。第i行第j列的1表示顶点i
[BZOJ 1051][POJ 2186] 受欢迎的牛/Popular Cows Tarjan缩点+判断出度
江澤妮可
07-13 292
题目传送门：【BZOJ 1051】 【POJ 2186】 （两道题是一样的） 题目大意：每一头牛的愿望就是变成一头最受欢迎的牛。现在有 N 头牛，给你 M 对整数 ( A , B )，表示牛 A 认为牛 B 受欢迎。 这 种关系是具有传递性的，如果 A 认为 B 受欢迎，B 认为 C 受欢迎，那么牛 A 也认为牛 C 受欢迎。你的任务是求出有多少头 牛被所有的牛认为是受欢迎的。（0 ≤ N
【Tarjan】BZOJ1051(HAOI2006)[受欢迎的牛]题解
ZigZagK的博客
04-08 439
BZOJ1051题解。
2017acm乌鲁木齐赛区网络赛F题tarjan缩点
binarycopycode
09-19 395
poj1236是问把一棵树变成强联通分量，于是答案就是rudu为0的和出度为0的最大值，因为假设入度为0的多一些，先每个出度为0的连接一个入度为0的，那么还剩一些入度为0的，这时候入度为0的随意连接一些出度为0的，都可以通过不停地绕绕绕绕成为一个强联通分量。 这题是把一个有向图变成强联通分量，先把他们缩点，变成很多棵树，然后再求入度为0，和出度为0的总点数那个多，虽然他们是很多棵树的入度点和出度
【bzoj 1051】[HAOI2006]受欢迎的牛（Tarjan缩点）
reverie_mjp的博客
06-18 977
采漫天霞云，持一束流光，为你铺一世红妆
tarjan 缩点
高斯的博客
10-03 1168
tarjan啊(⊙o⊙)… 嗯。。我的理解可能比较诡异先说缩点： 洛谷P3387 的模板题目描述 给定一个n个点m条边有向图，每个点有一个权值，求一条路径，使路径经过的点权值之和最大。你只需要求出这个权值和。 允许多次经过一条边或者一个点，但是，重复经过的点，权值只计算一次。输入格式： 第一行，n,m 第二行，n个整数，依次代表点权 第三至m+2行，每行两个整数u,v，表示u->v有一
©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页