[BZOJ4025][线段树分治][并查集]二分图

BZOJ4025

维护动态图，如果某一个时刻出现了奇环，那么之后都不是二分图，很好证明，一个奇环不可能拆成几个偶环
查询新加入的一条边的两个端点的距离即可判断奇偶性，可以通过带权并查集+染色做到
动态加边删边就用分治就完了

Code：

#include<bits/stdc++.h>
using namespace std;
inline int read(){
	int res=0,f=1;char ch=getchar();
	while(!isdigit(ch)) {if(ch=='-') f=-f;ch=getchar();}
	while(isdigit(ch)) {res=(res<<1)+(res<<3)+(ch^48);ch=getchar();}
	return res*f;
}
const int N=1e5+5;
int n,m,fa[N],ans[N],t,siz[N],col[N];
struct E{int x,y;};
vector<E>ad[N<<2];
struct De{E e;int num;};
vector<De>de[N<<2];
inline int get(int &x){
	int res=0;
	while(x^fa[x]) res^=col[x],x=fa[x];
	return res;
}
inline void ins(int k,int l,int r,int ql,int qr,int x,int y){
	if(ql>r || qr<l) return;
	if(ql<=l && r<=qr) {ad[k].push_back((E){x,y});return;}
	int mid=(l+r)>>1;
	if(qr<=mid) ins(k<<1,l,mid,ql,qr,x,y);
	else if(ql>mid) ins(k<<1|1,mid+1,r,ql,qr,x,y);
	else ins(k<<1,l,mid,ql,qr,x,y),ins(k<<1|1,mid+1,r,ql,qr,x,y);
}
inline void query(int k,int l,int r){
	int f=0;
	for(int i=0;i<ad[k].size();i++){
		int x=ad[k][i].x,y=ad[k][i].y,a=get(x),b=get(y);
		if(x==y){
			if(a==b){
				f=1;
				for(int i=l;i<=r;i++) ans[i]=0;
				break;
			}
			continue;
		}
		if(siz[x]<siz[y]) swap(x,y);
		fa[y]=x;col[y]=a^b^1;
		int tmp=0;
		if(siz[x]==siz[y]) siz[x]+=(tmp=1);
		de[k].push_back((De){(E){x,y},tmp});
	}
	int mid=(l+r)>>1;
	if(l!=r && !f) query(k<<1,l,mid),query(k<<1|1,mid+1,r);
	for(int i=de[k].size()-1;~i;i--){
		int x=de[k][i].e.x,y=de[k][i].e.y;
		fa[y]=y;col[y]=0;siz[x]-=de[k][i].num;
	}
}
int main(){
	n=read(),m=read(),t=read();
	for(int i=1;i<=n;i++) fa[i]=i,ans[i]=siz[i]=1;
	for(int i=1;i<=m;i++){
		int u=read(),v=read(),l=read()+1,r=read();
		if(l>r)continue;
		ins(1,1,t,l,r,u,v);
	}
	query(1,1,t);
	for(int i=1;i<=t;i++) ans[i]?puts("Yes"):puts("No");
	return 0;
}