[BZOJ4568][Scoi2016]幸运数字 倍增+线性基

4568: [Scoi2016]幸运数字

Time Limit: 60 Sec  Memory Limit: 256 MB
Submit: 1791  Solved: 685
[Submit][Status][Discuss]

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

HINT

 

Source

树上倍增维护线性基

 #include<iostream>
 #include<cstring>
 #include<cstdlib>
 #include<cstdio>
 #include<cmath>
 #include<algorithm>
 #define maxn 20005
 #define ll long long
 using namespace std;
 ll fa[maxn][],s[maxn][][];
 ll n,q,a[maxn];
 ll tmp[];
 int dep[maxn];
 struct data {
     int to,next;
 }e[maxn*];
 int head[maxn],cnt;
 void add(int u,int v) {e[cnt].next=head[u];e[cnt].to=v;head[u]=cnt++;}
 void build(ll *t1,ll t2) {
     for(int i=;i>=;i--) {
         if((t2>>i)&1ll) {
             if(!t1[i]) {t1[i]=t2;return;}
             else t2^=t1[i];
         }
     }
 }
 void merge(ll *t1,ll *t2) {for(int i=;i>=;i--) if(t2[i]) build(t1,t2[i]);}
 void dfs(int x,int f) {
     dep[x]=dep[f]+;
     build(s[x][],a[x]);
     for(int i=;i<=;i++) fa[x][i]=fa[fa[x][i-]][i-];
     for(int i=;i<=;i++) {
         memcpy(s[x][i],s[x][i-],sizeof(s[x][i-]));
         merge(s[x][i],s[fa[x][i-]][i-]);
     }
     for(int i=head[x];i>=;i=e[i].next) {
         int to=e[i].to;if(to==f) continue;
         fa[to][]=x;
         dfs(to,x);
     }
 }

 int lca(int x,int y) {
     if(dep[x]<dep[y]) swap(x,y);
     int t=dep[x]-dep[y];
     for(int i=;i>=;i--) if((t>>i)&) {merge(tmp,s[x][i]);x=fa[x][i];}
     for(int i=;i>=;i--) if(fa[x][i]!=fa[y][i]) {merge(tmp,s[x][i]);merge(tmp,s[y][i]);x=fa[x][i],y=fa[y][i];}
     if(x==y) return x;
     merge(tmp,s[x][]);merge(tmp,s[y][]);
     return fa[x][];
 }

 int main() {
     memset(head,-,sizeof(head));
     scanf("%lld%lld",&n,&q);
     for(int i=;i<=n;i++) scanf("%lld",&a[i]);
     for(int i=;i<n;i++) {
         int u,v;
         scanf("%d%d",&u,&v);add(u,v);add(v,u);
     }
     dfs(,);
     for(int i=;i<=q;i++) {
         memset(tmp,,sizeof(tmp));
         int x,y;
         scanf("%d%d",&x,&y);
         int z=lca(x,y);merge(tmp,s[z][]);
         ll ans=;
         for(int j=;j>=;j--) ans=max(ans,ans^tmp[j]);
         printf("%lld\n",ans);
     }
 }