HDU-5215 Cycle(边双/判奇偶环)

题目

HDU-5215 Cycle

网上那个啥dfs的垃圾做法随便弄组数据已经hack掉了

做法

纯奇环偶环通过dfs树上，染色判断（由于偶环可能有两个奇环，通过一点相交，dfs树上并不能判完）

两环如果相交必定形成偶环，由于不可以重复经过边，把每个边双提出来判断一下是否存在两个环以上即可

Code

为增加代码的可读性写得比较冗长

#include<bits/stdc++.h>
typedef int LL;
const LL maxn=1e6+9;
inline LL Read(){
	LL x(0),f(1); char c=getchar();
	while(c<'0' || c>'9'){
		if(c=='-') f=-1; c=getchar();
	}
	while(c>='0' && c<='9'){
		x=(x<<3)+(x<<1)+c-'0'; c=getchar();
	}return x*f;
}
struct node{
	LL to,nxt;
}dis[maxn];
LL n,num,odd,even,tot1,tot2,tim,m,T;
LL head[maxn],cir[maxn],col[maxn],dfn[maxn],low[maxn],visit[maxn];
inline void Add(LL u,LL v){
	dis[++num]=(node){v,head[u]}; head[u]=num;
}
void Dfs1(LL u,LL ff){
	for(LL i=head[u];i!=-1;i=dis[i].nxt){
		LL v(dis[i].to);if(v==ff) continue;
		if(!col[v]){
			col[v]=3-col[u]; Dfs1(v,u);
		}else{
			if(col[v]==col[u]) odd=true;
			else even=true;
		}
	}
}
void Dfs2(LL u,LL ff){
	dfn[u]=low[u]=++tim;
	for(LL i=head[u];i!=-1;i=dis[i].nxt){
		LL v(dis[i].to); if(v==ff) continue;
		if(!dfn[v]){
			Dfs2(v,u); low[u]=std::min(low[v],low[u]);
			if(low[v]>dfn[u]){
				cir[i]=cir[i^1]=true;
			}
		}else low[u]=std::min(low[u],dfn[v]);
	}
}
void Dfs3(LL u,LL ff){
	++tot1; visit[u]=true;
	for(LL i=head[u];i!=-1;i=dis[i].nxt){
		if(cir[i]) continue;
		LL v(dis[i].to); tot2++;
		if(v==ff || visit[v]) continue;
		Dfs3(v,u);
	}
}
int main(){
	T=Read();
	while(scanf("%d%d",&n,&m)==2){
		num=-1;
		for(LL i=1;i<=n;++i) head[i]=-1;
		for(LL i=1;i<=n;++i) visit[i]=col[i]=dfn[i]=low[i]=0;
		for(LL i=0;i<=(m<<1);++i) cir[i]=0;
		odd=even=tim=0;
		for(LL i=1;i<=m;++i){
			LL u(Read()),v(Read());
			Add(u,v); Add(v,u);
		}
		for(LL i=1;i<=m;++i){
			if(!dfn[i]) col[i]=1,Dfs1(i,0),Dfs2(i,0);
		}
		for(LL i=1;i<=n;++i){
			if(!visit[i]){
				tot1=tot2=0;
				Dfs3(i,0);
				tot2>>=1;
				if(tot1!=1){
					if(tot2>tot1) even=true;
				}
			}
		}
		if(odd) puts("YES");else puts("NO");
		if(even) puts("YES"); else puts("NO");
	}
}