无向图的点·双联通分量

• 对于一个连通图G，如果任意两点间至少存在两条“点不重复”路径，则说这个图是点·双联通的。这个要求等价于图的内部无割顶。任意两边都在一个简单环中。
• 对于一张无向图，点·双联通图的极大子图(类似强连通分量)称为双联通分量（BCC）或块（block）。不同双联通分量至多有一个公共点，这个公共点是割顶。
• 注意，求出来的每一个双连通分量至少包含两个点。
• 计算双联通分量用Tarjan提出的如下算法，用一个栈来维护当前block中的边（其精髓与tarjan算法类似）。

int bccno[maxn],iscut[maxn],dfn[maxn],low[maxn],bccnt,stop,dindex;//bccno存点当前所属的block编号 
vector<int> bcc[maxn];//存每个块中的点 
edge sta[maxm];//维护当前求解的块中点边 
void dfs(int u,int fa)
{
	low[u]=dfn[u]=++dindex;
	int child=0;
	for(int i=last[u];i;i=e[i].next)
	{
		int v=e[i].v;
		if(!dfn[v])
		{
			child++;
			sta[++stop]={u,v};//维护栈存bcc中的边
			dfs(v,u);
			low[u]=min(low[u],low[v]);
			if(low[v]>=dfn[u])//与割顶的判断类似，这里可以看成此时i为这个bcc中的最后一条边或为环画上的最后一笔 
			{
				iscut[u]=1;//u是割顶
				bccnt++;//block编号
				bcc[bccnt].clear();//如果有多组数据，动态清空
				while(1)//当发现这条链连回祖先，即当前为环中的最后一笔，得到一个bcc 
				{
					edge x=sta[stop--];
					if(bccno[x.u]!=bccnt)
					{
						bccno[x.u]=bccnt;
						bcc[bccnt].pushback(x.u);
					}
					if(bccno[x.v]!=bccnt)
					{
						bccno[x.v]=bccnt;
						bcc[bccnt].pushback(x.v);
					}
					if(x.u==u&&x.v==v) break;
				}	 
			}
		}
		else if(dfn[v]<dfn[u]&&v!=fa)//对应环中往回连的一笔 
		{
			sta[++stop]={u,v};
			low[u]=min(low[u],dfn[v]);
		} 
	}
	if(fa<0&&child==1) iscut[u]=0;//根特殊判定	
} 
void findbcc()
{
	//多组数据先初始化dfn,low,bccnt,bccno,iscut dindex
	for(int i=1;i<=n;i++)
	if(!dfn[i])
	dfs(i); 
} 

• 通过简单的手动模拟得知，在dfs树中，简单环中只有一条反向边，较复杂的点·双连通分量反向边交错，如果原图是一条链，中间点都是割顶，则得到了一组只有两个点的“点·双连通分量”。