题目链接

线性基可以\(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. webpack详解

    webpack是现代前端开发中最火的模块打包工具,只需要通过简单的配置,便可以完成模块的加载和打包.那它是怎么做到通过对一些插件的配置,便可以轻松实现对代码的构建呢? webpack的配置 const ...

  2. 判断最小生成树是否为一(krustra)

    题目链接:https://vjudge.net/contest/66965#problem/K 具体思路: 首先跑一遍最短路算法,然后将使用到的边标记一下,同时使用一个数组记录每一个权值出现的次数,如 ...

  3. UNIX环境高级编程 第1章 UNIX基础知识

    所有操作系统都为运行在它之上的程序提供各种服务,典型的服务包括:执行新程序.打开文件.读写文件.分配存储空间.提供时间等. UNIX体系结构 严格来说,操作系统是一种软件,它控制计算机硬件资源,提供程 ...

  4. [JL]最后的晚餐 动态规划(DP) codevs5318

    [JL]最后的晚餐 TimeLimit:1000MS  MemoryLimit:1000KB 64-bit integer IO format:%lld Problem Description [题库 ...

  5. 命名实体识别(NER)

    一.任务 Named Entity Recognition,简称NER.主要用于提取时间.地点.人物.组织机构名. 二.应用 知识图谱.情感分析.机器翻译.对话问答系统都有应用.比如,需要利用命名实体 ...

  6. python pachong zhuanzai

    come from:http://www.cnblogs.com/dyllove98/archive/2013/07/12/3187186.html 先来说一下我们学校的网站: http://jwxt ...

  7. H5学习笔记1

    H5学习笔记 1.创建超链接: target=”_blank”:链接的目标网页会在新的窗口中打开. target=”_parent”:链接的目标会在当前窗口中打开,如果在框架网页中,则会在上一层框架打 ...

  8. textarea保留换行和空格

    <style> pre {white-space: pre-wrap;} </style> //替换textare <pre class="feedback_q ...

  9. ASP.NET 实现Base64文件流下载PDF

    因为业务需要调用接口获取的是 Base64文件流 需要提供给客户下载PDF文档 源码部分借鉴网上,具体地址忘记了. //Base64文件流 byte[] buffer = Convert.FromBa ...

  10. RobotFramework基本用法(二)

    双击打开C:\Python27\Scripts目录下的 ride.py 一,定义变量,打印 1,右键File-->New Poreject,在项目下右键New suite,在套件下右键 New ...