这题理论上可以用ETT,但是用LCT建虚点可以解决这个问题。

对于最晚的操作1建立一个虚点,然后把操作0挂上去。

#include<bits/stdc++.h>
const int N=4e5+;
using namespace std;
struct Link_Cut_Tree{
int size[N],w[N],c[N][],fa[N],cnt,rev[N],q[N];
inline void newnode(int x){++cnt;size[cnt]=w[cnt]=x;}
inline bool isroot(int x){return (c[fa[x]][]!=x&&c[fa[x]][]!=x)||!x;}
inline void pushup(int x){size[x]=size[c[x][]]+size[c[x][]]+w[x];}
inline void pushdown(int x){
int l=c[x][],r=c[x][];
if(rev[x]){
rev[l]^=;rev[r]^=;rev[x]^=;
swap(c[x][],c[x][]);
}
}
inline void rotate(int x){
int y=fa[x],z=fa[y],l,r;
if(c[y][]==x)l=;else l=;r=l^;
if(!isroot(y)){if(c[z][]==y)c[z][]=x;else c[z][]=x;}
fa[x]=z;fa[y]=x;fa[c[x][r]]=y;
c[y][l]=c[x][r];c[x][r]=y;
pushup(y);pushup(x);
}
inline void splay(int x){
int top=;q[top]=x;
for(int i=x;!isroot(i);i=fa[i])q[++top]=fa[i];
for(int i=top;i;i--)pushdown(q[i]);
while(!isroot(x)){
int y=fa[x],z=fa[y];
if(!isroot(y)){
if((c[y][]==x)^(c[z][]==y))rotate(x);
else rotate(y);
}rotate(x);
}
pushup(x);
}
inline int access(int x){int t=;for(;x;t=x,x=fa[x])splay(x),c[x][]=t,pushup(x);return t;}
inline void cut(int x){access(x),splay(x),fa[c[x][]]=,c[x][]=;pushup(x);}
inline void link(int x,int y){splay(x);fa[x]=y;}
}T;
struct Opt{
int pos,opt,x,y;
Opt(int pos=,int opt=,int x=,int y=):pos(pos),opt(opt),x(x),y(y){}
}a[N];
bool cmp(Opt a,Opt b){return a.pos==b.pos?a.opt<b.opt:a.pos<b.pos;}
int n,m,op[N],ed[N],b[N],tot=,ans[N],vis[N],top;
inline int read(){
int f=,x=;char ch;
do{ch=getchar();if(ch=='-')f=-;}while(ch<''||ch>'');
do{x=x*+ch-'';ch=getchar();}while(ch>=''&&ch<='');
return f*x;
}
int main(){
n=read();m=read();int now=;
T.newnode();T.newnode();T.link(,);now=;
b[]=;op[]=;ed[]=n;
for(int i=;i<=m;i++){
int opt=read(),l=read(),r=read();
if(opt==){
++tot;T.newnode();
b[tot]=T.cnt;op[tot]=l;ed[tot]=r;
a[++top]=Opt(,i-m,T.cnt,now);
}
else if(opt==){
int k=read();l=max(op[k],l);r=min(r,ed[k]);
if(l<=r){
T.newnode();T.link(T.cnt,now);
a[++top]=Opt(l,i-m,T.cnt,b[k]);
a[++top]=Opt(r+,i-m,T.cnt,now);
now=T.cnt;
}
}
else{
int k=read();vis[i]=;
a[++top]=Opt(l,i,b[r],b[k]);
}
}
sort(a+,a+top+,cmp);int k=,t=;
for(int i=;i<=n;i++){
for(;a[k].pos==i;k++){
if((t=a[k].opt)>){
int x=a[k].x,y=a[k].y;
T.access(x);T.splay(x);ans[t]+=T.size[x];
int lca=T.access(y);T.splay(y);ans[t]+=T.size[y];
T.access(lca);T.splay(lca);ans[t]-=T.size[lca]*;
}else{T.cut(a[k].x);T.link(a[k].x,a[k].y);}
}
}
for(int i=;i<=m;i++)if(vis[i])printf("%d\n",ans[i]);
}
05-11 21:42