【BZOJ4424】Cf19EFairyDFS树

HINT

100%的数据，n,m<=1000000

题解：先建出DFS树，然后每条非树边都对应一个简单环。找出所有奇环偶环及其覆盖的树边，然后分类讨论：

如果没有奇环，那么删哪条边都行。
如果只有一个奇环，那么可以删它覆盖的树边，也可以删这条非树边。
如果有多个奇环，那么必须删掉被所有奇环都覆盖的边。

但是问题来了，奇环+偶环=奇环，也就意味着如果一条边即被奇环覆盖也被偶环覆盖，那么删掉这条边是没有的，判掉就好。

#include 
#include 
#include 
using namespace std;
const int maxn=1000010;
int n,m,sum,ans,cnt;
int f[maxn],to[maxn<<1],next[maxn<<1],ont[maxn<<1],head[maxn],pa[maxn],pb[maxn],vis[maxn],dep[maxn];
int fa[20][maxn],Log[maxn],pc[maxn],s1[maxn],s0[maxn],from[maxn],ok[maxn];
int find(int x)
{
	return (f[x]==x)?x:(f[x]=find(f[x]));
}
inline void add(int a,int b)
{
	to[cnt]=b,next[cnt]=head[a],head[a]=cnt++;
}
void dfs1(int x)
{
	vis[x]=1;
	for(int i=head[x];i!=-1;i=next[i])	if(!vis[to[i]])
		ont[i]=1,fa[0][to[i]]=x,dep[to[i]]=dep[x]+1,from[to[i]]=(i>>1)+1,dfs1(to[i]);
}
inline int lca(int a,int b)
{
	if(dep[a]=0;i--)	if(dep[fa[i][a]]>=dep[b])	a=fa[i][a];
	if(a==b)	return a;
	for(int i=Log[dep[a]];i>=0;i--)	if(fa[i][a]!=fa[i][b])	a=fa[i][a],b=fa[i][b];
	return fa[0][a];
}
void dfs2(int x)
{
	for(int i=head[x];i!=-1;i=next[i])	if(ont[i])	dfs2(to[i]),s1[x]+=s1[to[i]],s0[x]+=s0[to[i]];
}
inline int rd()
{
	int ret=0,f=1;	char gc=getchar();
	while(gc<‘0‘||gc>‘9‘)	{if(gc==‘-‘)	f=-f;	gc=getchar();}
	while(gc>=‘0‘&&gc<=‘9‘)	ret=ret*10+(gc^‘0‘),gc=getchar();
	return ret*f;
}
int main()
{
	n=rd(),m=rd();
	int i,j;
	memset(head,-1,sizeof(head));
	for(i=1;i<=n;i++)	f[i]=i;
	for(i=1;i<=m;i++)
	{
		pa[i]=rd(),pb[i]=rd(),add(pa[i],pb[i]),add(pb[i],pa[i]);
		if(find(pa[i])!=find(pb[i]))	f[f[pa[i]]]=f[pb[i]];
	}
	for(i=1;i<=n;i++)	if(!vis[i])	dep[i]=1,dfs1(i);
	for(i=2;i<=n;i++)	Log[i]=Log[i>>1]+1;
	for(j=1;(1<

【BZOJ4424】Cf19E Fairy DFS树