您的位置:首页 > 其它

【bzoj2049】[Sdoi2008]Cave 洞穴勘测 动态树

2016-01-04 10:55 176 查看

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


HINT

数据说明 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操作以免超时

Source

动态树

动态维护树的连通性。

动态树裸题,等我完全学会了更一个笔记再详解吧

因为每个链都是一个splay,splay的根节点的父亲指针指向它上面的splay,所以判断根要用特别的技巧

代码:

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;

const int SZ = 1000010;

struct node{
node *ch[2],*f;
bool rev;

void pushdown();

int dir() { return f -> ch[1] == this; }

void setc(node *x,int d) { (ch[d] = x) -> f = this; }

}T[SZ], *tree[SZ], *null, *S[SZ];
int top = 0;

int Tcnt = 0;

node* newnode()
{
node *k = T + (Tcnt ++);
k -> f = k -> ch[0] = k -> ch[1] = null;
k -> rev = 0;
return k;
}

void pushrev(node *p)
{
if(p == null) return ;
p -> rev ^= 1;
swap(p -> ch[0],p -> ch[1]);
}

void node :: pushdown()
{
if(rev) { pushrev(ch[0]); pushrev(ch[1]); rev = 0; }
}

void pushpath(node *p)
{
while(p -> f -> ch[0] == p || p -> f -> ch[1] == p) S[++ top] = p,p = p -> f;
S[++ top] = p;
while(top) S[top --] -> pushdown();
}

void rotate(node *p)
{
node *fa = p -> f;
int d = p -> dir();

p -> f = fa -> f;
if(fa -> f -> ch[0] == fa || fa -> f -> ch[1] == fa)    fa -> f -> ch[fa -> dir()] = p;

fa -> ch[d] = p -> ch[d ^ 1];
if(fa -> ch[d] != null) fa -> ch[d] -> f = fa; //right

p -> setc(fa,d ^ 1);
}

void splay(node *p)
{
pushpath(p);
while(p -> f -> ch[0] == p || p -> f -> ch[1] == p)
{
if(p -> f -> f -> ch[0] != p -> f && p -> f -> f -> ch[1] != p -> f) rotate(p);
else
{
p -> f -> f -> pushdown();  p -> f -> pushdown();   p -> pushdown();
if(p -> dir() == p -> f -> dir()) rotate(p -> f),rotate(p);
else rotate(p),rotate(p);
}
}
}

void access(node *p)
{
node *last = null;
while(p != null)
{
splay(p);
p -> ch[1] = last;
last = p;
p = p -> f;
}
}

node* find_root(node *p)
{
/*  access(p);
splay(p);
while(p -> ch[0] != null) p -> pushdown(),p = p -> ch[0];*/
while(p -> f != null) p = p -> f;
return p;
}

void toroot(node *p)
{
access(p);
splay(p);
pushrev(p);
}

void link(node *x,node *y)
{
toroot(x);
x -> f = y;
}

void cut(node *x,node *y)
{
toroot(x);
access(y);
splay(y);
y -> ch[0] = null; x -> f = null;
}

void init()
{
null = newnode();
}

int main()
{
//  freopen("2049.in","r",stdin);
//  freopen("2049.out","w",stdout);
init();
int n,m;
scanf("%d%d",&n,&m);
for(int i = 1;i <= n;i ++)
{
tree[i] = newnode();
}
while(m --)
{
char opt[10];
int u,v;
scanf("%s%d%d",opt,&u,&v);
if(opt[0] == 'Q') puts( (find_root(tree[u]) == find_root(tree[v])) ? "Yes" : "No");
else if(opt[0] == 'C') link(tree[u],tree[v]);
else cut(tree[u],tree[v]);
}
return 0;
}
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: