BZOJ 1718 [Usaco2006 Jan] Redundant Paths 分离的路径 双联通分量

题目大意：给出n个点，m条边的图，问最少加入多少边可以使图中任意两点至少有两条不相交的路径。

双联通分量缩点，将图变成一棵树，叶子之间互相连可以保证加的边最少，答案为(叶子节点+1)/2

双联通分量和强连通分量写法很像，不会双联通分量的童鞋类比一下强连通分量即可。

#include 
#include 
#include 
#define N 5005
using namespace std;
int n,m,tot=-1,top,T,pbc_cnt,s[N],fir[N],dfn[N],low[N],pa[N],pbcno[N],in0[N];
bool k[N];
struct Edge {
    int from,to,nxt;
    bool vis;
    Edge(int _from=0,int _to=0):from(_from),to(_to),nxt(fir[_from]),vis(true) {}
}e[N*4];
void Add_Edge(int u,int v) {
    e[++tot]=Edge(u,v); fir[u]=tot;
    e[++tot]=Edge(v,u); fir[v]=tot;
    return ;
}
void Tarjan(int x) {
    dfn[x]=low[x]=++T;
    k[x]=true;
    s[++top]=x;
    for(int i=fir[x];~i;i=e[i].nxt) {
        if(!e[i].vis) continue;
        if(!dfn[e[i].to]) {
            pa[e[i].to]=x;
            e[i].vis=e[i^1].vis=false;
            Tarjan(e[i].to);
            e[i].vis=e[i^1].vis=true;
            low[x]=min(low[x],low[e[i].to]);
        }
        else if(k[e[i].to]) low[x]=min(low[x],dfn[e[i].to]);
    }
    if(dfn[x]==low[x]) {
        pbc_cnt++;
        do {
            pbcno[s[top]]=pbc_cnt;
            k[s[top]]=false;
        }while(s[top--]!=x);
    }
    return ;
}
int main() {
    memset(fir,-1,sizeof fir);
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++) {
        int x,y;
        scanf("%d%d",&x,&y);
        Add_Edge(x,y);
    }
    for(int i=1;i<=n;i++)
        if(!dfn[i])
            Tarjan(i);
    for(int i=0;i<=tot;i+=2)
        if(pbcno[e[i].from]!=pbcno[e[i].to])
            in0[pbcno[e[i].from]]++, in0[pbcno[e[i].to]]++;
    int cnt=0;
    for(int i=1;i<=pbc_cnt;i++)
        if(in0[i]==1)
            cnt++;
    printf("%d\n",(cnt+1)/2);
    return 0;
}