POJ 3352 边双联通

//poj 3352 边双连通diy
//
//题意：本题要求的就是添加多少条边可变无桥的连通图。分析：双连通分支双连通分支分就是一个极大化（一个点只要加进来之后该
//分支仍然是双连通分
//支就加进来）的分支，去掉任意一条边这个分支内部仍然连通。
//也可以理解为去掉桥之后，每个连通分支就是原图的双连通分支。
//
//求割点和桥可以用tarjan算法，对图进行dfs，记录每个点的第一次到达时间dfn[i]。并记录一个low[i]表示该点及其子孙结点所能到达的
//dfn最小的点。这个到达并不是普通意义的到达，而是在遍历过程中，通过非树枝边（一定是返祖边，因为是无向图，没有横叉边）能够直
//接到达的点（而不是连续使用返祖边能到达的）。这样就可以把low总结为low[u] = min(low[v]（v为u的儿子结点）,dfn[v]（v是u通过返
//祖边能到达的点）,dfn(u));然后我们可以粗略地认为返祖边可以连同树枝边共同构成一个环。环一定是双连通的（一定不是桥），不在环
//内的边一定是桥。 这样我们就可以总结为：若边(u,v)，dfn[u]<low[v]（即不在环内），则为桥。
//
//另外有定理，当把边的双连通分支缩点后形成了一个有向无环图，叶子（度为1的点）的个数为n，则需要在原图中添加(n + 1)/2条边，可
//以使原图变为没有桥的双连通图。
//
//
//
//让我见识一下与点双联通不同的边双连通。
//双联通还是很神奇的。
//low值相同则为同一个边双连通分量中。
//
//过了
#include<iostream>
#include<cstdio>
#include<cstring>
#include<string>
#include<algorithm>
#include<cstdlib>
#define maxn 1050
#define maxm 1050
using namespace std;

bool hash[maxn][maxn];
bool vis[maxn];
int du[maxn];
int head[maxn],low[maxn];
int n,m,cnt,time;

struct Edge
{  int from,to,next;
}edge[2*maxm];
void addedge(int a,int b)
{
    edge[cnt].from=a;
    edge[cnt].to=b;
    edge[cnt].next=head[a];
    head[a]=cnt++;
    hash[a][b]=hash[b][a]=true;
}

void dfs(int u,int fa)
{
    vis[u]=true;
    low[u]=time++;
    for(int i=head[u];~i;i=edge[i].next)
    {
        int v=edge[i].to;
        if(v==fa) continue;
        if(!vis[v]) dfs(v,u);
        low[u]=min(low[u],low[v]);
    }
}

void  tarjan()///这个,原理待总结和考证
{
  time=0;
  memset(low,-1,sizeof(low));
  dfs(1,1);

  for(int i=1;i<=n;i++)
        for(int j=head[i];~j;j=edge[j].next)
    {
      int v=edge[j].to;
      if(low[i]!=low[v])///这是割边。。。
        du[low[v]]++;
    }
    int res=0;
    for(int i=1;i<=n;i++)
        if(du[i]==1)///叶子边
        res++;
    cout<<(res+1)/2<<endl;

}
int main()
{
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        memset(hash,false,sizeof(hash));
        memset(head,-1,sizeof(head));
        memset(du,0,sizeof(du));
        memset(vis,false,sizeof(vis));
        cnt=0;
        int tempa,tempb;
        for(int i=1;i<=m;i++)
        {
            scanf("%d%d",&tempa,&tempb);
            if(!hash[tempa][tempb])
            {
                addedge(tempa,tempb);
                addedge(tempb,tempa);
               /// cout<<tempa<<" "<<tempb<<endl;
            }
        }
        tarjan();

    }
}