割点/桥

对于无向图$G$,如果删除某个点$u$之后，连通分量增加，称$u$为图的关节点或者割顶(割点)。
对于连通图，割顶就是删除之后使得图不再连通的点。

---

求割顶的方法：

这里我们用到一个定理：
在无向连通图$G$的$dfs$树中，非根结点$u$是$G$的割顶当且仅当$u$存在一个子结点$v$，使得$v$及其所有后代都没有反向边连接到$u$的祖先。(连接到$u$可以)
定理是显然的(根节点的话必须有起码两个节点才可能是。)
类似于$tarjan$的方法，处理$dfs$序。
设置一个$low$数组表示自己及后代指向的最早祖先。
转换成不等式:$low(v)\ge dfn(u)$。就是判断割顶的条件了(只要有一个子结点满足即可)

---

求桥的方法：

这里插入一个桥的定义：就是删除一条边使得图不连通的那条边。
如果$v$的后代只能连接$v$自己，只需一条边就可以使得图不连通。(显然)
我们只需要修改条件为$low(v)>pre(u)$。

---

这里给出割点的模板：($lrj$版本)

int dfn[maxn],iscnt[maxn],low[maxn];
int dfncnt;

int dfs(int u,int fa){
    int lowu=dfn[u]=++dfncnt;
    int child=0;
    for(int i=0;i<G[u].size();i++){
        int v=G[u][i];
        if(!dfn[v]){//没有访问过v
            child++;
            int lowv=dfs(v,u);
            lowu=min(lowu,lowv);
            if(lowv>=dfn[u]){//low表示v为根节点的子树中能够到达的最先的祖先。
                iscnt[u]=true;
            }
            /*if(lowv>pre[u]){
                iscnt[u,v]=true;
            }*///判桥，没有反向边即可。
        }
        else if(dfn[v]<dfn[u]&&v!=fa){
            lowu=min(lowu,dfn[v]);
        }
    }
    if(fa<0&&child==1)iscnt[u]=0;//特判：根节点孩子只有一个的话也无法产生非连通。
    low[u]=lowu;
    return lowu;
}

这里有个关键地方就是$lowu=min(lowu,dfn[v])$
这里不用$low[v]$更新的原因很简单。
对于某个点是割点，它是两个环的公共点(唯一)。
下面的环有一条返祖边到这个割点。
如果用上面的更新，就会使得$lowv<pre[u]$。而事实上应该是满足的。