Road Construction（poj 3352）

题意：求最少天几条边，使这个无向图变成双连通图。

/*
  tarjan缩点后，形成一棵树，求出叶子节点数tot，答案是(tot+1)/2
*/
#include<cstdio>
#include<cstring>
#include<iostream>
#define N 1010
using namespace std;
int num[N],low[N],instack[N],vis[N],s[N],in[N],belong[N],top,cnt,indexx;
int head[N],n,m;
struct node
{
    int v,pre;
};node e[N*];
void add(int i,int x,int y)
{
    e[i].v=y;
    e[i].pre=head[x];
    head[x]=i;
}
void tarjan(int u,int fa)
{
    num[u]=low[u]=++indexx;
    vis[u]=instack[u]=;
    s[++top]=u;
    for(int i=head[u];i!=-;i=e[i].pre)
      if((fa^)!=i)
      {
          int v=e[i].v;
          if(!vis[v])
          {
              tarjan(v,i);
              low[u]=min(low[v],num[u]);
          }
          else if(instack[v])
            low[u]=min(low[v],low[u]);
      }
    int x;
    if(num[u]==low[u])
    {
        ++cnt;
        do
        {
            x=s[top--];
            instack[x]=;
            belong[x]=cnt;
        }while(u!=x);
    }
}
void work()
{
    for(int i=;i<=m;i++)
    {
        int x,y;scanf("%d%d",&x,&y);
        add(i*-,x,y);add(i*-,y,x);
    }
    for(int i=;i<=n;i++)
      if(!vis[i])tarjan(i,-);
    for(int i=;i<=n;i++)
      for(int j=head[i];j!=-;j=e[j].pre)
        if(belong[i]!=belong[e[j].v])
          in[belong[e[j].v]]++;
    int tot=;
    for(int i=;i<=cnt;i++)
      if(in[i]==)tot++;
    printf("%d\n",(tot+)/);
}
int main()
{
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        top=cnt=indexx=;
        memset(num,,sizeof(num));
        memset(low,,sizeof(low));
        memset(instack,,sizeof(instack));
        memset(vis,,sizeof(vis));
        memset(s,,sizeof(s));
        memset(head,-,sizeof(head));
        memset(e,,sizeof(e));
        memset(in,,sizeof(in));
        memset(belong,,sizeof(belong));
        work();
    }
    return ;
}