二分图强连通分量 tarjan 模板

#include<iostream>
#include<string.h>
#include<stdio.h>
#include<vector>
#define maxx 200000
using namespace std;
int a,b,c,d,n,m;
int cnt,fail,biao;

//cnt是每个强连通分量的编号
//fail是栈sta的指针
//biao用于给节点编号


int sta[maxx],belong[maxx],dnf[maxx],low[maxx];
//sta是栈
//belong[i]代表节点i所在的强连通分量编号
//dnf是每个节点的编号
//low其实我也不知道是啥，只要懂他的作用就ok

bool insta[maxx];//节点是否在栈中
vector<int> lin[maxx];//图

int tarjan(int i)
{
        int j;
        dnf[i]=low[i]=++biao;
        sta[++fail]=i;
        insta[i]=true;//编号并入栈
        for (unsigned k=0;k<lin[i].size();k++)
        {
                j=lin[i][k];
                if (dnf[j]==0)    //如果子节点没有编号
                {
                        tarjan(j);
                        low[i]=min(low[i],low[j]);//父亲节点low值是其子节点中low的最小值
                }
                else if (insta[j] && dnf[j]<low[i])
                        low[i]=dnf[j];　　　//好吧这句我不知道为啥，问了老师来补充
        }
        if (low[i]==dnf[i])//如果形成了一个环，即形成了一个强连通分量，出栈，更新belong数组
        {
                cnt++;
                do    //不会这一句的童鞋不要乱改这里，否则可能会错
                {
                        j=sta[fail--];
                        belong[j]=cnt;
                        insta[j]=0;
                }
                while(i!=j);
        }
}





int solve()
{
        for (int i=1;i<=n;i++)//初始化
        {
                vis[i]=0;
                insta[i]=false;
                sta[i]=0;
                belong[i]=0;
                dnf[i]=0;
                low[i]=0;
        }
        for (int i=1;i<=n;i++)
                if (dnf[i]==0)    //图可能不连通
                        tarjan(i);
}
int main()
    {

        n=6;
        lin[1].push_back(3);
        lin[1].push_back(2);
        lin[2].push_back(4);
        lin[3].push_back(5);
        lin[3].push_back(4);
        lin[4].push_back(1);
        lin[4].push_back(6);
        lin[5].push_back(6);

        solve();
        for(int i=1;i<=n;i++)
            cout<<belong[i]<<" ";
        cout<<endl;
        return 0;
    }