[CF962F]Simple Cycles Edges

最新推荐文章于 2022-04-06 19:35:09 发布

StaroForgin

最新推荐文章于 2022-04-06 19:35:09 发布

阅读量258

点赞数 1

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

本文链接：https://blog.csdn.net/Tan_tan_tann/article/details/108131106

版权

------图论------ 专栏收录该内容

101 篇文章 0 订阅

订阅专栏

Simple Cycles Edges

题解

很容易发现，一个简单环中不可能包含其它的边，即它的边数与点数必定相等，所以所有点双连通分量中边数与点数不等的必须舍去。因为如果其中间含有其它边，必定可以被分解成更多的简单环，其的边必定不可能符合条件。

如果利用边双连通的话，可能会被两个环交与一个点的情况卡掉，~~别问笔者是怎么知道的，~~而边双连通一定能被点双连通实现，所以改为求点双连通分量就可以得出打哪了。

由于要输出边的编号，可以利用set来实现统计与去重。

源码

#include<bits/stdc++.h>
using namespace std;
#define MAXN 100005
typedef long long LL;
typedef unsigned long long uLL;
const LL mo=1e9+7;
typedef pair<int,int> pii;
template<typename _T>
_T Fabs(_T x){return x<0?-x:x;}
template<typename _T>
void read(_T &x){
	_T f=1;x=0;char s=getchar();
	while(s>'9'||s<'0'){if(s=='-')f=-1;s=getchar();}
	while('0'<=s&&s<='9'){x=(x<<3)+(x<<1)+(s^48);s=getchar();}
	x*=f;
}
int n,m,q,head[MAXN],tot,idx,d[MAXN];
int cnt,belong[MAXN];
int dfn[MAXN],low[MAXN],vis[MAXN];
int sta[MAXN*3],stak;
set<int>ans,Edge[MAXN],Node[MAXN];
struct edge{int to,nxt;}e[MAXN<<1];
void addEdge(int u,int v){e[++tot]=(edge){v,head[u]};head[u]=tot;}
int add(int x,int y){return x+y>=mo?x+y-mo:x+y;}
void tarjan(int u,int fa){
	dfn[u]=low[u]=++idx;
	for(int i=head[u];i;i=e[i].nxt){
		int v=e[i].to;
		if(!dfn[v]){
			sta[++stak]=i>>1;sta[++stak]=u;sta[++stak]=v;
			tarjan(v,u);low[u]=min(low[u],low[v]);
			if(dfn[u]<=low[v]){
				cnt++;int tu,tv,ti;
				do{
					Node[cnt].insert(tv=sta[stak--]);
					Node[cnt].insert(tu=sta[stak--]);
					Edge[cnt].insert(ti=sta[stak--]);
				}while(tu!=u||tv!=v);
			}
		}
		else if(dfn[v]<dfn[u]&&v!=fa){
			sta[++stak]=i>>1;sta[++stak]=u;sta[++stak]=v;				
			low[u]=min(low[u],dfn[v]);
		}
	}
}
signed main(){
	read(n);read(m);tot=1;
	for(int i=1;i<=m;i++){
		int u,v;read(u);read(v);
		addEdge(u,v);addEdge(v,u);
	}
	for(int i=1;i<=n;i++)if(!dfn[i])tarjan(i,0);
	for(int i=1;i<=cnt;i++){
		if(Edge[i].size()==Node[i].size())
			ans.insert(Edge[i].begin(),Edge[i].end());
		//printf("%d:%d %d\n",i,Edge[i].size(),Node[i].size());		
	}
	printf("%d\n",ans.size());
	for(auto u : ans)printf("%d ",u);
	return 0;
}