CF 375D. Tree and Queries加强版!!!【dfs序分块 大小分类讨论】

传送门

题意：

一棵树，询问一个子树内出现次数$\ge k$的颜色有几种，Candy?这个沙茶自带强制在线

吐槽：

本来一道可以离散的莫队我非要强制在线用分块做；上午就开始写了然后发现思路错了...；改 下午继续写....然后发现看大了数据范围卡空间了...；改 然后又发现好多bug...；再改 然后发现TLE了... ；改块的大小....可恶又卡空间了.... ；改short...可恶溢出了；改unsigned short....可恶n总共才1e5怎么练unsigned short也溢出了.....; 开O2...还不行....;然后发现之前把块的大小和数量搞反了....;继续改块的大小再加上有理有据对本题特性的vector优化.....终于A了.................

题解：

一开始想成已经知道k预处理f不用第三维了(md那还用分块干什么)

对出现次数$>S$和$\le S$的分开讨论

预处理$f[i][j][k]$为块i到块j出现次数$[k,S]$的有几种

$s[i][j]$为前i块颜色j出现了几次

询问的时候

两边不完整的块暴力枚举

$>S$的部分不超过$\frac{N}{S}$种，单独暴力枚举(注意如果两边枚举过了就不能重复枚举了)

$[k,S]$的部分直接用预处理的f

#pragma GCC optimize ("O2")
#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cmath>
#include <vector>
using namespace std;
typedef long long ll;
const int N=1e5+5, M=245, S=425;
inline int read(){
char c=getchar();int x=0,f=1;
while(c<'0'||c>'9'){if(c=='-')f=-1;c=getchar();}
while(c>='0'&&c<='9'){x=x*10+c-'0';c=getchar();}
return x*f;
}

int n,Q,col,a
,u,v,k;
int cou
, big
, tot, mark
;bool biiig
;
struct edge{int v,ne;}e[N<<1];
int cnt,h
;
inline void ins(int u,int v){
e[++cnt]=(edge){v,h[u]}; h[u]=cnt;
e[++cnt]=(edge){u,h[v]}; h[v]=cnt;
}
int dfc,L
,R
;
int t
;
void dfs(int u,int fa){
L[u]=++dfc; a[dfc]=t[u];
for(int i=h[u];i;i=e[i].ne)
if(e[i].v!=fa) dfs(e[i].v, u);
R[u]=dfc;
}

int block,m,pos
;
struct _blo{int l,r;}b[M];
void ini(){
//block=sqrt(n);
block=420;
m=(n-1)/block+1;
for(int i=1;i<=n;i++) pos[i]=(i-1)/block+1;
for(int i=1;i<=m;i++) b[i].l=(i-1)*block+1, b[i].r=i*block;
b[m].r=n;
}

struct Block{
int f[M][M][S], c
, s[M]
;

void Set0(int x){
for(int i=1;i<=col;i++) s[x][i]=s[x-1][i];
for(int i=b[x].l; i<=b[x].r; i++) s[x][a[i]]++;
}

void Set1(int x){
for(int t=x;t<=m;t++){
for(int i=b[t].l; i<=b[t].r; i++) if(!biiig[ a[i] ]) c[a[i]]++;
for(int i=b[t].l; i<=b[t].r; i++) if(!biiig[ a[i] ] && c[a[i]]>0){
int _=s[t-1][a[i]] - s[x-1][a[i]];
f[x][t][ _+c[a[i]] ]++;
f[x][t][ _ ]--;
c[a[i]]=0;
}
for(int i=block; i>=1; i--) f[x][t][i]+=f[x][t][i+1];
for(int i=1; i<=block; i++) f[x][t][i]+=f[x][t-1][i];
}
}

int Que(int l,int r,int k){
int pl=pos[l], pr=pos[r];
int ans=0;
if(pl==pr){
for(int i=l; i<=r; i++) c[a[i]]++;
for(int i=l; i<=r; i++) if(c[a[i]]>0) ans+= c[a[i]]>=k, c[a[i]]=0;
}else{
for(int i=1; i<=tot; i++) mark[ big[i] ]=0;
vector<int> v;
int *rr=s[pr], *ll=s[pl-1];
for(int i=l; i<=b[pl].r; i++){
mark[ a[i] ]=1;
if(rr[a[i]] - ll[a[i]]>=k)
c[a[i]]++, v.push_back(a[i]);
}
for(int i=b[pr].l; i<=r; i++){
mark[ a[i] ]=1;
if(rr[a[i]] - ll[a[i]]>=k)
c[a[i]]++, v.push_back(a[i]);
}

for(int i=0; i<(int)v.size(); i++) if(c[v[i]]>0){
int _=s[pr-1][v[i]] - s[pl][v[i]];
if(biiig[ v[i] ]) ans+= _+c[v[i]]>=k;
else ans+= (_<k && _+c[v[i]]>=k);
c[v[i]]=0;
}

if(k<=block) ans+=f[pl+1][pr-1][k];
for(int i=1;i<=tot;i++) if(!mark[ big[i] ])
ans+= s[pr-1][big[i]] - s[pl][big[i]] >= k;
}
return ans;
}
}B;

int main(){
//    freopen("in","r",stdin);
n=read(); Q=read(); ini();
for(int i=1;i<=n;i++) a[i]=t[i]=read(), col=max(col, a[i]), cou[a[i]]++;
for(int i=1;i<n;i++) ins(read(), read());
dfs(1,0);

for(int i=1;i<=col;i++) if(cou[i]>block) big[++tot]=i, biiig[i]=1;
for(int i=1;i<=m;i++) B.Set0(i);
for(int i=1;i<=m;i++) B.Set1(i);

while(Q--){
u=read(); k=read();
printf("%d\n", B.Que(L[u], R[u], k) );
}
}