Tarjan在图论中的应用（二）——用Tarjan来求割点与割边

前言： $Tarjan$

求割点和割边建立在 $Tarjan$ 算法的基础之上，因此建议在看这篇博客之前先去学一学 $Tarjan$ 。

Link

$Tarjan$ 算法详见博客Tarjan在图论中的应用（一）——用Tarjan来实现强连通分量缩点

回顾 $Tarjan$ 中各个数组的定义

首先，我们来回顾一下 $Tarjan$ 中各个数组的定义：

$dfn[$ $]$ ：每个点的 $dfs$ 序。

$low[$ $]$ ：每个点能到达的 $dfs$ 序最小的节点的 $dfs$ 序。

而其他数组在求割点和割边的过程中则不太必要了。

割点

首先，我们要了解一下割点的定义：把这个点去掉之后，这个点所在的联通块就会被分成若干个联通块。

既然这样，也就是说，只要这个节点某一个子节点所到达的节点的 $dfs$ 序大于等于该节点的 $dfs$ 序，即它的这个子节点无法到达 $dfs$ 序小于该节点的节点，就说明它是一个割点了。

而对于一个联通块第一个访问的节点，则需特判，如果它在遍历完一个节点所能遍历到的所有节点，还能找到没有被遍历过的节点，就说明它是一个割点。

代码如下：

inline void Tarjan(int x,int lst)//Tarjan求割点
{
    register int i,tot=0;//tot记录访问到的子节点个数
    for(dfn[x]=low[x]=++d,i=lnk[x];i;i=e[i].nxt)//枚举每一个子节点
    {
        if(!(e[i].to^lst)) continue;//如果这个节点是当前节点的父亲节点，就跳过
        if(!dfn[e[i].to])//如果这个子节点没有被访问过 
        {
            Tarjan(e[i].to,x),low[x]=min(low[x],low[e[i].to]),++tot;//遍历该子节点，更新low[x]，并将tot加1
            if(lst&&low[e[i].to]>=dfn[x]) IsCut[x]=1;//如果当前节点不是一个联通块第一个访问的节点，且当前节点的这个子节点dfs序大于等于当前节点的dfs序，那么就说明当前节点是割点
        }
        else low[x]=min(low[x],dfn[e[i].to]);//更新low[x]
    }
    if(!lst&&tot>=2) IsCut[x]=1;//如果当前节点是联通块第一个节点，且访问到的子节点个数≥2，那么就说明当前节点是割点
}

割边

还是一样，先了解一下割边的定义：把这条边去掉之后，这条边所在的联通块就会被分成若干个联通块，看起来与割点的定义很像。

因此，如果一条边所连接的两个节点，若其中 $dfs$ 序较大的节点不经过这条边所能到达的 $dfs$ 序最小的节点大于这条边连接的点中 $dfs$ 序较小的节点，就说明这条边是一条割边。

不过还要注意判重的情况，要注意如果有两条相同的边，那么这两条边肯定都不是割边。

代码如下：

inline void Tarjan(int x,int lst)//Tarjan求割边
{
    register int i,flag=1;//flag记录当前节点是否第一次访问它的父亲节点
    for(dfn[x]=low[x]=++d,vis[Stack[++top]=x]=1,i=lnk[x];i;i=e[i].nxt)//枚举每一个子节点
    {
        if(flag&&!(e[i].to^lst)) {flag=0;continue;}//如果是第一次访问父亲节点，就将flag标记为0，并跳过这条边
        if(!dfn[e[i].to])//如果这个子节点没有被访问过
        {
            Tarjan(e[i].to,x),low[x]=min(low[x],low[e[i].to]);//访问这个节点，并更新low[x]
            if(low[e[i].to]>low[x]) IsBridge[i]=1;//如果这条边连向的另一个节点所能到达的dfs序最小的节点大于该节点的dfs序，就说明这条边是割边
        }
        else if(vis[e[i].to]) low[x]=min(low[x],dfn[e[i].to]);//否则，更新low[x]
    }
}