无向图的双连通分量
点-双连通图:一个连通的无向图内部没有割点,那么该图是点-双连通图。
注意:孤立点,以及两点一边这两种图都是点-双连通的。因为它们都是内部无割点。
边-双连通图:一个连通的无向图内部没有桥,那么该图就是边-双连通的。
注意:孤立点是边-双连通的,但是两点一边不是边-双连通的。
由上面定义可以知道:点-双连通图不一定是边-双连通的。
对于一张无向图,点-双连通的极大子图称为双连通分量。不难发现,每条边恰好属于一个双连通分量(所以两点一边是一个点-双连通分量)。但不同双连通分量可能会有公共点,可以证明不同双连通分量最多只有一个公共点,且它一定是割顶。另一方面任意割顶都是至少两个不同的点-双连通分量的公共点。
边-双连通的极大子图称为边-双连通分量。除了桥不属于任何边-双连通分量外,其他每条边恰好属于一个边-双连通分量,而且把所有桥删除之后,每个连通分量对应原图中的一个边-双连通分量。
总之:
判断一个图是不是点-双连通的只要看图中是否有割点。
判断一个图是不是边-双连通的只要看图中是否有桥。
(以上定义参考刘汝佳<<训练指南>>P314)
求一个无向图的所有点双连通分量可以用下面的代码,但是求一个无向图的所有边双连通分量如何求呢?
方法1:将无向图的所有桥边标记出来,然后执行dfs,且dfs过程中不走桥边。所以每次dfs经过的点都是同一个边-双连通分量的。
方法2:对无向图执行dfs求割点,然后对于任意点i和j,如果low[i]==low[j],那么它们属于同一个边-双连通分量(点-双连通分量内的两个点的low[]值不一定相同,自己画图验证下)。
计算点-双连通分量(无重边)的代码如下:
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
#include<vector>
#include<stack>
using namespace std;
const int maxn=1000+10;
int n,m;
int bcc_cnt;
int dfs_clock;//bcc_cnt计数一共有多少个点-双连通分量
int pre[maxn];
bool iscut[maxn];
int bccno[maxn];//bccno[i]=x表示第i个顶点属于x号点双连通分量
vector<int> G[maxn],bcc[maxn];
//bcc[i]中包含了i号点-双连通分量的所有节点
struct Edge
{
int u,v;
Edge(int u,int v):u(u),v(v){}
};
stack<Edge> S;
int dfs(int u,int fa)
{
int lowu=pre[u]=++dfs_clock;
int child=0;
for(int i=0;i<G[u].size();i++)
{
int v=G[u][i];
Edge e = Edge(u,v);
if(!pre[v])
{
S.push(e);
child++;
int lowv=dfs(v,u);
lowu=min(lowu,lowv);
if(lowv >= pre[u])
{
iscut[u]=true;
bcc_cnt++;//注意bcc_cnt从1开始编号
bcc[bcc_cnt].clear();
while(true)
{
Edge x=S.top(); S.pop();
if(bccno[x.u]!=bcc_cnt)
{
bcc[bcc_cnt].push_back(x.u);
bccno[x.u]=bcc_cnt;
}
if(bccno[x.v]!=bcc_cnt)
{
bcc[bcc_cnt].push_back(x.v);
bccno[x.v]=bcc_cnt;
}
if(x.u==u && x.v==v) break;
}
}
}
else if(pre[v]<pre[u] && v!=fa) //这个判断条件如果少了,就是WA,可修改POJ2942代码
{
S.push(e);
lowu=min(lowu,pre[v]);
}
}
if(fa<0 && child==1) iscut[u]=false;
return lowu;
}
void find_bcc(int n)
{
memset(pre,0,sizeof(pre));
memset(iscut,0,sizeof(iscut));
memset(bccno,0,sizeof(bccno));
dfs_clock = bcc_cnt = 0;
for(int i=0;i<n;i++)
if(!pre[i]) dfs(i,-1);
}
int main()
{
while(scanf("%d%d",&n,&m)==2&&n)
{
for(int i=0;i<n;i++) G[i].clear();
for(int i=0;i<m;i++)
{
int u,v;
scanf("%d%d",&u,&v);
G[u].push_back(v);
G[v].push_back(u);
}
find_bcc(n);
printf("点-双连通分量一共%d个\n",bcc_cnt);
for(int i=1;i<=bcc_cnt;i++)
{
printf("第%d个点-双连通分量包含以下点:\n",i);
sort(&bcc[i][0],&bcc[i][0]+bcc[i].size()); //对vector排序,使输出的点从小到大
for(int j=0;j<bcc[i].size();j++)
{
printf("%d ",bcc[i][j]);
}
printf("\n");
}
}
return 0;
}
/*
示例输入:
6 7
1 2
2 3
1 3
3 4
4 5
3 5
5 6
输出:
点-双连通分量一共3个
第1个点-双连通分量包含以下点:
5 6
第2个点-双连通分量包含以下点:
3 4 5
第3个点-双连通分量包含以下点:
1 2 3
*/
无向图的双连通分量基本应用
POJ 3352Road Construction(边双连通分量):求添加最少的边数,使得图变成边双连通。解题报告!
POJ 3177Redundant Paths(边双连通分量+缩点):求添加最少的边数,使得图变成边双连通。解题报告!
HDU 3749Financial Crisis(点-双连通分量):输出两点间路径条数。解题报告!