【CF741D】Arpa’s letter-marked tree and Mehrdad’s Dokhtar-kosh paths（dsu on tree）

题意：我们称一个字符串为周驿东串当且仅当重排它的字符可以组成一个回文串。

给出一个n个点的有根树，根为1，每条边上有一个从a到v的字符，求每个点的子树中所有简单路径可以组成的周驿东串中的最长长度。

n<=5e5

思路：https://www.cnblogs.com/zzqsblog/p/6146916.html

一个串为周驿东串当且仅当其中只有0/1个字符出现奇数次

将每个字母看成一个二进制位，设s[i]为根到i的边权xor和，对于固定的点x要在其子树中找到来自不同分支的a和b使得s[a]^s[b]为0或者2的次幂，且dep[a]+dep[b]-2*dep[x]最大

s[a]^s[b]的条件等价于s[a]=s[b]或者s[a]和s[b]只有1位不同

lca直接当做x算实际上的dep应该比算dep[x]大，答案会变大，需要先统计再更新

 #include<bits/stdc++.h>
 using namespace std;
 typedef long long ll;
 typedef unsigned int uint;
 typedef unsigned long long ull;
 typedef pair<int,int> PII;
 typedef pair<ll,ll> Pll;
 typedef vector<int> VI;
 typedef vector<PII> VII;
 typedef pair<ll,int>P;
 #define N  500010
 #define M  1000010
 #define fi first
 #define se second
 #define MP make_pair
 #define pi acos(-1)
 #define mem(a,b) memset(a,b,sizeof(a))
 #define rep(i,a,b) for(int i=(int)a;i<=(int)b;i++)
 #define per(i,a,b) for(int i=(int)a;i>=(int)b;i--)
 #define lowbit(x) x&(-x)
 #define Rand (rand()*(1<<16)+rand())
 #define id(x) ((x)<=B?(x):m-n/(x)+1)
 #define ls p<<1
 #define rs p<<1|1
 #define S 1<<22

 const ll MOD=1e9+,inv2=(MOD+)/;
       double eps=1e-;
       int INF=<<;
       ll inf=5e13;
       int dx[]={-,,,};
       int dy[]={,,-,};

 char ch[];
 int head[N],vet[M],nxt[M],len[M],tot;
 int son[N],dep[N],s[N],size[N],skip;
 int ans[N],mxdep[<<],now,t;

 int read()
 {
    int v=,f=;
    char c=getchar();
    while(c<||<c) {if(c=='-') f=-; c=getchar();}
    while(<=c&&c<=) v=(v<<)+v+v+c-,c=getchar();
    return v*f;
 }

 void add(int a,int b,int c)
 {
     nxt[++tot]=head[a];
     vet[tot]=b;
     len[tot]=c;
     head[a]=tot;
 }

 void dfs1(int u,int fa)
 {
     size[u]=;
     int e=head[u];
     while(e)
     {
         int v=vet[e];
         if(v!=fa)
         {
             dep[v]=dep[u]+;
             s[v]=s[u]^len[e];
             dfs1(v,u);
             size[u]+=size[v];
             if(size[v]>size[son[u]]) son[u]=v;
         }
         e=nxt[e];
     }
 }

 void clr(int u)
 {
     mxdep[s[u]]=-INF;
 }

 void update(int u)
 {
     t=max(t,mxdep[s[u]]+dep[u]-now*);
     rep(i,,) t=max(t,mxdep[s[u]^(<<i)]+dep[u]-now*);
 }

 void ins(int u)
 {
     mxdep[s[u]]=max(mxdep[s[u]],dep[u]);
 }

 void solve(int u,int fa,int op)
 {
     if(op==) clr(u);
     if(op==) update(u);
     if(op==) ins(u);
     int e=head[u];
     while(e)
     {
         int v=vet[e];
         if(v!=fa&&v!=skip) solve(v,u,op);
         e=nxt[e];
     }
 }

 void dfs2(int u,int fa,int op)
 {
     int e=head[u];
     while(e)
     {
         int v=vet[e];
         if(v!=fa&&v!=son[u]) dfs2(v,u,);
         e=nxt[e];
     }
     if(son[u])
     {
         dfs2(son[u],u,);
         skip=son[u];
     }
     now=dep[u];
     e=head[u];
     while(e)
     {
         int v=vet[e];
         if(v!=fa) ans[u]=max(ans[u],ans[v]);
         e=nxt[e];
     }
     e=head[u];
     while(e)
     {
         int v=vet[e];
         if(v!=fa&&v!=son[u])
         {
             solve(v,u,);
             solve(v,u,);
         }
         e=nxt[e];
     }
     update(u);
     ins(u);
     ans[u]=max(ans[u],t);
     skip=;
     if(!op)
     {
         solve(u,fa,);
         t=-INF;
     }
 }

 int main()
 {
     //freopen("1.in","r",stdin);
     //freopen("1.out","w",stdout);

     rep(i,,S) mxdep[i]=-INF;
     int n=read();
     tot=;
     rep(i,,n)
     {
         int x;
         scanf("%d%s",&x,ch);
         add(x,i,<<(ch[]-'a'));
         add(i,x,<<(ch[]-'a'));
     }
     skip=t=now=;
     dfs1(,);
     dfs2(,,);
     rep(i,,n) printf("%d ",ans[i]);
     return ;
 }