洛谷P2147 [SDOI2008]Cave 洞穴勘测

链接

　　https://www.luogu.org/problem/show?pid=2147

题解

　　我的码力为什么弱了

　　调了2节课，最后发现竟然是rotate写错了....看来只有靠多打板子，下次才能一次打对。

　　就是LCT裸题，

　　link(x,y)：access(x)、splay(x)然后x->f=y  (感性理解...)

　　cnt(x,y)：因为保证x和y一定有边直接相连，所以一定有一个是另一个的父亲，如果x是父亲，那么access(x)、splay(y)之后y->f一定指向x，直接y->f=0；如果上述操作后y->f≠x，那肯定y是父亲，那就access(y),splay(x),x->f=0；

　　查找是否连通：直接while(x->f!=0)x=x->f；最后的x就是整棵树的根节点，看看两个点的根节点一不一样，就能知道是否在同一颗树里了

代码

//动态树
#include <cstdio>
#include <algorithm>
#define maxn 500000
using namespace std;
struct node
{
	int rev;
	node *f, *ch[2];
}nd[maxn], *s[maxn];
inline int getwh(node *x)
{if(x->f==0)return -1;if(x->f->ch[0]==x)return 0;if(x->f->ch[1]==x)return 1;return -1;}
inline bool isroot(node *x){return getwh(x)==-1;}
inline void tag(node *x){if(x)x->rev^=1;}
inline void join(node *x, node *y, int wh){if(x)x->f=y;if(y)y->ch[wh]=x;}
inline void pushdown(node *x)
{
	if(x->rev)
	{
		swap(x->ch[0],x->ch[1]);
		tag(x->ch[0]),tag(x->ch[1]);
		x->rev=0;
	}
}
inline void rotate(node *x)
{
	node *y=x->f, *z=y->f;
	int c=getwh(x);
	if(!isroot(y))join(x,z,getwh(y));
	else x->f=y->f;
	join(x->ch[!c],y,c);
	join(y,x,!c);
}
inline void splay(node *x)
{
	node *y;
	int top=0;
	for(y=x;!isroot(y);y=y->f)s[++top]=y;s[++top]=y;
	for(;top;top--)pushdown(s[top]);
	while(!isroot(x))
	{
		y=x->f;
		if(isroot(y)){rotate(x);break;}
		if(getwh(x)^getwh(y))rotate(x);
		else rotate(y);
		rotate(x);
	}
}
inline void access(node *x)
{
	node *t=0;
	while(x)
	{
		splay(x);
		x->ch[1]=t;
		t=x;x=x->f;
	}
}
inline void link(node *x, node *y){access(x);splay(x);tag(x);x->f=y;}
inline void cut(node *x, node *y)
{
	access(x);splay(y);
	if(y->f==x){y->f=0;return;}
	access(y);splay(x);x->f=0;
}
inline node* findroot(node *x)
{
	while(x->f)x=x->f;
	return x;
}
int main()
{
	int N, M, x, y;
	char ord[100];
	scanf("%d%d",&N,&M);
	while(M--)
	{
		scanf("%s%d%d",ord,&x,&y);
		if(*ord=='Q')
		{
			if(findroot(nd+x)==findroot(nd+y))printf("Yes\n");
			else printf("No\n");
		}
		else if(*ord=='C')link(nd+x,nd+y);
		else cut(nd+x,nd+y);
	}
	return 0;
}