判断能否构成回文很简单，出现次数为偶数的不用管，出现次数为奇数的最多有一个

可以用状压储存出现次数的奇偶情况，判断的时候 puts(ans[i]==(ans[i]&(-ans[i]))?"Yes":"No"); 这里用到了树状数组的lowbit求法

解法一：dsu on tree裸题详情请见这里

解法二：树上差分

划重点：能用这种方法是因为统计结果可撤销，CF600E不能这么做是因为求max不能撤销

在进入一个子树前后分别统计一下各个询问的深度的状压

求法类似于前缀和

#include<iostream>
#include<cstdio>
#include<vector>
using namespace std;
int n,m,tot,x,y;
const int N=500010;
int head[N],to[N],nt[N],ans[N],cnt[N];
char s[N];
struct ask{int id,dep;};
vector<int>v[N];
vector<ask>q[N];
void add(int f,int t)
{
	to[++tot]=t;nt[tot]=head[f];head[f]=tot;
}
void dfs(int x,int dep)
{
	for(int i=0,siz=q[x].size();i<siz;++i)v[x].push_back(cnt[q[x][i].dep]);
	cnt[dep]^=1<<(s[x]-'a');
	for(int i=head[x];i;i=nt[i])dfs(to[i],dep+1);
	for(int i=0,siz=q[x].size();i<siz;++i)ans[q[x][i].id]=v[x][i]^cnt[q[x][i].dep];
}
int main()
{
	cin>>n>>m;
	for(int i=2;i<=n;++i)
		scanf("%d",&x),add(x,i);
	scanf("%s",s+1);
	for(int i=1;i<=m;++i)
	{
		scanf("%d%d",&x,&y);
		q[x].push_back((ask){i,y});
	}
	dfs(1,1);
	for(int i=1;i<=m;++i)puts(ans[i]==(ans[i]&(-ans[i]))?"Yes":"No");//这里是检查ans[i]的二进制中有几个1
	return 0;
}