【BZOJ4025】二分图（线段树分治，并查集）

【BZOJ4025】二分图（线段树分治，并查集）

题面

BZOJ

题解

是一个二分图，等价于不存在奇环。

那么直接线段树分治，用并查集维护到达根节点的距离，只计算就好了。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<vector>
using namespace std;
#define ll long long
#define MAX 100100
#define lson (now<<1)
#define rson (now<<1|1)
#define pb push_back
inline int read()
{
	int x=0;bool t=false;char ch=getchar();
	while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
	if(ch=='-')t=true,ch=getchar();
	while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
	return t?-x:x;
}
struct Line{int u,v;};
vector<Line> seg[MAX<<2];
bool ans[MAX];
void Modify(int now,int l,int r,int L,int R,Line e)
{
	if(L<=l&&r<=R){seg[now].pb(e);return;}
	int mid=(l+r)>>1;
	if(L<=mid)Modify(lson,l,mid,L,R,e);
	if(R>mid)Modify(rson,mid+1,r,L,R,e);
}
int f[MAX],sz[MAX],dis[MAX],n,m,T;
int getf(int x){while(x!=f[x])x=f[x];return x;}
int getdis(int x){int d=0;while(x!=f[x])d^=dis[x],x=f[x];return d;}
void Divide(int now,int l,int r)
{
	vector<Line> Opt;int mid=(l+r)>>1;bool fl=false;
	for(int i=0,l=seg[now].size();i<l;++i)
	{
		int u=seg[now][i].u,v=seg[now][i].v;
		int a=getf(u),b=getf(v);
		if(a==b){if(!(getdis(u)^getdis(v))){fl=true;break;}}
		else
		{
			if(sz[a]>sz[b])swap(a,b),swap(u,v);
			sz[b]+=sz[a];dis[a]=dis[u]^dis[v]^1;f[a]=b;
			Opt.pb((Line){a,b});
		}
	}
	if(!fl)
	{
		if(l==r)ans[l]=true;
		else Divide(lson,l,mid),Divide(rson,mid+1,r);
	}
	for(int i=Opt.size()-1;~i;--i)
	{
		int u=Opt[i].u,v=Opt[i].v;
		sz[v]-=sz[u];dis[u]=0;f[u]=u;
	}
}
int main()
{
	n=read();m=read();T=read();
	for(int i=1;i<=m;++i)
	{
		int u=read(),v=read(),l=read(),r=read();
		if(l<r)Modify(1,1,T,l+1,r,(Line){u,v});
	}
	for(int i=1;i<=n;++i)f[i]=i,sz[i]=1;
	Divide(1,1,T);
	for(int i=1;i<=T;++i)puts(ans[i]?"Yes":"No");
	return 0;
}