kuangbin题单 连通图 双连通分量 Redundant Paths POJ3177

打卡 day 9
**这道题的题意：**给定一个无向图，至少添加多少条边才能让任意的两点之间都有两条路可以走。（有重边）
其实很好分析，首先怎么才有两条路，环一定每个点都有两条路可以走，只要保证图是强连通就行。怎么确定加几条边，缩点，看有几个叶子节点，我们加(x+1)/2条边即可。
因为考虑有重边，我一开始先用set去重，然后发现set内置了一个排序，如果要放进去还要自己写一个重载的<，写完发现。。答案不对了。
念念叨叨的明白了这个add()是个邻接表存边。

---

弄了好多天，终于有点意思了。
要判断强连通分量需要三个数值dfn[],low[],belong[]
时间戳（dfn[i]）记录的是i点第一次访问的时间，tarjan的访问相当于深搜，先访问到头，有两种情况，一种是叶子节点，即low[u]==dfn[u]，这种情况一个点就是一个强连通分量；一种是成环，即vis[u]，发现要访问的下一个量已经在栈中，这样就low[u]=min(low[u],dfn[v])，把low数组更新，让这个环的low值相同，直到**low[u]==dfn[u]**的出现，当前的u是该环（强连通分量）的根。
其它的需要解释的好像只有

if(dfn[u]<low[v]) edge[i].ff=edge[i^1].ff=1;//缩点

这个地方：
意思是当dfn[u]<low[v]，即当前的节点u比下一个要访问的v还小，在回溯中，这种情况说明下一个要访问的节点是叶子节点，我们把这个叶子节点的值标记，然后为什么会有i^1，是i与1做异或运算，因为叶子节点只与一个点相连，我们找到那个点并标记。相连的那个点可能是缩点以后的点，可以代表一个环，最后再缩点后的图中统计还有几个叶子节点，计数并计算出答案即可。

AC代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<stack>
#include<set>
using namespace std;
#define mem(m,n) memset(m,n,sizeof(m))
const int maxn=5050;
int n,m;
int cnt,tot,sum;
int dfn[maxn],low[maxn],belong[maxn];
int head[maxn];
int d[maxn];
int vis[maxn];
stack<int> st;
struct node{
    int v;
    int next;
    int ff;
}edge[maxn*2];
void init(){
    mem(dfn,0);
    mem(low,0);
    mem(belong,0);
    mem(head,-1);
    mem(vis,0);
    mem(d,0);
    mem(edge,0);
    cnt=tot=sum=0;
    while(!st.empty()){
        st.pop();
    }
}
void add(int u,int v){
    edge[cnt].v=v;
    edge[cnt].next=head[u];
    edge[cnt].ff=0;
    head[u]=cnt++;
}
void tarjan(int u,int fa){
    low[u]=dfn[u]=++tot;
    st.push(u);
    vis[u]=1;
    for(int i=head[u];i!=-1;i=edge[i].next){
        int v=edge[i].v;
        if(v==fa){
            continue;
        }
        if(!dfn[v]){
            tarjan(v,u);
            low[u]=min(low[u],low[v]);
            if(dfn[u]<low[v]) edge[i].ff=edge[i^1].ff=1;//缩点
        }else if(vis[v]){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(low[u]==dfn[u]){
        sum++;
        int v;
        while(true){
            v=st.top();
            st.pop();
            vis[v]=0;
            belong[v]=sum;
            if(u==v) break;
        }
    }
}
int main(){
    int a,b;
    while(~scanf("%d%d",&n,&m)){
        init();
        for(int i=0;i<m;i++){
            scanf("%d%d",&a,&b);
            add(a,b);
            add(b,a);
        }
        for(int i=1;i<=n;i++){
            if(!dfn[i]){
                tarjan(i,i);
            }
        }
        for(int i=0;i<cnt;i++){
            if(edge[i].ff) d[belong[edge[i].v]]++;
        }
        int ans=0;
        for(int i=1;i<=sum;i++){
            if(d[i]==1) ans++;
        }
        printf("%d\n",(ans+1)/2);
    }
    return 0;
}