图论——连通无向图的双连通性

定义补充

一个连通的无向图如果不存在被删除之后使得剩下的图不再连通的顶点，那么这样的无向连通图称为双连通

如果一个图不是双连通的，那么将其删除使得图不再连通的那些顶点叫做割点

背向边：指在深度优先搜索中如果v搜索到了已知点w，则称存在一条v到w的背向边，代表存在一个环

求割点

深度优先搜索提供一种找出连通图中所有割点的线性时间算法
如图是一个连通图，首先，从图中任意顶点开始，执行深度优先搜索并在顶点被访问时给他编号，对于每一个顶点v我们称其先序编号为Num[v]，然后对于深度优先搜索生成树上的每一个结点v，计算其顶点的Low[v],该点从v开始通过树的零条或者多条边且可能还有一条背向边而到达。

这里给出Low[v]的定义
Low[v]是
1.Num[v]（不选取边）
2.所有背向边（v，w）中最低的Num[w]（不选去树的边而选取一条背向边）
3.树的所有边（v，w）中最低的Low[w]（选择树的某些边以及可能一条背向边，可用一个递归简明描述）
中的最小值

此图为上图的深度优先搜索树，箭头方向为搜索方向，虚线为背向边，每个字母旁边有两个数值Num[v]/Low[v]

通过对图的分析我们知道，如果我们想要计算出Low[v]，我们必须计算出所有v的儿子的Low[w],因此这是一个后序遍历，对于任意的一条边（v，w），我们只需要检查Num[v]和Num[w]就可以知道它是树的一条边还是一条背向边

接下来我们用这些信息找出割点，根是割点当且仅当它有多于一个的儿子，如果他有两个儿子，那么删除根会使得结点不连通而分布在不同的子树上，对于其他任何节点v，它是割点当且仅当它有某个儿子w使得Low[w]>=Num[v]

注意：这个条件在根处总是满足的，因此需要进行特殊判断

下面给出三个例程
1、对顶点的Num赋值的伪代码

int counter=1;
void AssignNum(Vertex V)//V是起始点，即为根
{
    Vertex W;
    Num[V]=counter++;
    Visit[V]=true;
    for each W adjacent to V
    {
        if(Visit[W]==false)
        {
            Parent[W]=V;//记录前驱
            AssignNum(W);//Dfs下一个节点
        }
    }
}

2、计算Low并检验是否为割点的伪代码

void AssignLow(Vertex V)
{
    Vertex W;
    Low[V]=Num[V];//规则一
    for each W adjacent to V
    {
        if(Num[W]>=Num[V])//正向边
        {
            AssignLow(W);//向下搜索
            if(Low[W]>=Num[V])
            {
                printf("V is an articulation point");//V是割点
            }
            Low[V]=min(Low[V],Low[W]);//规则三
        }
        else
        {
            if(Parent[V]!=W)//背向边
            Low[V]=min(Low[V],Num[W]);//规则二 
        }
    }

}

3.在一次深度优先搜索（忽略对根的检测）中对割点的检测

void FindArt(Vertex V)
{
    Vertex W;
    Visit[V]=true;
    Low[V]=Num[V]=counter++;
    for each W adjcent to V
    {
        if(!Visit[W])
        {
            Parent[W]=V;
            FindArt(W);
            if(Low[W]>=Num[V])
            {
                printf("V is an articulation point");//V是割点
            }
            Low[V]=min(Low[V],Low[W]);
        }
        else{
            if(Parent[V]!=W)
            {
                Low[V]=min(Low[V],Num[W]);
            }
        }
    }
}