推荐b站一位up主的讲解视频,一共2p,讲得很清楚
求强连通分量有两种常用方法:1、tarjan 2、kosaraju算法
kosaraju算法是进行正反两次dfs,比较简单,这里不做介绍。
tarjun算法思路介绍
tarjan算法也是用dfs,用dfn数组来记录一个点被访问到的顺序,用low数组来记录这个点属于哪个强连通分量里(也可以理解为这个强连通分量里最早被访问的点的dfn值)
在dfs的同时还要用一个栈来压入被访问的点,以及一个vis数组来记录某个点是否位于栈中(毕竟不可能将栈中的点一个个弹出来判断某个点是否在里面)一旦dfs中遇到了栈中的点,就更新当前点的low值。如果某个点的dfn和low相同,说明这个强连通分量中所有的点都被访问过了,那么就进行出栈。
至于原理,建议去看上面视频p1结尾中up主的证明,非常容易理解。
例题:【NOIP2015】信息传递
//tarjun算法
//【NOIP2015】信息传递
#include <bits/stdc++.h>
#define maxn 200005
using namespace std;
int to[maxn]; //信息传递的下一个人
stack<int> stk;
int low[maxn]; //可以从哪个点到达(也可理解为属于哪个强连通分量里)
int dfn[maxn]; //被访问的顺序
int vis[maxn]; //记录是否在栈中
int tot = 0, ans = 0x3f3f3f3f;
void tarjan(int x)
{
low[x] = dfn[x] = ++tot;
vis[x] = 1;
stk.push(x);
int v = to[x];
//更新low[x]有两种方式,根据v的情况进行选择(画一个图会很好理解)
if (!dfn[v]) //v还没有入栈
{
tarjan(v);
low[x] = min(low[x], low[v]); //如果v能够到达在栈中的点,那么low[v]会更新,low[x]也将随之更新
}
else if (vis[v]) //v已经入过栈
low[x] = min(low[x], dfn[v]);
//回溯到强连通分量的起点处,开始出栈
if (low[x] == dfn[x])
{
int cnt = 1;
while (stk.top() != x)
{
vis[stk.top()] = 0;
stk.pop();
cnt++;
}
stk.pop();
//游戏进行几轮取决于最小的强连通分量中点的个数(前提是点数大于1)
if (cnt > 1) ans = min(ans, cnt);
}
}
int main()
{
int n, v;
cin >> n;
for (int i = 1; i <= n; i++)
{
scanf("%d", &v);
to[i] = v;
}
for (int i = 1; i <= n; i++)
if (!dfn[i]) tarjan(i);
cout << ans << endl;
return 0;
}