luogu 5787

题目链接

解法

线段树分治：
首先对于动态加边，并且维护图是否是二分图，可以使用带权并查集，一个点拆成两个，分别表示这个点染黑色还是白色。每次加边维护并查集就可以了。

然后对于这个题，就是把每条边出现的时间对应到线段树上的区间，在每个线段树节点上用一个vector维护时间段和该节点有交的边。最后一次dfs处理所有边：进入一个节点后，先把所有边加入并查集，如果不是二分图，那么整个节点一定不是二分图。输出No并退出，否则递归下去，知道叶子节点都满足要求才输出Yes。然后并查集不支持删边，我们需要使用带撤销的并查集。

#include<bits/stdc++.h>
using namespace std;
const int maxn=2e5+5;
inline int read(){
	char c=getchar();int t=0,f=1;
	while((!isdigit(c))&&(c!=EOF)){if(c=='-')f=-1;c=getchar();}
	while((isdigit(c))&&(c!=EOF)){t=(t<<3)+(t<<1)+(c^48);c=getchar();}
	return t*f;
}
int n,m,k;
int f[maxn],dep[maxn],dis[maxn];
vector<int> g[maxn<<2];
void ins(int rt,int l,int r,int x,int y,int p){
	if(x<=l&&r<=y){
		g[rt].push_back(p);
		return ;
	}
	int mid=(l+r)>>1;
	if(x<=mid)ins(rt<<1,l,mid,x,y,p);
	if(y>mid)ins(rt<<1|1,mid+1,r,x,y,p);
}
int u[maxn],v[maxn];
inline int find(int x){
	if(f[x]^x)return find(f[x]);
	return x;
}
typedef pair<int,int> pii;
stack<pii> s;
inline void merge(int a,int b){
	int x=find(a),y=find(b);
	if(x==y)return ;
	if(dep[x]<dep[y])swap(x,y);
	s.push(pii(y,dep[y]==dep[x]));
	f[y]=x;dep[x]+=dep[x]==dep[y];
}
#define fi first
#define se second
void dfs(int rt,int l,int r){
	bool ok=1;
	int len=s.size();
	for(int i=0;i<g[rt].size();i++){
		int x=g[rt][i],alfa=find(u[x]),beta=find(v[x]);
		if(alfa==beta){
			for(int i=l;i<=r;i++)puts("No");
			ok=0;break;
		}
		merge(u[x]+n,v[x]),merge(u[x],v[x]+n);
	}
	if(ok){int mid=(l+r)>>1;
		if(l==r)puts("Yes");
		else dfs(rt<<1,l,mid),dfs(rt<<1|1,mid+1,r);
	}
	while(s.size()>len){
		dep[s.top().fi]-=s.top().se;
		f[s.top().fi]=s.top().fi;s.pop();
	}
}
signed main(){
	n=read(),m=read(),k=read();
	for(int i=1;i<=m;i++){
		u[i]=read(),v[i]=read();
		int l=read(),r=read();
		if(l^r)ins(1,1,k,l+1,r,i);
	}
	for(int i=1;i<=n;i++)f[i]=i,f[i+n]=i+n;
	dfs(1,1,k);
	return 0;
}