[ 双连通分量 ] Codeforces962F Simple Cycles Edges

最新推荐文章于 2022-02-09 21:35:55 发布

gjghfd

最新推荐文章于 2022-02-09 21:35:55 发布

阅读量419

点赞数

分类专栏：双连通分量

本文链接：https://blog.csdn.net/gjghfd/article/details/79939119

版权

双连通分量专栏收录该内容

1 篇文章 0 订阅

订阅专栏

发现一条边是合法的当且仅当它在一个点双连通分量内且这个点双连通分量是个简单环（边数=点数）。然后做遍 $tarjan$ 就好了。

#include<bits/stdc++.h>
using namespace std;
const int N=100010;
int k,n,m,x,y;
int low[N],dfn[N],tc;
int st[N],top;
int h[N],t[N<<1],nx[N<<1],num=1;
int vis[N],cur;
bool b[N<<1];
int a[N],A[N],ncnt;
void Add(int x,int y) {
    t[++num]=y;nx[num]=h[x];h[x]=num;
}
void Dfs(int x,int y) {
    dfn[x]=low[x]=++tc;
    for(int i=h[x];i;i=nx[i])
        if(t[i]!=y&&!b[i]) {
            b[i]=b[i^1]=1;st[++top]=i;
            int v=t[i];
            if(!dfn[v]) {
                Dfs(v,x);
                low[x]=min(low[x],low[v]);
                if(dfn[x]<=low[v]) {
                    int cnt=0,Top=0;++cur;
                    while(st[top]!=i) {
                        int x=st[top--];
                        if(vis[t[x]]!=cur) vis[t[x]]=cur,++cnt;
                        if(vis[t[x^1]]!=cur) vis[t[x^1]]=cur,++cnt;
                        a[++Top]=x;
                    }
                    if(vis[t[i]]!=cur) vis[t[i]]=cur,++cnt;
                    if(vis[t[i^1]]!=cur) vis[t[i^1]]=cur,++cnt;
                    a[++Top]=i;--top;
                    if(dfn[x]==low[v]&&cnt==Top) {
                        for(int i=1;i<=Top;i++) A[++ncnt]=a[i];
                    }
                }
            } else low[x]=min(low[x],dfn[v]);
        }
}
int main() {
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++) scanf("%d%d",&x,&y),Add(x,y),Add(y,x);
    for(int i=1;i<=n;i++)
        if(!dfn[i]) Dfs(i,0);
    cout<<ncnt<<endl;
    sort(A+1,A+ncnt+1);
    for(int i=1;i<=ncnt;i++) printf("%d ",A[i]>>1);
    return 0;
}