【LCT】BZOJ2049 [SDOI2008]Cave 洞穴勘测

2049: [Sdoi2008]Cave 洞穴勘测

Time Limit: 10 Sec  Memory Limit: 259 MB
Submit: 10059  Solved: 4863
[Submit][Status][Discuss]

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模板题，要求支持删加边及查询连通性

先说说LCT基本操作

• ACCESS（x）：把x到根的链变为重链（这条重链仅包含根到x）
• SPLAY（x）：把x转到所在的重链的splay的根
• BEROOT（x）：把x变为整棵树的树根，具体来说就是先ACCESS（x），再SPLAY（x），然后对x区间翻转（不难发现把一个点变为根后影响的是它到原根的链）
• LINK（x，y）：链接x和y，具体来说就是BEROOT（x），fa[x]=y
• CUT（x，y）：断开x和y，具体来说就是BEROOT（x），ACCESS（y），SPLAY（y），这样x必定是y的左儿子，再令fa[x]=son[y][0]=0

代码

//by 减维
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
#include<bitset>
#include<set>
#include<cmath>
#include<vector>
#include<set>
#include<map>
#include<ctime>
#include<algorithm>
#define ll long long
#define il inline
#define rg register
#define db double
#define inf 1<<30
#define maxn 10005
#define eps 1e-8
using namespace std;

inline int read()
{
    int ret=;bool fla=;char ch=getchar();
    while((ch<''||ch>'')&&ch!='-')ch=getchar();
    if(ch=='-'){fla=;ch=getchar();}
    while(ch>=''&&ch<=''){ret=ret*+ch-'';ch=getchar();}
    return fla?-ret:ret;
}

int n,m,fa[maxn],son[maxn][],rev[maxn],siz[maxn];

il bool pdp(int x){return son[fa[x]][]==x;}
il bool isrt(int x){return son[fa[x]][]!=x&&son[fa[x]][]!=x;}
il void upda(int x){siz[x]=siz[son[x][]]+siz[son[x][]]+;}
il void rever(int x){rev[x]^=;swap(son[x][],son[x][]);}

il void rot(int x)
{
    int f=fa[x],g=fa[f],o=pdp(x);
    if(!isrt(f)) son[g][pdp(f)]=x;fa[x]=g;
    son[f][o]=son[x][!o];fa[son[f][o]]=f;
    son[x][!o]=f;fa[f]=x;
    upda(f),upda(x);
}

il void pdn(int x)
{
    if(rev[x]){
        if(son[x][]) rever(son[x][]);
        if(son[x][]) rever(son[x][]);
        rev[x]=;
    }
}

void pd(int x){if(!isrt(x)) pd(fa[x]);pdn(x);}

il void splay(int x)
{
    pd(x);
    for(;!isrt(x);rot(x))
        if(!isrt(fa[x])) rot(pdp(fa[x])==pdp(x)?fa[x]:x);
}

il void acc(int x)
{
    for(int y=;x;y=x,x=fa[x])
        splay(x),son[x][]=y,upda(x);
}

il void bert(int x){acc(x);splay(x);rever(x);}
il void link(int x,int y){bert(x);fa[x]=y;}
il void cut(int x,int y){bert(x);acc(y);splay(y);fa[x]=son[y][]=;upda(y);}

il int find(int x)
{
    acc(x);splay(x);
    while(son[x][]) pd(x),x=son[x][];
    return x;
}

int main()
{
    scanf("%d%d",&n,&m);
    char s[];int x,y;
    while(m--)
    {
        scanf("%s%d%d",s,&x,&y);
        if(s[]=='C') link(x,y);
        else if(s[]=='D') cut(x,y);
        else printf("%s\n",find(x)==find(y)?"Yes":"No");
    }
    return ;
}