[SDOI2008]洞穴勘测——[LCT]

【题目描述】
辉辉热衷于洞穴勘测。

某天，他按照地图来到了一片被标记为JSZX的洞穴群地区。经过初步勘测，辉辉发现这片区域由n个洞穴（分别编号为1到n）以及若干通道组成，并且每条通道连接了恰好两个洞穴。假如两个洞穴可以通过一条或者多条通道按一定顺序连接起来，那么这两个洞穴就是连通的，按顺序连接在一起的这些通道则被称之为这两个洞穴之间的一条路径。 洞穴都十分坚固无法破坏，然而通道不太稳定，时常因为外界影响而发生改变，比如，根据有关仪器的监测结果，123号洞穴和127号洞穴之间有时会出现一条通道，有时这条通道又会因为某种稀奇古怪的原因被毁。

辉辉有一台监测仪器可以实时将通道的每一次改变状况在辉辉手边的终端机上显示：

如果监测到洞穴u和洞穴v之间出现了一条通道，终端机上会显示一条指令 Connect u v

如果监测到洞穴u和洞穴v之间的通道被毁，终端机上会显示一条指令 Destroy u v

经过长期的艰苦卓绝的手工推算，辉辉发现一个奇怪的现象：无论通道怎么改变，任意时刻任意两个洞穴之间至多只有一条路径。

因而，辉辉坚信这是由于某种本质规律的支配导致的。因而，辉辉更加夜以继日地坚守在终端机之前，试图通过通道的改变情况来研究这条本质规律。 然而，终于有一天，辉辉在堆积成山的演算纸中崩溃了……他把终端机往地面一砸（终端机也足够坚固无法破坏），转而求助于你，说道：“你老兄把这程序写写吧”。

辉辉希望能随时通过终端机发出指令 Query u v，向监测仪询问此时洞穴u和洞穴v是否连通。现在你要为他编写程序回答每一次询问。 已知在第一条指令显示之前，JSZX洞穴群中没有任何通道存在。

【输入格式】
第一行为两个正整数n和m，分别表示洞穴的个数和终端机上出现过的指令的个数。 以下m行，依次表示终端机上出现的各条指令。每行开头是一个表示指令种类的字符串s（"Connect”、”Destroy”或者”Query”，区分大小写），之后有两个整数u和v (1≤u, v≤n且u≠v) 分别表示两个洞穴的编号。

【输出格式】
对每个Query指令，输出洞穴u和洞穴v是否互相连通：是输出”Yes”，否则输出”No”。（不含双引号）

$SampleInput$

200 5
Query 123 127
Connect 123 127
Query 123 127
Destroy 127 123
Query 123 127

$SampleOutput$

No
Yes
No

【题意分析】
大概浏览一下题意，很明显是维护一个森林，那么就是赤果果♂的lct了。

$connect$和$destroy$分别对应$Link$和$Cut$，$query$就两次$findroot$判连通性。

因为只需要连接点的信息，其他玩意儿都不用，所以$pushup$就直接免了，因为这样所以貌似并查集也能搞。。。

实测20min写完

Code:

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cctype>
#include<cstring>
#include<vector>
#include<algorithm>
#define Read(a) a = SlowRead <int> ()
#define MAXN 300000
using namespace std;

int son[MAXN][2],father[MAXN],lazy[MAXN],stack[MAXN],n,q;

//慢读
template <typename T> inline T SlowRead (){
	register int s = 0,w = 1;
	register char ch = getchar ();
	while (!isdigit (ch)){if (ch == '-')w = -1;ch = getchar ();}
	while (isdigit (ch)){s = (s << 3)+(s << 1)+ch-'0';ch = getchar ();}
	return s*w;
}

namespace Link_Cut_Tree{

	//是否为根
	inline bool isroot (int x){
		return ! (son[father[x]][0] == x || son[father[x]][1] == x);
	}
	
	//旋转标记下传
	inline void pushdown (int x){
		if (lazy[x]){
			swap (son[x][0],son[x][1]);
			lazy[son[x][0]] ^= 1;
			lazy[son[x][1]] ^= 1;
			lazy[x] = 0;
		}
	}
	
	//旋转
	inline void rotate (int x){
		int y = father[x],z = father[y];
		int k = son[y][1] == x,kk = son[z][1] == y;
		if (!isroot (y))son[z][kk] = x;
		father[x] = z;
		son[y][k] = son[x][k^1];
		father[son[x][k^1]] = y;
		son[x][k^1] = y;
		father[y] = x;
	}
	
	//伸展
	inline void splay (int x){
		int top = 0;
		stack[++top] = x;
		for (register int i = x;!isroot (i);i = father[i])
			stack[++top] = father[i];
		for (register int i = top;i;i--)
			pushdown (stack[i]);
		while (!isroot (x)){
			int y = father[x],z = father[y];
			if (!isroot (y))
				(son[y][1] == x) ^ (son[z][1] == y)
					? rotate (x) : rotate (y);
			rotate (x);
		}
	}
	
	//走通一条路
	inline void access (int x){
		for (register int y = 0;x;y = x,x = father[x]){
			splay (x);
			son[x][1] = y;
		}
	}

	//换根
	inline void makeroot (int x){
		access (x);
		splay (x);
		lazy[x] ^= 1;
	}

	//找根
	inline int findroot (int x){
		access (x);
		splay (x);
		while (son[x][0]){
			pushdown (son[x][0]);
			x = son[x][0];
		}
		return x;
	}

	//连
	inline void link (int x,int y){
		makeroot (x);
		father[x] = y;
	}

	//切
	inline void cut (int x,int y){
		makeroot (x);
		access (y);
		splay (y);
		son[y][0] = father[x] = 0;
	}

	//判断是不是在同一棵树里
	inline void query (int x,int y){
		(findroot (x) == findroot (y))
			? puts ("Yes") : puts ("No");
	}

}using namespace Link_Cut_Tree;

int main (){
	Read (n),Read (q);
	while (q--){
		char s[15];
		int x,y;
		scanf ("%s",s);
		Read (x),Read (y);
		switch (s[0]){
			case 'C' : link (x,y); break;
			case 'D' : cut (x,y); break;
			case 'Q' : query (x,y); break;
		}
	}
	return 0;
}