5.20--无向图的双连通分量

1、边双连通分量 e-dcc
不含有桥的连通区域
极大的不包含桥的连通块
2、点双连通分量 v-dcc
割点：在连通的无向图中把这个点删掉之后变得不连通，每一个割点都至少属于两个连通分量。
极大的不包含割点的连通块
割点和桥没有必然联系，点连通分量和边连通分量也没有必然联系
如何求解：
1、边双连通分量，记录一个时间戳，dfn[x]、low[x]
如何找到桥
x到y是桥，搜完之后dfn[x] < low[y]
如何找到所有边的双连通分量？
(1) 将所有桥删掉
(2) 用一个栈，类似于有向图的的解决办法

结论：
对于一个有向图：需要加max{p,q}条边，才能使得其变为一个强连通分量,p,q指的是缩完点之后入度为0的点的个数和出度为0的点的个数
对于一个无向图，缩完点之后要加(cnt+1)/2条边才能使得其变成一个没有桥的图，cnt指的是缩点之后度为1的点
例题冗余路径

#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

const int N = 5010, M = 20010;

int n, m;
int h[N], e[M], ne[M], idx;
int dfn[N], low[N], timestamp;
int stk[N], top;
int id[N], dcc_cnt;
bool is_bridge[M];
int d[N];

void add(int a, int b)
{
    e[idx] = b, ne[idx] = h[a], h[a] = idx ++ ;
}

void tarjan(int u, int from)
{
    dfn[u] = low[u] = ++ timestamp;
    stk[ ++ top] = u;

    for (int i = h[u]; ~i; i = ne[i])
    {
        int j = e[i];
        if (!dfn[j])
        {
            tarjan(j, i);
            low[u] = min(low[u], low[j]);
            if (dfn[u] < low[j])
                is_bridge[i] = is_bridge[i ^ 1] = true;
        }
        else if (i != (from ^ 1))
            low[u] = min(low[u], dfn[j]);
    }

    if (dfn[u] == low[u])
    {
        ++ dcc_cnt;
        int y;
        do {
            y = stk[top -- ];
            id[y] = dcc_cnt;
        } while (y != u);
    }
}

int main()
{
    cin >> n >> m;
    memset(h, -1, sizeof h);
    while (m -- )
    {
        int a, b;
        cin >> a >> b;
        add(a, b), add(b, a);
    }

    tarjan(1, -1);

    for (int i = 0; i < idx; i ++ )
        if (is_bridge[i])
            d[id[e[i]]] ++ ;

    int cnt = 0;
    for (int i = 1; i <= dcc_cnt; i ++ )
        if (d[i] == 1)
            cnt ++ ;

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

    return 0;
}

2、如何求割点
如果low[y] >= dfn[x] 讨论一下两种情况：1.如果x不是根结点，那么x是割点 2.如果x是根节点，那么需要至少有两个子节点yi low[yi] >= dfn[x]
例题：电力

#include <iostream>
#include <cstring>
#include <algorithm>
using namespace std;
const int N = 1e4+10, M = 30010;
int n,m;
int h[N], e[M], ne[M], idx;
int dfn[N],low[N],timesample;
int root,ans;
void add(int a, int b)  // 添加一条边a->b
{
    e[idx] = b, ne[idx] = h[a], h[a] = idx ++ ;
}
void tarjan(int u)
{
    dfn[u] = low[u] = ++timesample;
    
    int cnt = 0;
    for(int i = h[u];~i;i=ne[i])
    {
        int j = e[i];
        if(!dfn[j])
        {
            tarjan(j);
            low[u] = min(low[u],low[j]);
            if(low[j] >= dfn[u]) cnt ++;
        }
        else low[u] = min(low[u],dfn[j]);
    }
    if(u != root) cnt++;
    ans = max(cnt,ans);
    
}
int main()
{
    while(cin >> n >> m , n || m)
    {
        memset(h, -1, sizeof h);
        memset(dfn,0,sizeof dfn);
        idx = timesample = 0;
        for (int i = 1; i <= m; i ++ )
        {
            int a,b;
            cin >> a >> b;
            add(a, b);
            add(b,a);
        }
        int cnt = 0;
        ans = 0;
        for(root = 0; root < n; root ++)
        {
            if(!dfn[root])
            {
                cnt ++;
                tarjan(root);
            }
        }
        cout << ans + cnt - 1 << "\n";
    }
}