luogu P2486 [SDOI2011]染色

题面传送门
直接树剖即可。用线段树维护两端点。合并时分类讨论一下要不要减即可。
注意，最后要把左边的左右端点翻转，可以画个图理解一下。
最后两个点在一条重链上时放在哪一边要反过来。
代码实现:

#include<cstdio>
#include<cstring>
using namespace std;
int n,m,k,sx,a[100039],d[100039],top[100039],siz[100039],id[100039],idea,son[100039],fa[100039],x,y,z;
char _s;
struct yyy {int to,z;};
struct ljb {
	int head,h[100039];
	yyy f[200039];
	inline void add(int x,int y) {
		f[++head]=(yyy) {y,h[x]};
		h[x]=head;
	}
} s;
struct tree {
	int l,r,ans,flag;
} f[400039];
inline void push(int now) {
	f[now<<1].l=f[now<<1|1].l=f[now<<1].r=f[now<<1|1].r=f[now<<1].flag=f[now<<1|1].flag=f[now].flag;
	f[now<<1].ans=f[now<<1|1].ans=1;
	f[now].flag=0;
}
inline tree hebing(tree x,tree y) {
	tree tmp=(tree) {x.l,y.r,x.ans+y.ans,0};
	if(x.r==y.l) tmp.ans--;
	return tmp;
}
inline void get(int x,int y,int z,int l,int r,int now) {
	if(x<=l&&r<=y) {
		f[now].ans=1,f[now].l=f[now].r=f[now].flag=z;
		return;
	}
	if(f[now].flag) push(now);
	int m=(l+r)>>1;
	if(x<=m) get(x,y,z,l,m,now<<1);
	if(y>m) get(x,y,z,m+1,r,now<<1|1);
	f[now]=hebing(f[now<<1],f[now<<1|1]);
}
inline tree find(int x,int y,int l,int r,int now) {
	if(x<=l&&r<=y) return f[now];
	if(f[now].flag) push(now);
	int m=(l+r)>>1;
	if(y<=m) return find(x,y,l,m,now<<1);
	if(x>m) return find(x,y,m+1,r,now<<1|1);
	tree ans1,ans2;
	ans1=find(x,y,l,m,now<<1);
	ans2=find(x,y,m+1,r,now<<1|1);
	return hebing(ans1,ans2);
}
inline void dfs1(int x,int last) {
	fa[x]=last;
	d[x]=d[last]+1;
	siz[x]=1;
	//printf("%d\n",d[x]);
	int cur=s.h[x],pus=-1;
	yyy tmp;
	while(cur!=-1) {
		tmp=s.f[cur];
		if(tmp.to!=last) {
			dfs1(tmp.to,x);
			siz[x]+=siz[tmp.to];
			if(pus<siz[tmp.to]) pus=siz[tmp.to],son[x]=tmp.to;
		}
		cur=tmp.z;
	}
}
inline void dfs2(int x,int last) {
	top[x]=last;
	id[x]=++idea;
	get(idea,idea,a[x],1,n,1);
	if(!son[x]) return;
	int cur=s.h[x];
	yyy tmp;
	dfs2(son[x],last);
	while(cur!=-1) {
		tmp=s.f[cur];
		if(tmp.to!=fa[x]&&tmp.to!=son[x])dfs2(tmp.to,tmp.to);
		cur=tmp.z;
	}
}
inline void swap(int &x,int &y) {x^=y,y^=x,x^=y;}
inline void gets(int x,int y,int z) {
	while(top[x]!=top[y]) {
		if(d[top[x]]<d[top[y]]) swap(x,y);
		get(id[top[x]],id[x],z,1,n,1);
		x=fa[top[x]];
	}
	if(d[x]>d[y]) swap(x,y);
	get(id[x],id[y],z,1,n,1);
}
inline int finds(int x,int y) {
	tree ans1=(tree) {0,0,0,0},ans2=(tree) {0,0,0,0};
	int flag=0;
	while(top[x]!=top[y]) {
		if(d[top[x]]<d[top[y]]) swap(x,y),flag^=1;
		if(flag) {
			if(!ans2.ans) ans2=find(id[top[x]],id[x],1,n,1);
			else ans2=hebing(find(id[top[x]],id[x],1,n,1),ans2);
		}
		else{
			if(!ans1.ans) ans1=find(id[top[x]],id[x],1,n,1);
			else ans1=hebing(find(id[top[x]],id[x],1,n,1),ans1);
		}
		x=fa[top[x]];
	}
	if(d[x]>d[y]) swap(x,y),flag^=1;
	if(!flag){
		if(!ans2.ans) ans2=find(id[x],id[y],1,n,1);
		else ans2=hebing(find(id[x],id[y],1,n,1),ans2);
	}
	else {
		if(!ans1.ans) ans1=find(id[x],id[y],1,n,1);
		else ans1=hebing(find(id[x],id[y],1,n,1),ans1);
		//printf("%d %d\n",ans1.l,find(id[x],id[y],1,n,1).r);
	}
	swap(ans1.l,ans1.r);
	if(!ans1.ans) return ans2.ans;
	if(!ans2.ans) return ans1.ans;
	return hebing(ans1,ans2).ans;
}
int main() {
	freopen("1.in","r",stdin);
	freopen("1.out","w",stdout);
	memset(s.h,-1,sizeof(s.h));
	register int i;
	scanf("%d%d",&n,&m);
	for(i=1; i<=n; i++) scanf("%d",&a[i]);
	for(i=1; i<n; i++) scanf("%d%d",&x,&y),s.add(x,y),s.add(y,x);
	dfs1(1,0);
	dfs2(1,1);
	for(i=1; i<=m; i++) {
		_s=getchar();
		while(_s<'A'||_s>'z') _s=getchar();
		if(_s=='C') {
			scanf("%d%d%d",&x,&y,&z);
			gets(x,y,z);
		} else {
			scanf("%d%d",&x,&y);
			printf("%d\n",finds(x,y));
		}
	}
}