HDU 4757 可持久化trie树

　　首先如果给定一些数，询问这些数中哪个数^给定的数的值最大的话，我们可以建立一颗trie树，根连接的两条边分别为0,1，表示二进制下第15位，那么我们可以建立一颗trie树，每一条从根到叶子节点的链表示一个2^16以内的数，开始每个节点的cnt都是0，那么每插入一个元素，将表示这个值的链上所有位置的cnt++，那么对于一个值要求使得^最大，如果这个值的某一位是1，那么我们最好要找到一个为0的数来和他^，那么判断下0儿子的cnt是不是大于0，然后做就好了。

　　那么对于这棵树，我们可以先将1为根，然后对于两个点x,y之间的链拆成x,lca和y,lca的两条链，现在问题就转化为了求一个深度递增的链上所有值和给定值的^值最大，那么我们可以建立可持久化trie，每个节点继承父节点的trie树，我们只需要用x的trie树减去lca father的trie树做开始的问题就好了。

　　反思：调试的时候输出调试的，然后答案更新的只按照一部分更新的，忘了改回去了。因为这个题没看题，是别人讲的题意，所以没看到多组数据，在这儿一直错= =。

//By BLADEVIL
#include <cstdio>
#include <cstring>
#include <algorithm>
#define maxn 200010
 
using namespace std;
 
struct ww {
    int son[];
    int cnt;
    ww() {
        cnt=;
        memset(son,,sizeof son);
    }
}t[maxn<<];
 
int n,m,l,tot;
int a[maxn],pre[maxn<<],other[maxn<<],last[maxn],que[maxn],dis[maxn],jump[maxn][];
 
void connect(int x,int y) {
    pre[++l]=last[x];
    last[x]=l;
    other[l]=y;
}
 
int lca(int x,int y) {
    if (dis[x]>dis[y]) swap(x,y);
    int dep=dis[y]-dis[x];
    for (int i=;i<=;i++) if (dep&(<<i)) y=jump[y][i];
    if (x==y) return x;
    for (int i=;i>=;i--) if (jump[x][i]!=jump[y][i]) x=jump[x][i],y=jump[y][i];
    return jump[x][];
}
 
void build(int &x,int dep) {
    if (!x) x=++tot;
    if (dep<) return ;
    build(t[x].son[],dep-); build(t[x].son[],dep-);
}    
 
void insert(int &x,int rot,int dep,int key) {
    if (!x) x=++tot;
    if (dep==-) return ;
    if (key&(<<dep)) {
        insert(t[x].son[],t[rot].son[],dep-,key);
        t[x].son[]=t[rot].son[];
    } else {
        insert(t[x].son[],t[rot].son[],dep-,key);
        t[x].son[]=t[rot].son[];
    }
    t[x].cnt+=t[rot].cnt+;
    //printf("|%d %d\n",t[x].cnt,x);
}
 
int query(int rx,int lx,int key,int dep) {
    if (dep==-) return ;
    //printf("%d %d %d %d\n",t[rx].son[1],t[rx].son[0],t[t[rx].son[1]].cnt,t[t[rx].son[0]].cnt);
    int ans=;
    if (key&(<<dep)) {
        if (t[t[rx].son[]].cnt-t[t[lx].son[]].cnt) {
            ans=<<dep;
            ans+=query(t[rx].son[],t[lx].son[],key,dep-);
        } else ans=query(t[rx].son[],t[lx].son[],key,dep-);
    } else {
        if (t[t[rx].son[]].cnt-t[t[lx].son[]].cnt) {
            ans=<<dep;
            ans+=query(t[rx].son[],t[lx].son[],key,dep-);
        } else ans=query(t[rx].son[],t[lx].son[],key,dep-);
    }
    //printf("%d\n",ans);
    return ans;
}
 
void work() {
     memset(t,,sizeof t);
    memset(last,,sizeof last);
    memset(dis,,sizeof dis);
    tot=n; l=;
    for (int i=;i<=n;i++) scanf("%d",&a[i]);
    for (int i=;i<n;i++) {
        int x,y; scanf("%d%d",&x,&y);
        connect(x,y); connect(y,x);
    }
    int head=,tail=; que[]=; dis[]=;
    while (head<tail) {
        int cur=que[++head];
        for (int p=last[cur];p;p=pre[p]) {
            if (dis[other[p]]) continue;
            que[++tail]=other[p]; dis[other[p]]=dis[cur]+;
        }
    }
    //for (int i=1;i<=n;i++) printf(i==n?"%d\n":"%d ",que[i]);
    jump[][]=++tot;
    for (int i=;i<=n;i++)
        for (int p=last[que[i]];p;p=pre[p])
            if (dis[other[p]]>dis[que[i]]) jump[other[p]][]=que[i];
    for (int i=;i<=;i++)
        for (int j=;j<=n;j++){
            int cur=que[j];
            jump[cur][i]=jump[jump[cur][i-]][i-];
        }
    build(jump[][],);
    for (int i=;i<=n;i++) insert(que[i],jump[que[i]][],,a[que[i]]);
    //for (int i=1;i<=tot;i++) printf("%d %d %d %d\n",i,t[i].son[0],t[i].son[1],t[i].cnt);
    //int x,y; scanf("%d%d",&x,&y); printf("%d\n",lca(x,y));
    while (m--) {
        int x,y,z; scanf("%d%d%d",&x,&y,&z);
        int root=lca(x,y);
        int ans=;
        ans=max(query(x,jump[root][],z,),query(y,jump[root][],z,));
        //ans=query(y,jump[root][0],z,15);
        printf("%d\n",ans);
    }
}
 
int main() {
    while (scanf("%d%d",&n,&m)!=EOF) work();
    return ;
}