【SDOI2008】洞穴勘测

【SDOI2008】洞穴勘测

Description

　　辉辉热衷于洞穴勘测。某天，他按照地图来到了一片被标记为JSZX的洞穴群地区。经过初步勘测，辉辉发现这片区域由n个洞穴（分别编号为1到n）以及若干通道组成，并且每条通道连接了恰好两个洞穴。假如两个洞穴可以通过一条或者多条通道按一定顺序连接起来，那么这两个洞穴就是连通的，按顺序连接在一起的这些通道则被称之为这两个洞穴之间的一条路径。
　　洞穴都十分坚固无法破坏，然而通道不太稳定，时常因为外界影响而发生改变，比如，根据有关仪器的监测结果，123号洞穴和127号洞穴之间有时会出现一条通道，有时这条通道又会因为某种稀奇古怪的原因被毁。辉辉有一台监测仪器可以实时将通道的每一次改变状况在辉辉手边的终端机上显示：
　　如果监测到洞穴u和洞穴v之间出现了一条通道，终端机上会显示一条指令 Connect u v
　　如果监测到洞穴u和洞穴v之间的通道被毁，终端机上会显示一条指令 Destroy u v
　　经过长期的艰苦卓绝的手工推算，辉辉发现一个奇怪的现象：无论通道怎么改变，任意时刻任意两个洞穴之间至多只有一条路径。因而，辉辉坚信这是由于某种本质规律的支配导致的。因而，辉辉更加夜以继日地坚守在终端机之前，试图通过通道的改变情况来研究这条本质规律。
　　然而，终于有一天，辉辉在堆积成山的演算纸中崩溃了……他把终端机往地面一砸（终端机也足够坚固无法破坏），转而求助于你，说道：“你老兄把这程序写写吧”。
　　辉辉希望能随时通过终端机发出指令 Query u v，向监测仪询问此时洞穴u和洞穴v是否连通。现在你要为他编写程序回答每一次询问。
　　已知在第一条指令显示之前，JSZX洞穴群中没有任何通道存在。

Input

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

Output

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

Sample Input

200 5

Query 123 127

Connect 123 127

Query 123 127

Destroy 127 123

Query 123 127

Sample Output

No

Yes

No

Hint

【样例2】
样例输入（cave.in文件内容）：
3 5
Connect 1 2
Connect 3 1
Query 2 3
Destroy 1 3
Query 2 3

样例输出（cave.out文件内容）：
Yes
No
【数据范围】
10%的数据满足n≤1000, m≤20000
20%的数据满足n≤2000, m≤40000
30%的数据满足n≤3000, m≤60000
40%的数据满足n≤4000, m≤80000
50%的数据满足n≤5000, m≤100000
60%的数据满足n≤6000, m≤120000
70%的数据满足n≤7000, m≤140000
80%的数据满足n≤8000, m≤160000
90%的数据满足n≤9000, m≤180000
100%的数据满足n≤10000, m≤200000

保证所有Destroy指令将摧毁的是一条存在的通道
本题输入、输出规模比较大，建议c\c++选手使用scanf和printf进行I\O操作以免超时

Solution

 动态树的模板。

最开始是每一个点单独成为一棵树的森林，连边就Link，去边就Cut，询问是有通路则是询问是否在同一棵树。

连维护都没有。

CODE

这道题的Splay写得很丑。。。后面才搞出来一个好看一点的模板。

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
int n,m;
inline int read(){
	char c;int rec=0;
	while((c=getchar())<'0'||c>'9');
	while(c>='0'&&c<='9')rec=rec*10+c-'0',c=getchar();
	return rec;
}
struct LCT_Tree{int s[2],F,lazy;}tree[10005];
int pre[10005],top=0;
inline bool Isroot(int v){return tree[tree[v].F].s[0]!=v&&tree[tree[v].F].s[1]!=v;}
inline void Pushdown(int v){
	if(tree[v].lazy){
		tree[v].lazy=0;
		swap(tree[v].s[0],tree[v].s[1]);
		tree[tree[v].s[0]].lazy^=1;tree[tree[v].s[1]].lazy^=1;
	}
	return ;
}
inline void Lazy(){
	for(int i=pre[top];!Isroot(i);i=tree[i].F)pre[++top]=tree[i].F;
	while(top)Pushdown(pre[top--]);
	return ;
}
void rot(int root) {
	int fa=tree[root].F;
	int gfa=tree[fa].F;
	int t1=(root!=tree[fa].s[0]);
	int t2=(fa!=tree[gfa].s[0]);
	int ch=tree[root].s[1^t1];
	if(!Isroot(fa))tree[gfa].s[0^t2]=root;
	tree[ch].F=fa;
	tree[root].F=gfa;
	tree[root].s[1^t1]=fa;
	tree[fa].F=root;
	tree[fa].s[0^t1]=ch;
	return;
}
void Splay(int root) {
	pre[++top]=root;
	Lazy();
	while(!Isroot(root)) {
		int fa=tree[root].F;
		int gfa=tree[fa].F;
		if(!Isroot(fa))
			root==tree[fa].s[0]^fa==tree[gfa].s[0]?rot(root):rot(fa);
		rot(root);
	}
	return;
}
inline void Access(int v){
	int temp=0;
	while(v){
		Splay(v);
		tree[v].s[1]=temp;
		temp=v;v=tree[v].F;
	}
	return ;
}
inline void Make_Root(int v){Access(v);Splay(v);tree[v].lazy^=1;return ;}
inline void Link(int v1,int v2){Make_Root(v1);tree[v1].F=v2;return ;}
inline void Cut(int v1,int v2){Make_Root(v1);Access(v2);Splay(v2);tree[v2].s[0]=tree[v1].F=0;return ;}
inline int Find_Root(int v){
	Access(v);Splay(v);
	int temp=v;
	while(tree[temp].s[0])temp=tree[temp].s[0];
	return temp;
}
string s;
string ans[2]={"No","Yes"};
int main(){
	n=read();m=read();
	int i,x,y;
	for(i=1;i<=m;i++){
		cin>>s;
		x=read();y=read();
		if(s[0]=='C')Link(x,y);
		if(s[0]=='D')Cut(x,y);
		if(s[0]=='Q')cout<<ans[Find_Root(x)==Find_Root(y)]<<'\n';
	}
	return 0;
}