POJ 3352-Road Construction (图论-双边联通分支算法）

题目大意：一个图，要求你加入最少的边，使得最后得到的图为一个边双连通分支。所谓的边双连通分支，即不存在桥的连通分支（题目保证数据中任意两点都联通）。

解题思路：先用tarjan算法进行缩点建立DAG图， 然后再进行寻找度为1的点有个数x， 那么需要添加的边即为（x+1）/ 2;

起初这样写， 一直WA，然后发现下面两个数据，发现并不能过。

#include <stdio.h>
#include <set>
#include <vector>
#include <string.h>
#include <algorithm>
using namespace std;

const int N = ;
vector<int>G[N];
vector<pair<int, int> >DAG;
int dfn[N], low[N], mk[N];
int tot;
int n, m;

void init()
{
    tot = ;
    DAG.clear();
    for(int i=; i<=n; ++ i)
    {
        mk[i] = ;
        G[i].clear();
        dfn[i] = low[i] = -;
    }
}

void tarjan(int u, int f)
{
    dfn[u] = low[u] = ++ tot;
    for(int i = ; i < G[u].size(); ++ i)
    {
        int v = G[u][i];
        if(dfn[v] == -)
        {
            tarjan(v, u);
            low[u] = min(low[u], low[v]);
            if(dfn[u] < low[v])
                DAG.push_back(make_pair(low[u], low[v]));
        }
        else if(v != f)
            low[u] = min(low[u], dfn[v]);
    }
}

void solve()
{
    init();
    for(int i=; i<=m; ++ i)
    {
        int u, v;
        scanf("%d%d", &u, &v);
        G[u].push_back(v);
        G[v].push_back(u);
    }
    tarjan(, -);
    for(int i=; i<DAG.size(); ++ i)
    {
        pair<int, int> S = DAG[i];
        mk[S.first] ++, mk[S.second] ++;
    }
    int ans = ;
    for(int i=; i<=n; ++ i)
    {
        if(mk[i] == )
            ans ++;
    }
    printf("%d\n", (ans + ) / );
}

int main()
{
    while(scanf("%d%d", &n, &m) != EOF)
        solve();
    return ;
}

需要特别注意两组数据：

2 2

1 2

1 2

2 1

1 2

答案分别是：

0

1

代码如下：

#include <stdio.h>
#include <set>
#include <vector>
#include <string.h>
#include <algorithm>
using namespace std;

const int N = ;
vector<int>G[N];
int dfn[N], low[N], mk[N];
int tot;
int n, m;

void init()
{
    tot = ;
    for(int i=; i<=n; ++ i)
    {
        mk[i] = ;
        G[i].clear();
        dfn[i] = low[i] = -;
    }
}

void tarjan(int u, int f)
{
    dfn[u] = low[u] = ++ tot;
    for(int i = ; i < G[u].size(); ++ i)
    {
        int v = G[u][i];
        if(dfn[v] == -)
        {
            tarjan(v, u);
            low[u] = min(low[u], low[v]);
        }
        else if(v != f)
            low[u] = min(low[u], dfn[v]);
    }
}

void solve()
{
    init();
    for(int i=; i<=m; ++ i)
    {
        int u, v;
        scanf("%d%d", &u, &v);
        G[u].push_back(v);
        G[v].push_back(u);
    }
    tarjan(, -);
    for(int i = ; i <= n; ++ i)
    {
        for(int j = ; j < G[i].size(); ++ j)
        {
            if(low[i] != low[G[i][j]])
                mk[low[i]] ++;
        }
    }
    int ans = ;
    for(int i = ; i <= n; ++ i)
        if(mk[i] == )
            ans ++;
    printf("%d\n", (ans + ) / );
}

int main()
{
    while(scanf("%d%d", &n, &m) != EOF)
        solve();
    return ;
}