[ 双连通分量 ] Codeforces962F Simple Cycles Edges

发现一条边是合法的当且仅当它在一个点双连通分量内且这个点双连通分量是个简单环(边数=点数)。然后做遍 tarjan t a r j a n 就好了。

#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;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值