题意:给定一棵树,树上每个节点有对应的字符,多次询问在 \(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;
}