bzoj2262: 平行宇宙与虫洞

Description

量子力学指出,宇宙并非只有一种形态。 
根据量子理论,一件事件发生之后可以产生不同的后果,而所有可能的后果都会形成自己的宇宙。 
我们可以把一个宇宙看成一个时间轴,虫洞可以看成不同宇宙的不同时间之间的跳跃。虫洞非常的不稳定,存在时间只有一瞬间。 
如果存在虫洞事件(U1,t1,U2,t2)那么在宇宙U1的t1时间和宇宙U2的t2时间会被连接,此时就会发生时空跳跃现象。 
你可以认为:同一个宇宙同一个时刻最多只存在一个虫洞事件。 
为了研究虫洞的性质,科学家向宇宙深处发射了虫洞探测器。 
该探测器会检测到自己存在的宇宙中的虫洞事件,并且一旦检测到虫洞事件就一定会进行跳跃。 
由于科学家并不确定虫洞事件的具体位置时间,所以暂时用电脑模拟很多平行宇宙以及虫洞事件。 
你将被告之探测器被放出时所在的宇宙名称和时间。 
你需要处理以下信息: 
1. “ADD U1 t1 U2 t2” 表示在模拟中加入一个虫洞事件(U1,t1,U2,t2),其中U1和U2是字符串,t1和t2是32位非负整数 
2. “DEL U1 t1 U2 t2” 表示删除之前加入过的一个虫洞事件,保证该事件之前被ADD过。 
3. “QUERY” 表示询问探测器经过足够久的时间后会落入哪个宇宙,输出宇宙名称。如果答案不确定,请输出“*” 

Input

第一行: U0 t0 表示探测器发射的地点和时间。保证该时刻不存在虫洞事件。 
第二行: 正整数 Q 表示操作数 
接下来 Q 行: 2种操作,如描述,ADD或ASK。无多余字符。 

Output

按照输入顺序,回答每一个ASK操作,直接输出宇宙名称或者“*”,每个回答占一行。

将每个有事件的时刻建一个点表示,每个点有且只有一个后继,构成基环内向树森林,查询就是查环上是否同色,如果是的话输出颜色,可用lct维护

#include<bits/stdc++.h>
int _(){
    int x=0,f=1,c=getchar();
    while(c<48)c=='-'?f=-1:0,c=getchar();
    while(c>47)x=x*10+c-48,c=getchar();
    return x*f;
}
void _(char*s){
    scanf("%s",s);
}
char ss[1007][23],s[23];
int nx[21111][27],ptr=1,st1,st2,idp=0,qs[210007][5],qp,ids[1007];
std::vector<int>e[1007];
struct node{
    node*c[2],*f,*ff;
    int id,ida;
    bool nrt(){return this==f->c[0]||this==f->c[1];}
    void up();
}ns[410007],*nil=ns;
void node::up(){
    ida=(c[0]!=nil&&c[0]->ida!=id||c[1]!=nil&&c[1]->ida!=id)?0:id;
}
void rot(node*w){
    node*f=w->f,*g=f->f;
    int d=f->c[1]==w;
    if(f->nrt())g->c[g->c[1]==f]=w;
    w->f=g;
    (f->c[d]=w->c[d^1])->f=f;
    (w->c[d^1]=f)->f=w;
    f->up();
}
void sp(node*w){
    while(w->nrt()){
        node*f=w->f;
        if(f->nrt())rot((w==f->c[0])==(f==f->f->c[0])?f:w);
        rot(w);
    }
    w->up();
}
node*acs(node*x){
    node*y=nil;
    for(;x!=nil;sp(x),x->c[1]=y,x->up(),y=x,x=x->f);
    return y;
}
node*gl(node*w){
    while(w->c[0]!=nil)w=w->c[0];
    sp(w);
    return w;
}
node*grt(node*w){
    node*w0=w;
    while(w->f!=nil)w=w->f;
    sp(w0);
    return w;
}
void lk(node*x,node*y){
    node*w=acs(x);
    if(grt(y)==w)x->ff=y;
    else sp(x),x->f=y;
}
node*ct(node*x){
    acs(x),sp(x);
    node*y=x->c[0];
    if(y!=nil){
        x->c[0]=y->f=nil;
        x->up();
        y=gl(acs(y));
        if(y->ff!=nil&&grt(y->ff)==x){
            y->f=y->ff;
            y->ff=nil;
        }
    }else x->ff=nil;
}
int tins(){
    int w=1;
    for(int i=0;s[i];++i){
        int c=s[i]-'a';
        if(!nx[w][c])nx[w][c]=++ptr;
        w=nx[w][c];
    }
    if(!nx[w][26]){
        nx[w][26]=++idp;
        strcpy(ss[idp],s);
    }
    return nx[w][26];
}
int gid(int a,int b){
    return ids[a]+std::lower_bound(e[a].data(),e[a].data()+e[a].size(),b)-e[a].data();
}
int main(){
    _(s);
    e[st1=tins()].push_back(st2=_());
    qp=_();
    for(int i=0;i<qp;++i){
        _(s);
        if(s[0]=='Q'){
            qs[i][0]=0;
        }else{
            qs[i][0]=s[0]=='A'?1:2;
            _(s);
            qs[i][1]=tins();
            qs[i][2]=_();
            _(s);
            qs[i][3]=tins();
            qs[i][4]=_();
            if(qs[i][0]==1){
                e[qs[i][1]].push_back(qs[i][2]);
                e[qs[i][3]].push_back(qs[i][4]);
            }
        }
    }
    ids[1]=1;
    ns[0]=(node){nil,nil,nil,nil,0,0};
    for(int i=1;i<=idp;++i){
        int*l=e[i].data(),*r=l+e[i].size();
        std::sort(l,r);
        e[i].resize(std::unique(l,r)-l);
        int mx=ids[i+1]=ids[i]+e[i].size()+1;
        for(int j=ids[i];j<mx;++j)ns[j]=(node){nil,nil,ns+j+1,nil,i,i};
        ns[mx-1].f=nil;
        ns[mx-1].ff=ns+mx-1;
    }
    st2=gid(st1,st2);
    ss[0][0]='*';
    for(int i=0;i<qp;++i){
        if(qs[i][0]==0){
            node*w=gl(acs(ns+st2));
            puts(ss[acs(w->ff)->ida]);
        }else{
            int w1=gid(qs[i][1],qs[i][2]);
            int w2=gid(qs[i][3],qs[i][4]);
            ct(ns+w1),ct(ns+w2);
            if(qs[i][0]==1){
                lk(ns+w1,ns+w2+1);
                lk(ns+w2,ns+w1+1);
            }else{
                lk(ns+w1,ns+w1+1);
                lk(ns+w2,ns+w2+1);
            }
        }
    }
    return 0;
}
原文地址:https://www.cnblogs.com/ccz181078/p/7249580.html