题目大意

给定一棵\(n\)个点的树,每个点有权值

\(q\)次询问树上路径中

每个点权值可选可不选的最大异或和

\(n\le 2*10^4,q\le 2*10^5,val[i]\le 2^{60}\)

分析

线性基

但数据范围不太对啊woc

两线性基合并\(O(60^2)\)

如果 树剖+线性基 则\(O(q\log^2n ~60^2)\)

如果 树上倍增+线性基 则是一个常数较大的\(O(q\log n~60^2)\)

不是很妙啊

做法1

注意到,这不是常规的树上询问,因为是异或(线性基)

线性基同一个值重复插入时没有问题的

即树上某一段算重是可以的

那么我们可以这样算



其中橙色部分时一个长度\(2^k\)的段

这样就只用统计\(4\)次了

复杂度\(O(4*60^2~q)\)

做法2

点分治

求出重心到每个点的线性基\(O(60n)\)

然后解决询问

如果询问与该重心有关,单次\(O(60^2)\)

否则将该询问传到儿子

点分每层扫过的询问数\(O(q)\)的

总复杂度

\(O(60n\log n~+~q \log n~+~60^2 q)\)

solution 1

#include <cstring>
#include <cstdio>
#include <cstdlib>
#include <cctype>
#include <cmath>
#include <algorithm>
using namespace std;
const int M=2e4+7;
const int B=60;
typedef long long LL; inline int rd(){
int x=0;bool f=1;char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=0;
for(;isdigit(c);c=getchar()) x=x*10+c-48;
return f?x:-x;
} inline LL lrd(){
LL x=0;bool f=1;char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=0;
for(;isdigit(c);c=getchar()) x=x*10+c-48;
return f?x:-x;
} struct vec{
int g[M],te;
struct edge{
int y,nxt;
edge(int _y=0,int _nxt=0){
y=_y,nxt=_nxt;
}
}e[M<<1];
vec(){memset(g,0,sizeof g);te=0;}
inline void push(int x,int y){e[++te]=edge(y,g[x]);g[x]=te;}
inline void push2(int x,int y){push(x,y);push(y,x);}
inline int& operator () (int x){return g[x];}
inline edge& operator [] (int x){return e[x];}
}e; struct Base{
LL a[B+3];
Base(){memset(a,0,sizeof a);}
void ins(LL x){
for(int i=B;i>=0;i--) if(x>>i&1){
if(a[i]) x^=a[i];
else {a[i]=x;return;}
}
} LL getmx(){
LL res=0; int i;
for(i=B;i>=0;i--) if((res^a[i])>res) res^=a[i];
return res;
} friend Base merge(const Base &x,const Base &y){
Base res; int i;
for(i=B;i>=0;i--) if(x.a[i]) res.ins(x.a[i]);
for(i=B;i>=0;i--) if(y.a[i]) res.ins(y.a[i]);
return res;
} friend Base merge(const Base &x,const LL &y){
Base res=x;
res.ins(y);
return res;
}
}; int n,m,D;
LL val[M];
int dep[M];
int pre[M][15];
Base f[M][15]; void dfs(int x){
int p,y;
for(p=e(x);p;p=e[p].nxt)
if((y=e[p].y)!=pre[x][0]){
dep[y]=dep[x]+1;
pre[y][0]=x;
f[y][0].ins(val[y]);
dfs(y);
}
} void init(){
D=(int)log2(n);
int i,j;
for(j=1;j<=D;j++)
for(i=1;i<=n;i++){
pre[i][j]=pre[pre[i][j-1]][j-1];
f[i][j]=merge(f[i][j-1],f[pre[i][j-1]][j-1]);
}
} int LCA(int x,int y){
int i;
if(dep[x]<dep[y]) swap(x,y);
for(i=D;i>=0;i--)
if(dep[pre[x][i]]>=dep[y]) x=pre[x][i];
if(x==y) return x;
for(i=D;i>=0;i--)
if(pre[x][i]!=pre[y][i]) x=pre[x][i],y=pre[y][i];
return pre[x][0];
} int jp(int x,int kth){
for(int i=D;i>=0;i--) if(kth>>i&1) x=pre[x][i];
return x;
} Base calc(int x,int to){
for(int i=D;i>=0;i--) if(dep[pre[x][i]]>=dep[to]){
int y=jp(x,dep[pre[x][i]]-dep[to]);
return merge(f[x][i],f[y][i]);
}
return Base();
} LL get(int x,int y){
Base res;
int lca=LCA(x,y),i;
res=merge(merge(calc(x,lca),calc(y,lca)),val[lca]);
return res.getmx();
} int main(){ int i,x,y; n=rd(),m=rd();
for(i=1;i<=n;i++) val[i]=lrd(); for(i=1;i<n;i++) e.push2(rd(),rd()); pre[1][0]=0; dep[1]=1;
dfs(1);
init(); for(i=1;i<=m;i++){
x=rd(),y=rd();
printf("%lld\n",get(x,y));
} return 0;
}

solution 2

#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <cmath>
#include <algorithm>
using namespace std;
const int N=2e5+7;
const int M=2e4+7;
const int B=60;
typedef long long LL; inline int ri(){
int x=0;bool f=1;char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=0;
for(;isdigit(c);c=getchar()) x=x*10+c-48;
return f?x:-x;
} inline LL rl(){
LL x=0;bool f=1;char c=getchar();
for(;!isdigit(c);c=getchar()) if(c=='-') f=0;
for(;isdigit(c);c=getchar()) x=x*10+c-48;
return f?x:-x;
} struct vec{
int g[M],te;
struct edge{
int y,nxt;
edge(int _y=0,int _nxt=0){y=_y,nxt=_nxt;}
}e[M<<1];
vec(){memset(g,0,sizeof g);te=0;}
inline void push(int x,int y){e[++te]=edge(y,g[x]);g[x]=te;}
inline void push2(int x,int y){push(x,y);push(y,x);}
inline int& operator () (int x){return g[x];}
inline edge& operator [] (int x){return e[x];}
}e; struct vec2{
int g[M],te;
struct ques{
int x,y,id,nxt;
ques(int _x=0,int _y=0,int _id=0,int _nxt=0){x=_x,y=_y,id=_id,nxt=_nxt;}
}e[N*17];
vec2(){memset(g,0,sizeof g);te=0;}
inline void push(int u,int x,int y,int id){e[++te]=ques(x,y,id,g[u]);g[u]=te;}
inline int& operator () (int x){return g[x];}
inline ques& operator [] (int x){return e[x];}
}ask; struct Base{
LL a[B+3]; Base(){memset(a,0,sizeof a);}
void clear(){memset(a,0,sizeof a);} void ins(LL x){
for(int i=B;i>=0;i--) if(x>>i&1){
if(a[i]) x^=a[i];
else {a[i]=x;break;}
}
} LL getmx(){
LL res=0;
for(int i=B;i>=0;i--) if((res^a[i])>res) res^=a[i];
return res;
} friend Base merge(const Base &x,const Base &y){
Base res;
for(int i=B;i>=0;i--) if(x.a[i]) res.ins(x.a[i]);
for(int i=B;i>=0;i--) if(y.a[i]) res.ins(y.a[i]);
return res;
} friend Base merge(const Base &x,const LL &y){
Base res=x;
res.ins(y);
return res;
}
}; int n,m;
LL val[M];
int sz[M];
int mi,size,rt;
bool vis[M];
int bl[M];
LL ans[N];
Base f[M]; LL calc(int x,int y){
Base res=merge(f[x],f[y]);
return res.getmx();
} void getsz(int x,int fa){
sz[x]=1;
int p,y;
for(p=e(x);p;p=e[p].nxt)
if((y=e[p].y)!=fa&&!vis[y]){
getsz(y,x);
sz[x]+=sz[y];
}
} void getrt(int x,int fa){
int f=size-sz[x],p,y;
for(p=e(x);p;p=e[p].nxt)
if((y=e[p].y)!=fa&&!vis[y]){
getrt(y,x);
f=max(f,sz[y]);
}
if(f<mi) mi=f,rt=x;
} void dfs(int x,int fa){
f[x]=merge(f[fa],val[x]);
int p,y;
for(p=e(x);p;p=e[p].nxt)
if((y=e[p].y)!=fa&&!vis[y]) bl[y]=bl[x],dfs(y,x);
} void work(int fr){
getsz(fr,0);
mi=size=sz[fr];
getrt(fr,0);
int x=rt,i,p,y;
vis[x]=1; bl[x]=x;
f[x].clear(); f[x].ins(val[x]);
if(x!=fr) {ask(x)=ask(fr); ask(fr)=0;}// for(p=e(x);p;p=e[p].nxt)
if(!vis[y=e[p].y]){
bl[y]=y;
dfs(y,x);
} for(p=ask(x);p;p=ask[p].nxt){
if(bl[ask[p].x]==bl[ask[p].y]) ask.push(bl[ask[p].x],ask[p].x,ask[p].y,ask[p].id);
else ans[ask[p].id]=calc(ask[p].x,ask[p].y);
} for(p=e(x);p;p=e[p].nxt)
if(!vis[y=e[p].y]) work(y);
} int main(){ int i,x,y;
n=ri(),m=ri();
for(i=1;i<=n;i++) val[i]=rl(); for(i=1;i<n;i++) e.push2(ri(),ri()); for(i=1;i<=m;i++){
x=ri(), y=ri();
if(x==y) ans[i]=val[x];
else ask.push(1,x,y,i);
} work(1); for(int i=1;i<=m;i++) printf("%lld\n",ans[i]); return 0;
}

bzoj 4568 [SCOI 2016] 幸运数字的更多相关文章

  1. [SCOI 2016]幸运数字

    Description A 国共有 n 座城市,这些城市由 n-1 条道路相连,使得任意两座城市可以互达,且路径唯一.每座城市都有一个幸运数字,以纪念碑的形式矗立在这座城市的正中心,作为城市的象征.一 ...

  2. Scoi 2010 幸运数字

    [题目描述]在中国,很多人都把6和8视为是幸运数字!lxhgww也这样认为,于是他定义自己的“幸运号码”是十进制表示中只包含数字6和8的那些号码,比如68,666,888都是“幸运号码”!但是这种“幸 ...

  3. BZOJ 4568 幸运数字

    题目传送门 4568: [Scoi2016]幸运数字 Time Limit: 60 Sec Memory Limit: 256 MB Description A 国共有 n 座城市,这些城市由 n-1 ...

  4. BZOJ 4568: [Scoi2016]幸运数字 [线性基 倍增]

    4568: [Scoi2016]幸运数字 题意:一颗带点权的树,求树上两点间异或值最大子集的异或值 显然要用线性基 可以用倍增的思想,维护每个点向上\(2^j\)个祖先这些点的线性基,求lca的时候合 ...

  5. bzoj 4568: [Scoi2016]幸运数字

    4568: [Scoi2016]幸运数字 Time Limit: 60 Sec  Memory Limit: 256 MBSubmit: 848  Solved: 336[Submit][Status ...

  6. 【BZOJ 4568】 4568: [Scoi2016]幸运数字 (线性基+树链剖分+线段树)

    4568: [Scoi2016]幸运数字 Description A 国共有 n 座城市,这些城市由 n-1 条道路相连,使得任意两座城市可以互达,且路径唯一.每座城市都有一个 幸运数字,以纪念碑的形 ...

  7. BZOJ 4568 [Scoi2016]幸运数字(树链剖分 + 异或线性基)

    题目链接  BZOJ 4568 考虑树链剖分+线段树维护每一段区域的异或线性基 对于每个询问,求出该点集的异或线性基.然后求一下这个线性基里面能异或出的最大值即可. #include <bits ...

  8. BZOJ 1853 【Scoi2010】 幸运数字

    Description 在中国,很多人都把6和8视为是幸运数字!lxhgww也这样认 为,于是他定义自己的"幸运号码"是十进制表示中只包含数字6和8的那些号码,比如68,666,8 ...

  9. BZOJ 1853: [Scoi2010]幸运数字

    1853: [Scoi2010]幸运数字 Time Limit: 2 Sec  Memory Limit: 64 MBSubmit: 2117  Solved: 779[Submit][Status] ...

随机推荐

  1. java 第八章 异常处理

    一.异常简介 (一)定义: 运行期间出现的错误,而不是编译时的语法错误 例如: 1.打开一个不存在的文件 2.网络连接中断 3.数学类错误 4.操作数组越界等 (二)异常的继承树 (三)异常类的体系结 ...

  2. 20145209刘一阳《网络对抗》实验五:MSF基础应用

    20145209刘一阳<网络对抗>实验五:MSF基础应用 主动攻击 首先,我们需要弄一个xp sp3 English系统的虚拟机,然后本次主动攻击就在我们kali和xp之间来完成. 然后我 ...

  3. js三种存储方式区别

    javaScript有三种数据存储方式,分别是: sessionStorage localStorage cookier 相同点:都保存在浏览器端,同源的 不同点: ①传递方式不同 cookie数据始 ...

  4. journalctl 日志查看方法

    1  概述 日志管理工具journalctl是centos7上专有的日志管理工具,该工具是从message这个文件里读取信息.Systemd统一管理所有Unit的启动日志.带来的好处就是,可以只用jo ...

  5. 你想找的Python资料这里全都有!没有你找不到!史上最全资料合集

    你想找的Python资料这里全都有!没有你找不到!史上最全资料合集 2017年11月15日 13:48:53 技术小百科 阅读数:1931   GitHub 上有一个 Awesome - XXX 系列 ...

  6. PS 抠图和添加背景图

    1.打开需要抠的图--然后使用套索类工具,魔棒类工具,钢笔类工具均可选择需要扣的图片范围任何在Delete(如果抠反了可以进行反选Ctrl +shift+I) 2.然后把任一一张背景图直接拖到PS里面 ...

  7. Jmeter做压力测试的心得

    什么是性能压测? 也是最近刚刚接触到,就是被测试的系统,在一定的访问压力下,看程序运行是否稳定/服务器运行是否稳定,通常情况,是模拟多个请求同时 请求服务器,也就是在某个时间内,比如说1秒内,调用接口 ...

  8. 【WXS全局对象】Date

    属性: 名称 说明 Date.parse( [dateString] ) 解析一个日期时间字符串,并返回 1970/1/1 午夜距离该日期时间的毫秒数. Date.UTC(year,month,day ...

  9. vim基本命令笔记

    两种模式 -编辑模式:可以进行正常的编辑操作 左下方显示 -- INSERT -- "在命令模式下输入 i 能够进入编辑模式" -命令模式:可以通过命令 左下方什么也不显示 &qu ...

  10. 【转】: 探索Lua5.2内部实现:虚拟机指令(3) Upvalues & Globals

    在编译期,如果要访问变量a时,会依照以下的顺序决定变量a的类型: a是当前函数的local变量 a是外层函数的local变量,那么a是当前函数的upvalue a是全局变量 local变量本身就存在于 ...