割点的tarjan算法模板

基本思路:

朴素的思想是删除每一个点,然后去dfs,这样无疑会爆炸

换一种思路,怎样判断是割点呢,如果是根节点的话毫无疑问只要看子树的数目,但是如果不是根节点呢,不知大牛是怎样想到的

利用两个数组dfn和low数组,含义分别是dfn[u]表示顶点u第几个被(首次)访问

low[u]表示顶点u及其子树中的点,通过非父子边(回边),能够回溯到的最早的点(dfn最小)的dfn值(但不能通过连接u与其父节点的边)。

对于边(u, v),如果low[v]>=dfn[u],此时u就是割点。

至于为什么,对于边(u, v),如果low[v]>=dfn[u],即v即其子树能够(通过非父子边)回溯到的最早的点,最早也只能是u,

要到u前面就需要u的回边或u的父子边。也就是说这时如果把u去掉,u的回边和父子边都会消失,

那么v最早能够回溯到的最早的点,已经到了u后面,无法到达u前面的顶点了,此时u就是割点。

代码如下:

bool vis[maxn],cut[maxn];
int dfn[maxn],low[maxn];
int cnt;
vector<int>gra[maxn];
void cutPoint(int u,int v){
    vis[u]=true;
    dfn[u]=low[u]=++cnt;
    int child=0;
    int sz=gra[u].size();
    for(int i=0;i<sz;i++){
        int v=gra[u][i];
        if(v!=f&&vis[v]){
            low[u]=min(low[u],dfn[v]);
        }else if(!vis[v]){
            child++;
            cutPoint(u,v);
            low[u]=min(low[u],low[v]);
            if((f==-1&&child>1)||(f!=-1&&low[v]>=dfn[u])){
                cnt[u]=true;
            }
        }
    }
}

  

原文地址:https://www.cnblogs.com/imzscilovecode/p/8663943.html