BZOJ 4668: 冷战 并查集启发式合并/LCT

挺好想的，最简单的方法是并查集启发式合并，加暴力跳父亲。 

然而，这个代码量比较小，比较好写，所以我写了 LCT，更具挑战性。

#include <cstdio> 
#include <algorithm> 
#define N 1000004 
#define lson t[x].ch[0] 
#define rson t[x].ch[1] 
#define setIO(s) freopen(s".in","r",stdin) 
using namespace std;   
int sta[N],n,m,p[N]; 
struct Node { 
	int ch[2],max,val,rev,f; 
}t[N];  
int find(int x) {
	return p[x]==x?x:p[x]=find(p[x]); 
}
int get(int x) {
	return t[t[x].f].ch[1]==x; 
}  
int isrt(int x) {
	return !(t[t[x].f].ch[0]==x||t[t[x].f].ch[1]==x); 
}
void pushup(int x) {
	t[x].max=t[x].val; 
	t[x].max=max(max(t[lson].max,t[rson].max), t[x].max); 
}  
void mark(int x) {
	if(!x) return; 
	swap(lson, rson), t[x].rev^=1;  
}
void pushdown(int x) {
	if(t[x].rev) mark(lson), mark(rson), t[x].rev=0; 
}
void rotate(int x) {  
	int old=t[x].f,fold=t[old].f,which=get(x); 
	if(!isrt(old)) 
		t[fold].ch[t[fold].ch[1]==old]=x; 
	t[old].ch[which]=t[x].ch[which^1], t[t[old].ch[which]].f=old; 
	t[x].ch[which^1]=old,t[old].f=x,t[x].f=fold; 
	pushup(old),pushup(x);  
} 
void splay(int x) {
	int v=0,u=x,fa; 
	for(sta[++v]=u;!isrt(u);u=t[u].f) sta[++v]=t[u].f; 
	for(int i=v;i>=1;--i) pushdown(sta[i]); 
	for(u=t[u].f;(fa=t[x].f)!=u;rotate(x)) 
		if(t[fa].f!=u) 
			rotate(get(fa)==get(x)?fa:x);     
}
void Access(int x) {
	for(int y=0;x;y=x,x=t[x].f) { 
		splay(x),rson=y,pushup(x);        
	}
}
void makeroot(int x) {
	Access(x),splay(x),mark(x); 
} 
void split(int x,int y) {
	makeroot(x),Access(y),splay(y); 
}
void link(int x,int y) {   
	makeroot(x), makeroot(y),t[x].f=y;  
}
int main() { 
	int i,j,cc=0;  
	scanf("%d%d",&n,&m); 
	for(i=1;i<=n;++i) p[i]=i;    
	int lastans=0,tot=n; 
	for(i=1;i<=m;++i) {  
		int op,x,y; 
		scanf("%d%d%d",&op,&x,&y); 
		x^=lastans,y^=lastans; 
		if(op==0) {  
			++cc; 
			x=find(x),y=find(y); 
			if(x!=y) {
				++tot; 
				p[x]=p[y]=p[tot]=tot;  
				t[tot].val=cc;   
				link(x,tot),link(tot,y);    
			}
		}
		else { 
			int xx=find(x),yy=find(y); 
			if(xx!=yy) printf("0
"),lastans=0; 
			else { 
				split(x,y);     
				printf("%d
",lastans=t[y].max);   
			}
		}
	}
	return 0; 
}