点双连通分量

点双连通分量Tarjan方法，最近一直在做这方面的题，但是发现理解之后过几天就又不明白了，我还是记下来吧，不过现在还处于似懂非懂的阶段，如有错误请指正

下面这个是Tarjan模版

dfn[i]：记录dfs中的递归顺序

low[I]：记录从i节点以及i节点的子树可以回溯到的最早祖先的dfn值

无向图中只会存在树边和反向边，不存在跨越两棵子树的边。

void Tarjan (int u,int pre)
{
    dfn[u]=low[u]=++index;
    Stack[top++]=u; 
    instack[u]=true;  //我觉的按照这个写法，instack是可以不记录的，目前没有找到反例，欢迎打脸
    for(int i=head[u]; i!=-1; i=e[i].next)
    {
        int v=e[i].to;
        if(v==pre) continue;
<span style="white-space:pre">	</span>//if(e[i].vis) continue; 若有重边可以这样处理
<span style="white-space:pre">	</span>//e[i].vis=e[i^1].vis=true;
        //Stack[top++]=i; 若标记边属于哪个连通分量，可以将边压栈
        if(!dfn[v]) //该点还没有访问过
        {
            Tarjan(v,u);
            if(low[v]<low[u]) low[u]=low[v];
            if(low[v]>=dfn[u]) // 表示找到一个点双连通分量
            {
                int tmp;
                block++;
                belong[u].push_back(block); //要先记录u点，不能在后面记录将u点弹出，因为u是割点，会属于多个点双连通分量
                do
                {
                    tmp=Stack[--top];
                    belong[tmp].push_back(block);
                    instack[tmp]=false;
                }while(tmp!=v);
            }
        }
        else if(instack[v] && low[u]>dfn[v]) //该点访问过，很多地方有写 直接取 low[u]=min(low[u],low[v])，这是不对的，反例 5-3 4-5 3-4 1-3 1-2 2-3
        {
            low[u]=dfn[v];
        }

    }
}