poj 3177 Tarjan双连通分量缩点 + 构造双连通图

题意：

n个点m条边的无向连通图，最少添加多少条边可以使任意两点有两条不重边的路径。1 <= n <= 5000 ，  n - 1 <= m <= 10000。

题解：

1.这个就是使原图变成双连通图的最小添加边数。

2.双连通分量缩点和强连通分量缩点一样，注意无向图的一条边用后，它的反向边就不用了。

3.双连通分量缩点法与强连通分量缩点类似，都是用Tarjan算法。

4.双连通分量缩点后就变成了无根树，这道题找到度数为1的叶子结点cnt，添边数为(cnt + 1)/2。

http://www.cnblogs.com/kuangbin/p/3184889.html

//#include <bits/stdc++.h>
#include<stdio.h>
#include<algorithm>
#include<string.h>
#define N 5005
#define inf 0x3f3f3f3f
#define mod 1000000007
using namespace std;
int n , m ;
int vis[N] ;
int low[N] ;
int dfn[N] ;
int s[N] ;
int id[N] ;
int top1 = 0 ;
int lay = 0 ;
vector <int> edge[N] ;
void Tarjin(int u)
{
    int i , j ;
    lay ++ ;
    vis[u] = 1 ;
    low[u] = lay ;
    dfn[u] = lay ;
    s[++ top1] = u ;
    for(i = 1 ; i <= n ; i ++)
    {
        if(map1[u][i] == 0)
           continue ;
        map1[i][u] = 0 ;
        if(vis[i] == 0)
          Tarjin(i) ;
        if(vis[i] == 1)
          low[u] = min(low[u] , low[i]) ;
    }
    if(low[u] == dfn[u])
    {
        while(s[top1] != u)
        {
            id[s[top1]] = u ;
            vis[s[top1]] = 2 ;
            top1 -- ;
        }
        id[s[top1]] = u ;
        vis[s[top1]] = 2 ;
        top1 -- ;
    }
}
void cal()
{
    int i , j ;
    int deg[N] , used[N] ;
    int cnt = 0 ;
    memset(deg , 0 , sizeof(deg)) ;
    memset(used , 0 , sizeof(used)) ;
    for(i = 1 ; i <= n ; i ++)
      for(j = 1 ; j <= n ; j ++)
        if(map1[i][j] == 1 && id[i] != id[j])
        {
            deg[id[i]] ++ ;
            deg[id[j]] ++ ;
        }
    for(i = 1 ; i <= n ; i ++)
        if(!used[id[i]] && deg[id[i]] == 1)
        {
           used[id[i]] = 1 ;
           cnt ++ ;
        }
    printf("%d" , (cnt + 1) / 2) ;
}
int main()
{
    int i , j ;
    int u , v ;
    int ans = 0 ;
    scanf("%d%d" , &n , &m) ;
    memset(map1 , 0 , sizeof(map1)) ;
    for(i = 1 ; i <= m ; i ++)
    {
        scanf("%d%d" , &u , &v) ;
        edge[u][v] 
    }
    Tarjin(1) ;
    cal() ;
}