poj 3352 双连通分量

至少加几条边成为双连通分量

 

#include <iostream>

#include <cstdio>

#include <cstring>

using namespace std;

const int maxn=10000;

struct

{

    int to,next;

}e[maxn];

int head[maxn],lon;

int dfn[maxn],instack[maxn],low[maxn],stack[maxn],s[maxn];

int in[maxn];

int count,top,con;

int n,m;

void edgemake(int from,int to,int head[])

{

    e[++lon].to=to;

    e[lon].next=head[from];

    head[from]=lon;

}

void edgeini()

{

    memset(head,-1,sizeof(head));

    lon=-1;

}



void tarjan(int t,int from)

{

    dfn[t]=low[t]=++count;

    instack[t]=1;

    stack[++top]=t;

    for(int k=head[t];k!=-1;k=e[k].next)

    {

        if(k==(from^1)) continue;

        int u=e[k].to;

        if(dfn[u]==-1)

        {

            tarjan(u,k);

            low[t]=min(low[t],low[u]);

        }

        else if(instack[u])

        {

            low[t]=min(low[t],dfn[u]);

        }

    }

    if(dfn[t]==low[t])

    {

        ++con;

        while(1)

        {

            int u=stack[top--];

            instack[u]=0;

            s[u]=con;

            if(u==t) break;

        }

    }

}



void tarjan()//tarjan的初始化

{

    memset(dfn,-1,sizeof(dfn));

    memset(instack,0,sizeof(instack));

    count=top=con=0;

    for(int i=1;i<=n;i++)

    if(dfn[i]==-1)

    tarjan(i,-1);

}



int main()

{

    while(scanf("%d %d",&n,&m)!=EOF)

    {

        edgeini();

        for(int i=1,from,to;i<=m;i++)

        {

            scanf("%d %d",&from,&to);

            edgemake(from,to,head);

            edgemake(to,from,head);

        }

        tarjan();

        memset(in,0,sizeof(in));

        for(int i=1;i<=n;i++)

        for(int k=head[i];k!=-1;k=e[k].next)

        if(s[i]!=s[e[k].to])

        {

            in[s[i]]++;

        }

        int ans=0;

        for(int i=1;i<=con;i++)

        if(in[i]==1)

        ans++;

        else if(in[i]==0)

        ans+=2;

        if(con==1) ans-=2;

        printf("%d\n",(ans+1)/2);

    }

    return 0;

}