tarjan求边双 点双

tarjan求边双点双

边双

定义： 对于两个点 $u$ 和 $v$，无论删去哪条边，它们仍然是联通的，那么 $u$,$v$ 就是边双连通。

定义转化：$u,v$ 间不存在割边。

一个点只属于一个边双，一条边也只属于一个边双。

边双具有传递性，即 若 $u,v$ 边双联通，$v,z$ 边双联通，那么 $u,z$ 边双联通。

简易证明： $u,v$ 间不存在割边，$v,z$ 间不存在割边 ，则 $u,z$ 间也不存在割边，得证。

点双

定义： 对于两个点 $u$ 和 $v$，无论删去哪个点（$u,v$除外），它们仍然是联通的，那么 $u$,$v$ 就是点双连通。

定义转化：$u,v$ 间不存在割点。

一个点可能属于多个点双，且这个点必为割点。

点双具有传递性，即 若 $u,v$ 点双联通，$v,z$ 点双联通， $u,z$ 不一定点双联通。

简易证明：$u,v$ 间不存在割点，$v,z$ 间不存在割点 ，但 $v$ 可能是割点，则 $u,z$ 间可能存在割点，得证。

P8436 【模板】边双连通分量

题目描述

对于一个 $n$ 个节点 $m$ 条无向边的图，请输出其边双连通分量的个数，并且输出每个边双连通分量。

输入格式

第一行，两个整数 $n$ 和 $m$。

接下来 $m$ 行，每行两个整数 $u,v$，表示一条无向边。

不保证图为简单图，图中可能有重边和自环。

输出格式

第一行一个整数 $x$ 表示边双连通分量的个数。

接下来的 $x$ 行，每行第一个数 $a$ 表示该分量结点个数，然后 $a$ 个数，描述一个边双连通分量。

你可以以任意顺序输出边双连通分量与边双连通分量内的结点。

思路

只需要跑 $tarjan$ 找每一个边双的根节点 然后通过一个栈去维护这个边双的节点即可。

特殊的，可能存在重边需要特殊判断。

自环不影响。

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<iomanip>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<stack>
//#include<random>
//#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
vector<int>a[500020];
int Time=0,dfn[500020],low[500020];
vector<vector<int>>b;
int cnt;
stack<int>s;
void tarjan(int x,int pre){
    dfn[x]=low[x]=++Time;
    s.push(x);
    int f=1;
    for(auto i:a[x]){
        if(i==pre&&f){
            f=0;
            continue;
        }
        if(!dfn[i]){
            tarjan(i,x);
            low[x]=min(low[x],low[i]);
        }
        else low[x]=min(low[x],dfn[i]);
    }
    if(low[x]==dfn[x]){
        vector<int>tmp;
        while(s.top()!=x){
            tmp.push_back(s.top());
            s.pop();
        }
        tmp.push_back(x);
        s.pop();
        b.push_back(tmp);
    }
}
void solve(){
    int n,m;
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        int u,v;
        cin>>u>>v;
        if(u==v)continue;
        a[u].push_back(v);
        a[v].push_back(u);
    }
    for(int i=1;i<=n;i++)if(!dfn[i])tarjan(i,0);
    cnt=b.size();
    cout<<cnt<<'\n';
    for(auto i:b){
        cout<<i.size()<<' ';
        for(auto j:i){
            cout<<j<<' ';
        }
        cout<<'\n';
    }
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0),cout.tie(0);
    int t=1;
    // cin>>t;
    while(t--)solve();
    return 0;
}

P8435【模板】点双连通分量

题目描述

对于一个 $n$ 个节点 $m$ 条无向边的图，请输出其点双连通分量的个数，并且输出每个点双连通分量。

输入格式

第一行，两个整数 $n$ 和 $m$。

接下来 $m$ 行，每行两个整数 $u,v$，表示一条无向边。

输出格式

第一行一个整数 $x$ 表示点双连通分量的个数。

接下来的 $x$ 行，每行第一个数 $a$ 表示该分量结点个数，然后 $a$ 个数，描述一个点双连通分量。

你可以以任意顺序输出点双连通分量与点双连通分量内的结点。

思路

只需要 $tarjan$ 跑割点，利用栈去维护这个割点的儿子即可。

注意割点不可以弹出栈，因为割点可能属于多个点双。

存在独立点，需要特判。

重边和自环不影响。

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<iomanip>
#include<vector>
#include<queue>
#include<map>
#include<set>
#include<stack>
//#include<random>
//#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int,int>
vector<int>a[500020];
int Time=0,dfn[500020],low[500020];
vector<vector<int>>b;
int cnt;
stack<int>s;
void tarjan(int x,int pre){
    dfn[x]=low[x]=++Time;
    s.push(x);
    int f=1;
    for(auto i:a[x]){
        if(i==pre&&f){
            // f=0;
            continue;
        }
        if(!dfn[i]){
            tarjan(i,x);
            low[x]=min(low[x],low[i]);
            if(low[i]>=dfn[x]){
                vector<int>tmp;
                while(s.top()!=i){
                    tmp.push_back(s.top());
                    s.pop();
                }
                s.pop();
                tmp.push_back(i);
                tmp.push_back(x);
                b.push_back(tmp);
            }
        }
        else low[x]=min(low[x],dfn[i]);
    }
    if(a[x].empty()&&!pre)b.push_back({x});
}
void solve(){
    int n,m;
    cin>>n>>m;
    for(int i=1;i<=m;i++){
        int u,v;
        cin>>u>>v;
        if(u==v)continue;
        a[u].push_back(v);
        a[v].push_back(u);
    }
    for(int i=1;i<=n;i++)if(!dfn[i])tarjan(i,0);
    cnt=b.size();
    cout<<cnt<<'\n';
    for(auto i:b){
        cout<<i.size()<<' ';
        for(auto j:i){
            cout<<j<<' ';
        }
        cout<<'\n';
    }
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0),cout.tie(0);
    int t=1;
    // cin>>t;
    while(t--)solve();
    return 0;
}