BZOJ 2594: [Wc2006]水管局长数据加强版（LCT + 克鲁斯卡尔算法）

题目
LCT是不可能常数小的，永远都不可能常数小的。
离线倒序加边动态维护最小生成树不用讲了。
有谁知道，多少像我一样的OIER打了代码一直TLE后，几度质疑自己的无言的选择，有谁知道，在这个梦想如钻石一般珍贵的年华，人机对峙，侧身西望的孤寂，曾经的LCT之梦，也化作“这数据结构也就跑跑小数据”“以后还是打树剖吧”间那一抹苦笑。
然而，LCT并不是TLE的原因。。。。。。
数据加强？
$\mathrm{I}{\mathrm{t}}^{\prime }\mathrm{s}\mathrm{a}\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{p}.$
这个题的重点在于：在LCT本身之外的地方寻找常数优化。
1：找删边的编号不要写map！排序后二分。。。。。。
2：对于一直存在的边做克鲁斯卡尔算法。。。。。。
然后在死亡边缘OB。

AC Code:

#include<bits/stdc++.h>
#define maxn 1000005
using namespace std;

char cb[1<<15],*cs=cb,*ct=cb;
#define getc() (cs==ct&&(ct=(cs=cb)+fread(cb,1,1<<15,stdin),cs==ct)?0:*cs++)

void read(int &res){
	char ch;
	for(;!isdigit(ch=getc()););
	for(res=ch-'0';isdigit(ch=getc());res=res*10+ch-'0');
}
void print(int x){
	static char s[15],*s1;s1=s;
	if(!x) *s1++='0';if(x<0) *s1++='-';
	while(x) *s1++=x%10+'0',x/=10;
	while(s1--!=s) putchar(*s1);
}

struct edge{
	int u,v,w,tim;
	bool operator <(const edge &B)const{ return tim==B.tim?w==B.w?u==B.u?v<B.v:u<B.u:w<B.w:tim>B.tim; }
}e[maxn];
bool cmp(const int &u,const int &v){ return e[u].u==e[v].u?e[u].v<e[v].v:e[u].u<e[v].u; }
bool cmp2(const int &u,const int &v){ return e[u].tim==e[v].tim?e[u].w==e[v].w?e[u].u==e[v].u?e[u].v<e[v].v:e[u].u<e[v].u:e[u].w<e[v].w:e[u].tim>e[v].tim; }
struct query{
	int u,v,tim;
	bool operator <(const query &B)const{ return tim==B.tim?u==B.u?v<B.v:u<B.u:tim>B.tim; }
}q[maxn];
int cnt_q,c[maxn];
int n,m,Q,lb[maxn][2];

int F[maxn];
int Find(int a){return !F[a]?a:F[a]=Find(F[a]);}

namespace LCT{
	int fa[maxn],ch[maxn][2],rev[maxn],Max[maxn],val[maxn],tot;
	#define il inline 
	#define pa fa[x]
	il int inr(int x){ return ch[pa][1]==x; }
	il int isr(int x){ return ch[pa][0]!=x&&ch[pa][1]!=x; }
	il void dt(int x){
		if(rev[x]){
			swap(ch[x][0],ch[x][1]),rev[x]=0;
			if(ch[x][0]) rev[ch[x][0]]^=1;
			if(ch[x][1]) rev[ch[x][1]]^=1;
		}
	}
	il void dtpath(int x){ if(!isr(x)) dtpath(pa); dt(x); }
	il void upd(int x){
		Max[x] = x;
		if(val[Max[ch[x][0]]] > val[Max[x]]) Max[x] = Max[ch[x][0]];
		if(val[Max[ch[x][1]]] > val[Max[x]]) Max[x] = Max[ch[x][1]];
	}
	il void rot(int x){
		int y=fa[x],z=fa[y],c=inr(x);
		if(!isr(y)) ch[z][inr(y)]=x;
		(ch[y][c]=ch[x][!c])&&(fa[ch[y][c]]=y);
		fa[fa[ch[x][!c]=y]=x]=z;
		upd(y),upd(x);
	}
	il void splay(int x){
		dtpath(x);
		for(;!isr(x);rot(x))
			if(!isr(pa)) rot(inr(pa)==inr(x)?pa:x);
	}
	il int access(int x,int y=0){
		for(;x;x=fa[y=x]) splay(x),ch[x][1]=y,upd(x);
		return y;
	}
	il void bert(int x){
		access(x),splay(x),rev[x]^=1;
	}
	il int split(int x,int y){
		bert(x),access(y),splay(y);
		return y;
	}
	il int querymax(int x,int y){
		return Max[split(x,y)];
	}
	il void link(int x,int y){
		bert(x),fa[x]=y;
	}
	il void cut(int x,int y){
		bert(x),access(y),splay(y);
		fa[x]=ch[y][0]=0;
		upd(y);
	}
	il void insert(int x,int y,int w){
		if(Find(x)!=Find(y)){
			val[++tot] = w;
			Max[tot]=tot;
			fa[tot]=x,bert(y),fa[y]=tot;
			lb[tot][0]=x,lb[tot][1]=y;
			F[Find(x)] = Find(y);
			return;
		}
		int tmp = querymax(x,y);
		if(w<val[tmp]){
			cut(tmp,lb[tmp][0]);
			cut(tmp,lb[tmp][1]);
			val[tmp]=w;
			Max[tmp]=tmp;
			fa[tmp]=x,bert(y),fa[y]=tmp;
			lb[tmp][0]=x,lb[tmp][1]=y;
		}
	}
}
int ans[maxn],tp;
int main(){
	//int t1 = clock();
	//freopen("1.in","r",stdin);
	//freopen("1.out","w",stdout);
	read(n),read(m),read(Q);LCT::tot=n;
	for(int i=1;i<=m;i++){
		read(e[i].u),read(e[i].v),read(e[i].w);
		if(e[i].u>e[i].v) swap(e[i].u,e[i].v);
		c[i] = i;
 	}
	sort(c+1,c+1+m,cmp);
	for(int i=1;i<=Q;i++){
		int op,x,y;
		read(op),read(x),read(y);
		if(x>y) swap(x,y);
		if(op == 1) q[++cnt_q].tim=i,q[cnt_q].u=x,q[cnt_q].v=y;
		else{
			int L = 1 , R = m , mid;
			for(;L<R;){
				mid = (L+R) >> 1;
				if(e[c[mid]].u<x || (e[c[mid]].u==x && e[c[mid]].v<y)) L = mid + 1;
				else R = mid;`
			}
			e[c[L]].tim = i;
		}
	}
	for(int i=1;i<=m;i++) if(!e[i].tim) e[i].tim=Q+1;
	sort(c+1,c+1+m,cmp2);
	int j=1;
	for(;j<=m && e[c[j]].tim==Q+1;j++)
		if(Find(e[c[j]].u)!=Find(e[c[j]].v))
			LCT::insert(e[c[j]].u,e[c[j]].v,e[c[j]].w);
	sort(q+1,q+1+cnt_q);
	for(int i=1;i<=cnt_q;i++){
		for(;j<=m && e[c[j]].tim>q[i].tim;j++)
			LCT::insert(e[c[j]].u,e[c[j]].v,e[c[j]].w);
		ans[tp++] = LCT::val[LCT::querymax(q[i].u,q[i].v)];
	}
	for(;tp;) print(ans[--tp]),puts("");
	//freopen("CON","w",stdout);
	//printf("%d\n",clock()-t1);
}