题意:给定一棵树,树上每个节点有对应的字符,多次询问在 \(u\) 子树的深度为 \(d\) 的所有节点上的字符任意组合能否凑成一个回文串
把 dfs 序存储在一个二维线性表中,一个维度记录字符另一个维度记录深度
因为 dfs 序是单调递增的,所以每个二维表的值也是单调递增的
那么只需用两次二分把合法的儿子搞出来就行
感觉是个比较奇怪的姿势,总之学习了
// 时间空间都这么暴力真的大丈夫?
#include<bits/stdc++.h>
#define rep(i,j,k) for(register int i=j;i<=k;i++)
#define rrep(i,j,k) for(register int i=j;i>=k;i--)
#define erep(i,u) for(register int i=head[u];~i;i=nxt[i])
#define print(a) printf("%lld",(ll)(a))
#define println(a) printf("%lld\n",(ll)(a))
#define printbk(a) printf("%lld ",(ll)(a))
using namespace std;
const int MAXN = 5e5+11;
typedef long long ll;
ll read(){
ll x=0,f=1;register char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
int to[MAXN<<1],nxt[MAXN<<1],head[MAXN],tot;
int CLOCK,st[MAXN],ed[MAXN],n,m;
char str[MAXN];
vector<int> save[MAXN][27];
void init(){
memset(head,-1,sizeof head);
tot=CLOCK=0;
}
void add(int u,int v){
to[tot]=v;
nxt[tot]=head[u];
head[u]=tot++;
swap(u,v);
to[tot]=v;
nxt[tot]=head[u];
head[u]=tot++;
}
void dfs(int u,int p,int d){
st[u]=++CLOCK;
save[d][str[u]-'a'].push_back(st[u]);
erep(i,u){
int v=to[i];
if(v==p)continue;
dfs(v,u,d+1);
}
ed[u]=CLOCK;
}
int main(){
while(cin>>n>>m){
init();
rep(i,2,n) add(i,read());
scanf("%s",str+1);
memset(save,0,sizeof save);
dfs(1,-1,1);
rep(i,1,m){
int u=read();
int d=read();
bool flag=0,fflag=0;
rep(j,0,25){
vector<int>::iterator it1=lower_bound(save[d][j].begin(),save[d][j].end(),st[u]);
vector<int>::iterator it2=upper_bound(save[d][j].begin(),save[d][j].end(),ed[u]);
int cha=it2-it1;
if((cha&1)&&!flag) flag=1;
else if((cha&1)&&flag){
fflag=1;break;
}
}
if(fflag) printf("No\n");
else printf("Yes\n");
}
}
return 0;
}