bzoj4025——二分图

题意：你有n个点m条边，每条边有一个出现的时间区间，对于每一个时间点判断当前是否是二分图

解析：

做法1（线段树分治+带权并查集）：

（以下不妨假设图联通）

Part 1:

判断一个图是否是二分图的充要条件为当前图中不存在奇环

Part 2:

对于一个图判断是否存在奇环的方法：我们只需要找到关于此图的生成树，然后如果加入了某条边，仅需判断该边与这颗生成树是否组成奇环。

证明：如果某条边与生成树组成奇环，显然成立；否则可以发现我们每次走非树边，其奇偶性与走树上的路径一致，所以把所有非树边转换为树上的路径，在根据欧拉序思想，这个图上不存在奇环

Part 3:

线段树分治，对时间建一颗线段树，把每条边所影响的时间在线段树上打上标记，遍历线段树用带撤销并查集维护即可

Part4:用xor来表示奇偶性变换，对于每个点维护到并查集中根节点的奇偶性。

用(s-t)表示路径(s-t)的奇偶性

由于(s-t)=(s-k)^(k-t)，所以只需要维护边上的信息即可

 

#pragma GCC optimize(2)
#include<bits/stdc++.h>
#define pb(x) push_back(x)
#define mk(x,y) make_pair(x,y)
using namespace std;
const int N=1e5+10;
int fa[N],size[N],s[N],p[N<<2];
vector<pair<int,int> >q[N<<2];
pair<int,int> sta[N<<2];
int n,m,T,u,v,start,end,top;
void change(int l,int r,int k,int ql,int qr){
	if (l>=ql&&r<=qr){
		q[k].pb(mk(u,v));
	} else {
		int mid=(l+r)/2;
		if (ql<=mid) change(l,mid,k<<1,ql,qr);
		if (qr>mid) change(mid+1,r,k<<1|1,ql,qr);
	} 
}
int getfather(int x){return fa[x]==x?x:getfather(fa[x]);}
int get(int x){return fa[x]==x?0:(get(fa[x])^s[x]);}
bool merge(int x,int y,int now,int i){
	int x1=getfather(x),y1=getfather(y);
	if (x1!=y1) {
		sta[++top]=(mk(x1,y1)); p[top]=now;
		if (size[x1]>size[y1]) {
			size[x1]+=size[y1];
			s[y1]=(get(y)^get(x)^1); fa[y1]=x1; 
		} else {
			size[y1]+=size[x1];
			s[x1]=(get(x)^get(y)^1); fa[x1]=y1;
		}
		return 0;
	} else {
		if (get(x)^get(y)) return 0; else return 1;
	}
}
bool put(int x){
	for (int i=0;i<q[x].size();i++){
		pair<int,int> t=q[x][i];
		if (merge(t.first,t.second,x,i)) return 1;
	}
	return 0;
}
void del(int x,int y){
	if (fa[x]==y) {
		fa[x]=x; s[x]=0; size[y]-=size[x];
	} else {
		fa[y]=y; s[y]=0; size[x]-=size[y];
	}
}
void solve(int l,int r,int k){
	if (put(k)){
		for (int i=l;i<=r;i++) puts("No");
		while (p[top]==k){
		del(sta[top].first,sta[top].second);
		top--;
	    }
		return;
	}
	if (l==r) puts("Yes");
	else {
		int mid=(l+r)/2;
		solve(l,mid,k<<1); solve(mid+1,r,k<<1|1);
	}
	while (p[top]==k){
		del(sta[top].first,sta[top].second);
		top--;
	}
}
int main(){
	scanf("%d%d%d",&n,&m,&T);
	for (int i=1;i<=n;i++) fa[i]=i,size[i]=1;
	for (int i=1;i<=m;i++){
		scanf("%d%d%d%d",&u,&v,&start,&end); 
		if (start<end)
		change(1,T,1,start+1,end);
	}
	solve(1,T,1);
}

做法2（线段树分治+LCT）:

基本跟做法1一样，只不过用LCT来代替带权并查集来维护