tarjan算法笔记 例题：【NOIP2015】信息传递

推荐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;
}