题目链接

线性基可以\(O(log^2)\)暴力合并。又是树上路径问题,考虑点分治。

对于每个点i求解 LCA(u,v)i 时的询问(u,v),只需求出这个点到其它点的线性基后,暴力合并。

LCA不能直接求啊。。树形态在变。

Get一种新点分治方法,q[x]存x这棵子树的询问,递归时Solve(son[x])。

但是处理询问是对LCAroot的(先找到这棵子树的root),即从root开始DFS,记一下每个点属于哪棵子子树;再枚举这棵子树的询问,如果LCA是root则查询,否则在同一棵子子树的话就把询问分给那棵子树。

注意这样的话改root的信息而不是x,x可能还会再访问,so还要清空x的询问。so处理x这棵子树前要存下询问后再清空,因为还会有给x的询问。。不能直接清了!

注意没有询问时剪个枝。

复杂度\(O(60n\log n+60^2q)\)。

//17604kb	5528ms
#include <cstdio>
#include <cctype>
#include <vector>
#include <cstring>
#include <algorithm>
//#define gc() getchar()
#define MAXIN 200000
#define gc() (SS==TT&&(TT=(SS=IN)+fread(IN,1,MAXIN,stdin),SS==TT)?EOF:*SS++)
#define Bit 60
typedef long long LL;
const int N=2e4+5,Qs=2e5+5; int n,Q,Enum,tmp[Qs],H[N],nxt[N<<1],to[N<<1],sz[N],bel[N],X[Qs],Y[Qs],Min,root;
bool vis[N];
LL A[N],Ans[Qs];
std::vector<int> q[N];
char IN[MAXIN],*SS=IN,*TT=IN;
struct Base
{
LL b[61];
inline void Clear() {memset(b,0,sizeof b);}
inline void Insert(LL x)
{
for(int i=Bit; ~i; --i)
if(x>>i & 1)
if(b[i]) x^=b[i];
else {b[i]=x; break;}
}
inline void Merge(const Base &x)
{
for(int i=Bit; ~i; --i)
if(x.b[i]) Insert(x.b[i]);
}
inline LL Query()
{
LL ans=0;
for(int i=Bit; ~i; --i) ans=std::max(ans,ans^b[i]);
return ans;
}
}base[N]; inline int read()
{
int now=0;register char c=gc();
for(;!isdigit(c);c=gc());
for(;isdigit(c);now=now*10+c-'0',c=gc());
return now;
}
inline LL readll()
{
LL now=0;register char c=gc();
for(;!isdigit(c);c=gc());
for(;isdigit(c);now=now*10+c-'0',c=gc());
return now;
}
inline void AddEdge(int u,int v)
{
to[++Enum]=v, nxt[Enum]=H[u], H[u]=Enum;
to[++Enum]=u, nxt[Enum]=H[v], H[v]=Enum;
}
void Get_root(int x,int f,int tot)
{
int mx=0; sz[x]=1;
for(int v,i=H[x]; i; i=nxt[i])
if(!vis[v=to[i]] && v!=f)
{
Get_root(v,x,tot), sz[x]+=sz[v];
if(sz[v]>mx) mx=sz[v];
}
mx=std::max(mx,tot-sz[x]);
if(mx<Min) Min=mx, root=x;
}
void DFS(int x,int f,int Bel)
{
bel[x]=Bel, base[x]=base[f], base[x].Insert(A[x]);
for(int i=H[x]; i; i=nxt[i])
if(to[i]!=f&&!vis[to[i]]) DFS(to[i],x,Bel);
}
void Solve(int x)
{
if(!q[x].size()) return;//!
Min=N, Get_root(x,x,sz[x]);
vis[root]=1, bel[root]=root,/*!*/ base[root].Clear(), base[root].Insert(A[root]);
for(int i=H[root]; i; i=nxt[i]) if(!vis[to[i]]) DFS(to[i],root,to[i]);
int cnt=q[x].size();
for(int i=0; i<=cnt; ++i) tmp[i]=q[x][i];//!
q[x].clear();//! 当然如果用边表清空就快了
Base b;
for(int i=0,id; i<cnt; ++i)
if(bel[X[id=tmp[i]]]==bel[Y[id]]) q[bel[X[id]]].push_back(id);
else b=base[X[id]], b.Merge(base[Y[id]]), Ans[id]=b.Query();
for(int i=H[root]; i; i=nxt[i]) if(!vis[to[i]]) Solve(to[i]);
} int main()
{
n=read(), Q=read();
for(int i=1; i<=n; ++i) A[i]=readll();
for(int i=1; i<n; ++i) AddEdge(read(),read());
for(int i=1; i<=Q; ++i)
{
X[i]=read(), Y[i]=read();
if(X[i]!=Y[i]) q[1].push_back(i);
else Ans[i]=A[X[i]];
}
sz[1]=n, Solve(1);
for(int i=1; i<=Q; ++i) printf("%lld\n",Ans[i]); return 0;
}

BZOJ.4516.[SCOI2016]幸运数字(线性基 点分治)的更多相关文章

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

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

  2. BZOJ 4568 [Scoi2016]幸运数字 ——线性基 倍增

    [题目分析] 考虑异或的最大值,维护线性基就可以了. 但是有多次的询问,树剖或者倍增都可以. 想了想树剖动辄数百行的代码. 算了,我还是写倍增吧. 注:被位运算和大于号的优先级坑了一次,QaQ [代码 ...

  3. 洛谷P3292 [SCOI2016]幸运数字 线性基+倍增

    P3292 [SCOI2016]幸运数字 传送门 题目描述 A 国共有 n 座城市,这些城市由 n-1 条道路相连,使得任意两座城市可以互达,且路径唯一.每座城市都有一个幸运数字,以纪念碑的形式矗立在 ...

  4. 洛谷P3292 [SCOI2016] 幸运数字 [线性基,倍增]

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

  5. bzoj4568 [Scoi2016]幸运数字 线性基+树链剖分

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

  6. P3292 [SCOI2016]幸运数字 线性基

    正解:线性基+倍增 解题报告: 先放下传送门QAQ 然后这题,其实没什么太大的技术含量,,,?就几个知识点套在一起,除了代码长以外没任何意义,主要因为想复习下线性基的题目所以还是写下,,, 随便写下思 ...

  7. BZOJ4568: [Scoi2016]幸运数字(线性基 倍增)

    题意 题目链接 Sol 线性基是可以合并的 倍增维护一下 然后就做完了?? 喵喵喵? // luogu-judger-enable-o2 #include<bits/stdc++.h> # ...

  8. [SCOI2016]幸运数字 线性基

    题面 题面 题解 题面意思非常明确:求树上一条链的最大异或和. 我们用倍增的思想. 将这条链分成2部分:x ---> lca , lca ---> y 分别求出这2个部分的线性基,然后合并 ...

  9. P3292 [SCOI2016]幸运数字 [线性基+倍增]

    线性基+倍增 // by Isaunoya #include <bits/stdc++.h> using namespace std; #define rep(i, x, y) for ( ...

随机推荐

  1. cmake设置默认静态链接库

    在使用cmake来编写CMakeLists.txt时,如果不特别指明,那么cmake是默认动态链接库的,最终生成的二进制文件只能在与本地相同环境下的机器运行,如果想把生成的二进制拷贝到其他机器上执行, ...

  2. rollup&&cube

    group by 擴展 rollup&&cube --按job分組計算不同job的匯總工資   SELECT job, SUM (sal)     FROM emp GROUP BY ...

  3. Windows执行命令与下载文件总结

    1.前言 在渗透或是病毒分析总是会遇到很多千奇百怪的下载文件和执行命令的方法. 2.实现方式 2.1.Powershell win2003.winXP不支持 $client = new-object ...

  4. python基础之命名空间

    前言 命名空间通俗的理解就是对象或变量的作用范围,在python中分为局部命令空间.模块命名空间和build-in全局命名空间. 局部命名空间 局部命名空间即在一个函数或一个类中起作用的变量或引用的字 ...

  5. Next Permutation & Previous Permutation

    Next Permutation Given a list of integers, which denote a permutation. Find the next permutation in ...

  6. Pytorch数据读取框架

    训练一个模型需要有一个数据库,一个网络,一个优化函数.数据读取是训练的第一步,以下是pytorch数据输入框架. 1)实例化一个数据库 假设我们已经定义了一个FaceLandmarksDataset数 ...

  7. 制作macOS10.12系列的系统镜像文件

    制作macOS10.12系列的系统镜像文件步骤,过程也比较简单,十来个命令.以10.12.6为例,首先,在苹果商店下载系统安装包APP,或者网上下载后把安装APP复制到  应用程序  文件夹. 然后打 ...

  8. java基础42 File类的构造函数及其方法

    本文知识点(目录): 1.IO流(Input Output)    2.IO流技术的运用场景    3.File类的构造函数(方法)    4.File类的一些常用方法    5.实例(解析File类 ...

  9. Vue select 下拉菜单

    1.html <div id="app-8"> <select v-model="selected"> <option v-for ...

  10. MS Sql Server 数据库或表修复(DBCC CHECKDB)

    MS Sql Server 提供了很多数据库修复的命令,当数据库质疑或是有的无法完成读取时可以尝试这些修复命令.  1. DBCC CHECKDB  重启服务器后,在没有进行任何操作的情况下,在SQL ...