定义：在无向连通图中，如果删除该图的任何一个结点都不能该变该图的连通性，则该图为双连通的无向图。一个连通的无向图是双连通的，当且仅当它没有关结点。
算法：
1.对图进行先深搜索，计算每一个结点v的先深标号dfn[v]。
2. 计算所有结点v的low[v]是在先深生成树上按照后根遍历的顺序进行的。因此，当访问结点v时它的每个儿子y的low[y]已经计算完毕，这时low[v]取下面三值中最小者：
(1) dfn[v];
(2) dfn[w], 凡是有回退边(v, w)的任何结点w;
(3) low[y],对v的任何儿子y.
双连通分量一个是对点的双连通分量：（即求关节点）当在某一个点v处它的儿子为y low[y] >= dfn[v]即找到了关节点。
void searchB(int start)
{
dfn[start] = low[start] = cnt ++;
stack[top ++] = start;
for ( int i = 0; i < i_vec[start].size(); ++i )
{
if( dfn[i_vec[start][i]] == -1 )
{
father[i_vec[start][i]] = start;
searchB(i_vec[start][i]);
if( low[i_vec[start][i]] >= dfn[start] )
{
while ( true )
{
b_con[b_sn].push_back(stack[top-1]);
point[b_sn][stack[top-1]] = true;
if( stack[--top] == i_vec[start][i] )
break;
}
point[b_sn][start] = true;
b_con[b_sn++].push_back(start);
}
low[start] = min(low[start], low[i_vec[start][i]]);
}
else if( i_vec[start][i] != father[start] )
low[start] = min(low[start], dfn[i_vec[start][i]]);
}
}
另一个是对边的双连通分量：（即求桥）当在某一个点v处它的儿子为y low[y] > dfn[v]即为找到了桥
void searchB(int start)
{
low[start] = dfn[start] = cnt ++;
stack[top++] = start;
for ( int i = 0; i < e_vec[start].size(); ++i )
{
if ( e_visit[e_vec[start][i].mark] )
continue;
e_visit[e_vec[start][i].mark] = true;
if( dfn[e_vec[start][i].to] == -1 )
{
searchB(e_vec[start][i].to);
low[start] = min(low[start], low[e_vec[start][i].to]);
if( low[e_vec[start][i].to] > dfn[start] )
{
from[e_sn] = start;
to[e_sn ++] = e_vec[start][i].to;
while ( top > 0 && stack[top - 1] != e_vec[start][i].to )
Map[stack[--top]] = b_sn;
Map[stack[--top]] = b_sn ++;
}
}
else
low[start] = min(low[start], dfn[e_vec[start][i].to]);
}
}
