边双连通分量 jarjan (poj 3177)

大意：给定一个无向连通图，判断至少加多少的边，才能使任意两点之间至少有两条的独立的路（没有公共的边，但可以经过同一个中间的顶点）。

思路：在同一个双连通分量里的所有的点可以看做一个点，收缩后，新图是一棵树，树的边便是原图的桥。现在问题转化为“在树中至少添加多少条边能使图变成边双连通图”，即添加的边的个数=（树中度为一的节点数目+1）/2，用trajan算法求双联通分量

这是一个模板

 #include<iostream>
 #include<cstdio>
 #include<string.h>
 #include<algorithm>
 #include<queue>
 #include<vector>
 using namespace std;
 const int maxn=1e4+;
 struct node
 {
     int v,cut,nxt;
 }G[*maxn];
 int cnt;
 int head[maxn];
 int Stack[maxn];
 int instack[maxn];
 int low[maxn],dfn[maxn];
 int belong[maxn],du[maxn];
 int block,index;
 int bridge,top;
 void init()
 {
     cnt=;
     memset(head,-,sizeof(head));
 }
 void build(int u,int v)
 {
     G[cnt].v=v;G[cnt].nxt=head[u];G[cnt].cut=;head[u]=cnt++;
 }
 void tarjan(int u,int pre)
 {
     low[u]=dfn[u]=++index;
     Stack[top++]=u;
     instack[u]=;
     int v;
     for(int i=head[u];i!=-;i=G[i].nxt){
         v=G[i].v;
         if(pre==v) continue;
         if(!dfn[v]){
             tarjan(v,u);
             low[u]=min(low[u],low[v]);
             if(low[v]>dfn[u]){
                 bridge++;
                 G[i].cut=;
                 G[i^].cut=;
             }
         }
         else if(low[u]>dfn[v]&&instack[v]) low[u]=dfn[v];
     }
     if(low[u]==dfn[u]){
         block++;
         do{
             v=Stack[--top];
             instack[v]=;
             belong[v]=block;
         }while(v!=u);
     }
 }
 void solve(int n)
 {
     int i,j;
     int index=;
     bridge=;
     top=;
     block=;
     memset(low,,sizeof(low));
     memset(dfn,,sizeof(dfn));
     memset(belong,,sizeof(belong));
     memset(instack,,sizeof(instack));
     tarjan(,);
     for(i=;i<=n;i++){
         for(j=;j!=-;j=G[j].nxt){
             if(G[j].cut)
             du[belong[i]]++;
         }
     }
     int ans=;
     for(i=;i<=block;i++){
         if(du[i]==)
         ans++;
     }
     printf("%d\n",(ans+)/);
 }
 int main()
 {
     int n,m;
     while(~scanf("%d%d",&n,&m)){
         init();
         for(int i=;i<m;i++){
             int u,v;
             scanf("%d%d",&u,&v);
             build(u,v);
             build(v,u);
         }
         solve(n);
     }
     return ;
 }