CF962F Simple Cycles Edges（图论+tarjan求点双）

最新推荐文章于 2020-09-02 20:08:47 发布

Icefox_zhx

最新推荐文章于 2020-09-02 20:08:47 发布

阅读量773

点赞数

分类专栏： codeforces ---------图论--------- tarjan

本文链接：https://blog.csdn.net/Icefox_zhx/article/details/80542774

版权

---------图论--------- 同时被 3 个专栏收录

260 篇文章 0 订阅

订阅专栏

codeforces

122 篇文章 0 订阅

订阅专栏

tarjan

38 篇文章 0 订阅

订阅专栏

给定一张无向图，求哪些边只在一个简单环中。

我们搞出点双，然后对于一个点双，如果边数=点数，说明这个点双就是一个简单环，它的所有边都满足条件。否则一定都不满足条件。

为什么不是边双呢？因为你看两个环，如果只有一个公共顶点，那么他的点数 $\not=$ 边数，但是所有边都符合要求。也就是一个边双中可能有多个简单环链接起来而不存在一个过所有点的大环，但是点双中一定存在一个过所有点的大环。

#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 100010
inline char gc(){
    static char buf[1<<16],*S,*T;
    if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0,f=1;char ch=gc();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
    return x*f;
}
int n,m,h[N],num=1,dfn[N],low[N],dfnum=0,bcc=0,sz[N],ans=0;
bool f[N],used[N];
struct edge{
    int to,next;
}data[N<<1];
vector<int>a[N];
stack<int>qq;
stack<int>q;
inline void tarjan(int x){
    dfn[x]=low[x]=++dfnum;qq.push(x);
    for(int i=h[x];i;i=data[i].next){
        int y=data[i].to;if(used[i>>1]) continue;
        used[i>>1]=1;q.push(i>>1);
        if(!dfn[y]){
            tarjan(y);low[x]=min(low[x],low[y]);
            if(low[y]<dfn[x]) continue;++bcc;
            while(1){
                int z=qq.top();qq.pop();sz[bcc]++;
                if(z==y) break;
            }sz[bcc]++;
            while(1){
                int j=q.top();q.pop();a[bcc].push_back(j);
                if(j==(i>>1)) break;
            }continue;
        }low[x]=min(low[x],dfn[y]);
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    for(int i=1;i<=m;++i){
        int x=read(),y=read();
        data[++num].to=y;data[num].next=h[x];h[x]=num;
        data[++num].to=x;data[num].next=h[y];h[y]=num;
    }for(int i=1;i<=n;++i) if(!dfn[i]) tarjan(i),qq.pop();
    for(int i=1;i<=bcc;++i){
        if(sz[i]!=a[i].size()) continue;
        for(int j=0;j<a[i].size();++j) f[a[i][j]]=1,++ans;
    }printf("%d\n",ans);
    for(int i=1;i<=m;++i) if(f[i]) printf("%d ",i);puts("");
    return 0;
}