标签：原因 bool 表示 第一条 实时 区分 swa ESS --
BZOJ_2049_[Sdoi2008]Cave 洞穴勘测_LCT
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
样例输入1 cave.in
200 5
Query 123 127
Connect 123 127
Query 123 127
Destroy 127 123
Query 123 127
样例输入2 cave.in
3 5
Connect 1 2
Connect 3 1
Query 2 3
Destroy 1 3
Query 2 3
Sample Output
样例输出1 cave.out
No
Yes
No
样例输出2 cave.out
Yes
No
学习一下LCT。
每条链用一个splay维护，称为辅助树，关键字是结点的深度。splay根的父亲指向树上的父亲，但父亲不一定认这个儿子。
主要操作access(x)表示把树上根到x这段路经变成一条重链用splay维护。
具体实现：断开x下面的重链不断向上跳，不断把右儿子变成上一次的重链。
makeroot(x):让x做整棵树的根
实现：access(x),旋到splay的根，然后交换左右儿子，相当于这条链整个翻了过来。
其他操作看代码实现
代码：
#include <stdio.h>
#include <string.h>
#include <algorithm>
using namespace std;
#define N 10050
#define ls ch[p][0]
#define rs ch[p][1]
#define get(x) (ch[f[x]][1]==x)
int root[N],ch[N][2],n,m,rev[N],f[N];
char opt[10];
inline bool isroot(int p) {
return ch[f[p]][0]!=p&&ch[f[p]][1]!=p;
}
inline void pushdown(int p) {
if(rev[p]) {
swap(ch[ls][0],ch[ls][1]);
swap(ch[rs][0],ch[rs][1]);
rev[ls]^=1;
rev[rs]^=1;
rev[p]=0;
}
}
void update(int p) {
if(!isroot(p)) update(f[p]);
pushdown(p);
}
void rotate(int x) {
int y=f[x],z=f[y],k=get(x);
if(!isroot(y)) ch[z][ch[z][1]==y]=x;
ch[y][k]=ch[x][!k]; f[ch[y][k]]=y;
ch[x][!k]=y; f[y]=x; f[x]=z;
}
void splay(int x) {
update(x);
for(int fa;fa=f[x],!isroot(x);rotate(x)) {
if(!isroot(fa)) {
rotate(get(fa)==get(x)?fa:x);
}
}
}
void access(int p) {
int t=0;
while(p) splay(p),rs=t,t=p,p=f[p];
}
void makeroot(int p) {
access(p); splay(p);
swap(ls,rs); rev[p]^=1;
}
void link(int x,int p) {
makeroot(x); f[x]=p;
}
void cut(int x,int p) {
makeroot(x); access(p); splay(p); ls=f[x]=0;
}
int find(int p) {
//puts("find-----");
access(p); splay(p);
while(ls) pushdown(p),p=ls;
return p;
}
int main() {
scanf("%d%d",&n,&m);
int i,x,y;
for(i=1;i<=m;i++) {
scanf("%s%d%d",opt,&x,&y);
if(opt[0]==‘C‘) link(x,y);
else if(opt[0]==‘D‘) cut(x,y);
else {
int t=find(x),b=find(y);
puts(t==b?"Yes":"No");
}
}
}
BZOJ_2049_[Sdoi2008]Cave 洞穴勘测_LCT
标签：原因 bool 表示 第一条 实时 区分 swa ESS --
原文地址：https://www.cnblogs.com/suika/p/8967888.html
