【Bzoj4568: [Scoi2016]】幸运数字——LCA+线性基

Time Limit: 60 Sec Memory Limit: 256 MB

Description

A 国共有 n 座城市，这些城市由 n-1 条道路相连，使得任意两座城市可以互达，且路径唯一。每座城市都有一个
幸运数字，以纪念碑的形式矗立在这座城市的正中心，作为城市的象征。一些旅行者希望游览 A 国。旅行者计划
乘飞机降落在 x 号城市，沿着 x 号城市到 y 号城市之间那条唯一的路径游览，最终从 y 城市起飞离开 A 国。
在经过每一座城市时，游览者就会有机会与这座城市的幸运数字拍照，从而将这份幸运保存到自己身上。然而，幸
运是不能简单叠加的，这一点游览者也十分清楚。他们迷信着幸运数字是以异或的方式保留在自己身上的。例如，
游览者拍了 3 张照片，幸运值分别是 5，7，11，那么最终保留在自己身上的幸运值就是 9（5 xor 7 xor 11）。
有些聪明的游览者发现，只要选择性地进行拍照，便能获得更大的幸运值。例如在上述三个幸运值中，只选择 5
和 11 ，可以保留的幸运值为 14 。现在，一些游览者找到了聪明的你，希望你帮他们计算出在他们的行程安排中
可以保留的最大幸运值是多少。

Input

第一行包含 2 个正整数 n ，q，分别表示城市的数量和旅行者数量。第二行包含 n 个非负整数，其中第 i 个整
数 Gi 表示 i 号城市的幸运值。随后 n-1 行，每行包含两个正整数 x ，y，表示 x 号城市和 y 号城市之间有一
条道路相连。随后 q 行，每行包含两个正整数 x ，y，表示这名旅行者的旅行计划是从 x 号城市到 y 号城市。N
<=20000,Q<=200000,Gi<=2^60
Output

输出需要包含 q 行，每行包含 1 个非负整数，表示这名旅行者可以保留的最大幸运值。

Sample Input

4 2

11 5 7 9

1 2

1 3

1 4

2 3

1 4

Sample Output

14

11

如果单纯的求解一条链上的幸运值，就是比较裸的线性基问题，那么现在将线性基放在树上，之前曾经做过线段树维护线性基的，那么在树上一样的维护。对于输入的起点和终点，我们可以通过倍增处理出fa数组，在处理的过程中维护一条链的线性基，那么两个点之间的线性基就是各自到LCA的两条链的合并。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;
typedef long long LL;
const int maxn = 64;
const int maxm = 21000;
struct Linear_basis {
    LL bas[maxn];
    void Clear() {
        memset(bas,0,sizeof(bas));
    }
    void add(LL x) {
        for(int i = 61;i>=0;i--) {
            if((x>>i)&1) {
                if(bas[i]) x^=bas[i];
                else {
                    bas[i] = x;
                    break;
                }
            }
        }
    }
    Linear_basis operator + (const Linear_basis &a) const {
        Linear_basis temp = a;
        for(int i = 61;i>=0;i--) {
            if(bas[i]) {
                temp.add(bas[i]);
            }
        }
        return temp;
    }
    LL num() {
        LL ans = 0;
        for(int i = 61;i>=0;i--) ans = max(ans,ans^bas[i]);
        return ans;
    }
}val[maxm][17];
vector<LL>mp[maxm];
int dep[maxm];
int fa[maxm][17];
int n,q,x,y;
LL G;
void dfs(int u,int f ){ //处理fa数组，同时处理出区间线性基
    if(f) {
        dep[u] = dep[f]+1;
    }
    for(int i = 0;i<mp[u].size();i++) {
        int v = mp[u][i];
        if(v!=f) {
            for(int j = 1,t = u;t;j++) {
                fa[v][j] =t;
                t = fa[t][j];
            }
            if(fa[v][1]) val[v][1] = val[v][0]+val[fa[v][1]][0];
            for(int j = 2;fa[v][j];j++) val[v][j] =  val[v][j-1] + val[fa[v][j-1]][j-1];
            dfs(v,u);
        }
    }
}
Linear_basis find(int x,int y) {//LCA
    Linear_basis res; res.Clear();
    res=res+val[x][0];
    res=res+val[y][0];
    if(dep[x]<dep[y]) swap(x,y);
    for(int i = 16;i>=0;i--) {
        if(dep[fa[x][i]] >= dep[y]) {
            res  = res+val[x][i];
            x  = fa[x][i];
        }
    }
    for(int i = 16;i>=0;i--) {
        if(fa[x][i]!=fa[y][i]) {
            res = res+val[x][i];
            res = res+val[y][i];
            x = fa[x][i];
            y = fa[y][i];
        }
    }
    if(x!=y) {
        res = res+val[x][1];
    }
    return res;
}
int main() {
    while(~scanf("%d %d",&n,&q)) {
        memset(fa,0,sizeof(fa));
        for(int i = 1;i<=n;i++) {
            val[i][0].Clear();
            scanf("%lld",&G);
            val[i][0].add(G);
            mp[i].clear();
            fa[i][0] = i;
        }
        for(int i = 1;i<n;i++) {
            scanf("%d %d",&x,&y);
            mp[x].push_back(y);
            mp[y].push_back(x);
        }
        dep[1] = 1;
        dfs(1,0);
        for(int i = 1;i<=q;i++) {
            scanf("%d %d",&x,&y);
            printf("%lld\n",find(x,y).num());
        }
    }
    return 0;
}