poj 3352 边双连通

题目要求至少添加几条边才能使去掉人和一条边后，图还是连通的

首先进行双连通缩点，一个连通块就相当于新图中的一个点

新的图形成了一棵树

要想添加若干条边后任意去掉一条原图中的边后图还是连通的，我们应该将叶子连起来，使得任何一个叶子都有连接到别的叶子的边

很显然，叶子总数cnt为偶数时，答案为cnt/2;

 叶子总数为奇数时，答案为(cnt+!)/2;

#include<stdio.h>
#include<queue>
#include<string.h>
#include<vector>
using namespace std;
const int maxn=5005;
struct Edge
{
    int s,t;
    int next;
    int vis;
}edge[1000005];
int head[maxn];
int E;
void add_edge(int s,int t)
{
    edge[E].s=s;
    edge[E].t=t;
    edge[E].vis=0;
    edge[E].next=head[s];
    head[s]=E++;
}
int Btype,Time;
int dfn[maxn],low[maxn],Belong[maxn];
int  st[maxn],Top;
inline int min(int a,int b){return a<b?a:b;}
void dfs(int s)
{
    int i,t,id;
    st[++Top]=s;
    dfn[s]=low[s]=++Time;
    for (i=head[s];i!=-1;i=edge[i].next)
    {    
        if(edge[i].vis)continue;    
        edge[i].vis=edge[i^1].vis=1;
        t=edge[i].t;
        if (!dfn[t])
        {
            dfs(t);
            low[s]=min(low[s],low[t]);
        }
        else low[s]=min(low[s],dfn[t]);
    }
    if(dfn[s]==low[s])
    {
        Btype++;
        do{
            t=st[Top--];
            Belong[t]=Btype;
        }while(t!=s);
    }
}
void SCC(int n)
{
    int i;
    Time=0;Btype=0;Top=0;
    memset(dfn,0,sizeof(int)*(n+1));
    for(i=1;i<=n;i++)if(!dfn[i])
        dfs(i);
}
int chu[maxn];
int n,m;
int ma[1010][1010];
int main()
{
        int i,j,k;
    int a,b;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        memset(head,-1,sizeof(head));E=0;
        memset(chu,0,sizeof(chu));
        for(i=0;i<m;i++)
        {
            scanf("%d%d",&a,&b);    
            add_edge(a,b);
            add_edge(b,a);
        }
        SCC(n);
        memset(ma,0,sizeof(ma));
                for(i=1;i<=n;i++)
                {
                    for(j=head[i];j!=-1;j=edge[j].next)
                    {
                        int v=edge[j].t;
                        if(Belong[i]!=Belong[v]&&!ma[Belong[i]][Belong[v]])
                                 {
                                     ma[Belong[i]][Belong[v]]=ma[Belong[v]][Belong[i]]=1;
                                     chu[Belong[i]]++;
                                     chu[Belong[v]]++;
                              }
            }
        }
        int ans=0;
        for(i=1;i<=Btype;i++)
        {
            if(chu[i]==1)
            ans++;
        }
        if(ans%2==0) ans/=2;
        else ans=(ans+1)/2;
            printf("%d\n",ans);
    }
    return 0;
}