传送门:洛谷 - P2486
思路分析
类似于线段树求连续段的思路,Splay的每个节点维护一个$lcor$,$rcor$表示最左边和最右边的颜色
AC代码
#include <bits/stdc++.h>
#define fi first
#define se second
#define ll long long
#define pb push_back
#define mp make_pair
#define fun function
#define sz(x) (x).size()
#define lowbit(x) (x)&(-x)
#define all(x) (x).begin(),(x).end()
#define mem(a,b) memset(a,b,sizeof(a))
namespace FastIO {
#define BUF_SIZE 100000
#define OUT_SIZE 100000
bool IOerror=0;
inline char nc() {
static char buf[BUF_SIZE],*p1=buf+BUF_SIZE,*pend=buf+BUF_SIZE;
if(p1==pend) {
p1=buf;
pend=buf+fread(buf,1,BUF_SIZE,stdin);
if(pend==p1) {
IOerror=1;
return -1;
}
}
return *p1++;
}
inline bool blank(char ch) {
return ch==' '||ch=='\n'||ch=='\r'||ch=='\t';
}
template<class T> inline bool read(T &x) {
bool sign=0;
char ch=nc();
x=0;
for(; blank(ch); ch=nc());
if(IOerror)return false;
if(ch=='-')sign=1,ch=nc();
for(; ch>='0'&&ch<='9'; ch=nc())x=x*10+ch-'0';
if(sign)x=-x;
return true;
}
template<class T,class... U>bool read(T& h,U&... t) {
return read(h)&&read(t...);
}
#undef OUT_SIZE
#undef BUF_SIZE
};
using namespace std;
using namespace FastIO;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const int INF = 0x3f3f3f3f;
const int N = 1e6+10;
namespace LCT {
#define fa(x) (tree[x].fa)
#define ls(x) (tree[x].ch[0])
#define rs(x) (tree[x].ch[1])
#define ident(x,f) (rs(f)==x)
#define connect(x,f,s) tree[f].ch[s]=x,tree[x].fa=f
#define reverse(x) swap(ls(x),rs(x)),tree[x].tag^=1,swap(tree[x].lcor,tree[x].rcor)
#define notroot(x) (ls(fa(x)) == x || rs(fa(x)) == x)
struct node {
int fa,ch[2],val,sum,lcor,rcor,lazy;
bool tag;
} tree[N];
inline void pp(int x) {
tree[x].lcor = ls(x)?tree[ls(x)].lcor:tree[x].val;
tree[x].rcor = rs(x)?tree[rs(x)].rcor:tree[x].val;
if(ls(x) && rs(x)) tree[x].sum = tree[ls(x)].sum + tree[rs(x)].sum + 1 - (tree[ls(x)].rcor == tree[x].val) - (tree[rs(x)].lcor==tree[x].val);
else if(ls(x)) tree[x].sum = tree[ls(x)].sum + (tree[ls(x)].rcor!=tree[x].val);
else if(rs(x)) tree[x].sum = tree[rs(x)].sum + (tree[rs(x)].lcor!=tree[x].val);
else tree[x].sum = 1;
}
inline void cover(int x,int k){
tree[x].val = k;
tree[x].lazy = k;
tree[x].lcor = k;
tree[x].rcor = k;
tree[x].sum = 1;
}
inline void pushdown(int x) {
if(tree[x].lazy){
if(ls(x)) cover(ls(x),tree[x].lazy);
if(rs(x)) cover(rs(x),tree[x].lazy);
}
if(tree[x].tag) {
if(ls(x)) reverse(ls(x));
if(rs(x)) reverse(rs(x));
}
tree[x].tag=0;
tree[x].lazy=0;
}
inline void pushall(int x) {
if(notroot(x)) pushall(fa(x));
pushdown(x);
}
inline void rotate(int x) {
int f = fa(x),ff=fa(f),fs=ident(x,f),ffs=ident(f,ff);
connect(tree[x].ch[fs^1],f,fs);
fa(x) = ff;
if(notroot(f)) tree[ff].ch[ffs] = x;
connect(f,x,fs^1);
pp(f),pp(x);
}
inline void splaying(int x) {
pushall(x);
while(notroot(x)) {
int f=fa(x),ff=fa(f);
if(notroot(f)) ident(f,ff)^ident(x,f) ? rotate(x):rotate(f);
rotate(x);
}
}
inline void access(int x) {
for(int y=0; x; x=fa(x)) {
splaying(x);
rs(x)=y;
pp(x);
y=x;
}
}
inline void mkroot(int x) {
access(x);
splaying(x);
reverse(x);
}
inline int findroot(int x) {
access(x);
splaying(x);
while(ls(x)) {
pushdown(x);
x=ls(x);
}
splaying(x);
return x;
}
inline void link(int x,int y) {
mkroot(x);
if(findroot(y)==x) return;
fa(x)=y;
}
inline void cut(int x,int y) {
mkroot(x);
if(findroot(y)!=x||fa(y)!=x||ls(y)) return;
fa(y)=rs(x)=0;
pp(x);
}
inline void split(int x,int y) {
mkroot(x);
access(y);
splaying(y);
}
#undef fa
#undef ls
#undef rs
#undef ident
#undef reverse
#undef connect
#undef notroot
};
signed main() {
#ifdef xiaofan
freopen("1.in","r",stdin);
freopen("1.out","w",stdout);
#endif
int n,m;
cin>>n>>m;
for(int i=1;i<=n;i++) cin>>LCT::tree[i].val;
for(int i=1;i<n;i++){
int u,v;
cin>>u>>v;
LCT::link(u,v);
}
while(m--){
char op;
int x,y,c;
cin>>op>>x>>y;
if(op=='Q'){
LCT::split(x,y);
cout<<LCT::tree[y].sum<<endl;
}else{
cin>>c;
LCT::split(x,y);
LCT::cover(y,c);
}
}
return 0;
}