https://www.luogu.org/problemnew/show/P3302

看到查询第 k 小,而且是一颗树,可以联想到在树上的主席树,a 和 b 路径中第 k 小可以通过在 a, b, lca(a, b), fa[lca(a, b)] 四个节点对应的主席树上二分得到

实现主席树是很简单的,连接两个点可以启发式合并,现在最大的问题是连接两个点后还要高效的求出 LCA,一种做法是启发式合并的时候重构倍增数组,也有一种用 LCT 维护 LCA 的方法,相对简单。博主的实现是后者

需要注意的就是找到 fa[lca(a, b)] 的时候,可以模仿 LCT findroot 函数的实现,先 access(lca),然后 splay(lca),找到深度次大的点即可。link 之后 root 会变,进行新操作的时候要 makeroot,才能求出正确的 LCA

总而言之,需要注意的细节还是很多的,具体还是看代码实现吧

#include <bits/stdc++.h>
using namespace std; typedef unsigned long long ull;
typedef long long ll; template <typename _T>
inline void read(_T &f) {
f = 0; _T fu = 1; char c = getchar();
while(c < '0' || c > '9') {if(c == '-') fu = -1; c = getchar();}
while(c >= '0' && c <= '9') {f = (f << 3) + (f << 1) + (c & 15); c = getchar();}
f *= fu;
} const int N = 80000 + 10; int fa[N], ch[N][2], rev[N], st[N], len;
int n, m, t; int isroot(int u) {return ch[fa[u]][0] != u && ch[fa[u]][1] != u;}
int get(int u) {return ch[fa[u]][1] == u;} void pushdown(int u) {
if(rev[u]) {
swap(ch[u][0], ch[u][1]);
rev[ch[u][0]] ^= 1;
rev[ch[u][1]] ^= 1;
rev[u] ^= 1;
}
} void rotate(int u) {
int old = fa[u], oldd = fa[old], k = get(u);
if(!isroot(old)) ch[oldd][get(old)] = u; fa[u] = oldd;
fa[ch[u][k ^ 1]] = old; ch[old][k] = ch[u][k ^ 1];
fa[old] = u; ch[u][k ^ 1] = old;
} void splay(int u) {
st[len = 1] = u;
for(int i = u; !isroot(i); i = fa[i]) st[++len] = fa[i];
for(int i = len; i >= 1; i--) pushdown(st[i]);
for(; !isroot(u); rotate(u)) if(!isroot(fa[u])) rotate(get(u) == get(fa[u]) ? fa[u] : u);
} int access(int u) {
int tmp;
for(int i = 0; u; i = u, u = fa[u]) {
splay(u);
ch[u][1] = i;
tmp = u;
}
return tmp;
} void makeroot(int u) {
access(u);
splay(u);
rev[u] ^= 1;
} void link(int x, int y) {
makeroot(x);
fa[x] = y;
} int LCA(int x, int y) {
access(x);
return access(y);
} int rt[N], val[N * 600], lc[N * 600], rc[N * 600], a[N], b[N];
int tot = 0; void build(int &u, int l, int r) {
u = ++tot;
if(l == r) return;
int mid = (l + r) >> 1;
build(lc[u], l, mid);
build(rc[u], mid + 1, r);
} void ins(int &u, int pre, int l, int r, int x) {
u = ++tot;
val[u] = val[pre] + 1, lc[u] = lc[pre], rc[u] = rc[pre];
if(l == r) return;
int mid = (l + r) >> 1;
if(mid >= x) ins(lc[u], lc[pre], l, mid, x);
else ins(rc[u], rc[pre], mid + 1, r, x);
} int query(int a, int b, int c, int d, int l, int r, int k) {
if(l == r) return l;
int lsum = val[lc[a]] + val[lc[b]] - val[lc[c]] - val[lc[d]];
int rsum = val[rc[a]] + val[rc[b]] - val[rc[c]] - val[rc[d]];
int mid = (l + r) >> 1;
if(lsum >= k) return query(lc[a], lc[b], lc[c], lc[d], l, mid, k);
else return query(rc[a], rc[b], rc[c], rc[d], mid + 1, r, k - lsum);
} int blen; vector <int> g[N];
int siz[N], head[N]; int f[N]; int find(int x) {return f[x] == x ? x : f[x] = find(f[x]);} inline void addedge(int u, int v) {
g[u].push_back(v);
g[v].push_back(u);
} void dfs1(int u, int f) {
ins(rt[u], rt[f], 1, blen, a[u]);
for(vector <int> :: iterator it = g[u].begin(); it != g[u].end(); it++) {
int v = *it; if(v == f) continue; dfs1(v, u);
}
} void Merge(int a, int b) {
int x = find(a), y = find(b);
if(siz[x] < siz[y]) swap(a, b), swap(x, y);
siz[x] += siz[y]; addedge(a, b);
link(a, b); f[y] = x;
dfs1(b, a);
} int lastans = 0; int main() {
cin >> n;
cin >> n >> m >> t;
for(int i = 1; i <= n; i++) {
scanf("%d", &a[i]);
b[i] = a[i];
f[i] = i; siz[i] = 1;
}
sort(b + 1, b + n + 1);
blen = unique(b + 1, b + n + 1) - b - 1;
for(int i = 1; i <= n; i++) a[i] = lower_bound(b + 1, b + blen + 1, a[i]) - b;
build(rt[0], 1, blen);
for(int i = 1; i <= n; i++) {
ins(rt[i], rt[0], 1, blen, a[i]);
}
for(int i = 1; i <= m; i++) {
int A, B;
scanf("%d %d", &A, &B);
Merge(A, B);
}
for(int i = 1; i <= t; i++) {
char c = getchar();
while(c != 'Q' && c != 'L') c = getchar();
if(c == 'L') {
int A, B;
scanf("%d %d", &A, &B);
A ^= lastans; B ^= lastans;
Merge(A, B);
} else {
int A, B, K;
scanf("%d %d %d", &A, &B, &K);
A ^= lastans; B ^= lastans; K ^= lastans;
makeroot(find(A));
int lca = LCA(A, B), father;
if(find(A) == lca) father = 0;
else {
access(lca); splay(lca);
father = ch[lca][0];
while(ch[father][1]) {
father = ch[father][1];
pushdown(father);
}
}
printf("%d\n", lastans = b[query(rt[A], rt[B], rt[lca], rt[father], 1, blen, K)]);
}
}
return 0;
}

luoguP3302 [SDOI2013]森林的更多相关文章

  1. luoguP3302 [SDOI2013]森林 主席树 启发式合并

    题目链接 luoguP3302 [SDOI2013]森林 题解 本来这题树上主席树暴力启发式合并就完了 结果把lca写错了... 以后再也不这么写了 复杂度\(O(nlog^2n)\) "f ...

  2. [luoguP3302] [SDOI2013]森林(主席树 + 启发式合并 + lca)

    传送门 显然树上第k大直接主席树 如果连边的话,我们重构小的那一棵,连到另一棵上. 说起来简单,调了我一晚上. 总的来说3个错误: 1.离散化写错位置写到了后面 2."="写成了& ...

  3. BZOJ 3123: [Sdoi2013]森林 [主席树启发式合并]

    3123: [Sdoi2013]森林 题意:一个森林,加边,询问路径上k小值.保证任意时刻是森林 LCT没法搞,树上kth肯定要用树上主席树 加边?启发式合并就好了,小的树dfs重建一下 注意 测试点 ...

  4. P3302 [SDOI2013]森林(主席树+启发式合并)

    P3302 [SDOI2013]森林 主席树+启发式合并 (我以前的主席树板子是错的.......坑了我老久TAT) 第k小问题显然是主席树. 我们对每个点维护一棵包含其子树所有节点的主席树 询问(x ...

  5. [BZOJ3123][Sdoi2013]森林 主席树+启发式合并

    3123: [Sdoi2013]森林 Time Limit: 20 Sec  Memory Limit: 512 MB Description Input 第一行包含一个正整数testcase,表示当 ...

  6. BZOJ3123: [Sdoi2013]森林(启发式合并&主席树)

    3123: [Sdoi2013]森林 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 4813  Solved: 1420[Submit][Status ...

  7. 【BZOJ3123】[Sdoi2013]森林 主席树+倍增LCA+启发式合并

    [BZOJ3123][Sdoi2013]森林 Description Input 第一行包含一个正整数testcase,表示当前测试数据的测试点编号.保证1≤testcase≤20. 第二行包含三个整 ...

  8. 洛谷 P3302 [SDOI2013]森林 解题报告

    P3302 [SDOI2013]森林 题目描述 小\(Z\)有一片森林,含有\(N\)个节点,每个节点上都有一个非负整数作为权值.初始的时候,森林中有\(M\)条边. 小Z希望执行\(T\)个操作,操 ...

  9. 3123: [Sdoi2013]森林

    3123: [Sdoi2013]森林 Time Limit: 20 Sec  Memory Limit: 512 MBSubmit: 3336  Solved: 978[Submit][Status] ...

随机推荐

  1. XML注释与Description标签及Java:注解(Annotation)的关系

    NET中的规范标准注释(一) -- XML注释标签讲解 一.摘要 .Net允许开发人员在源代码中插入XML注释,这在多人协作开发的时候显得特别有用. C#解析器可以把代码文件中的这些XML标记提取出来 ...

  2. nat123安装启动教程帮助

    转自:http://www.nat123.com/Pages_17_291.jsp 本文就nat123安装启动可能遇到的问题及与安全狗影响处理. 下载安装nat123客户端安装包.第一次安装使用,可选 ...

  3. iis7+的虚拟目录:未能加载程序集“**”。请确保在访问该页之前已经编译了此程序集

    在使用win8系统后,突然想运行iis,于是在windows组件中启用iis,并aspnet_regiis.exe -i注册iis后,于是开始发布了一个站点,一切正常 继而,在该站点下添加虚拟目录,然 ...

  4. jquery slideDown效果

    <!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8&quo ...

  5. (转)Mac下MySql安装经历(含安装错误排查、卸载多种折腾)

    在安装mysql的时候,活活折腾我两天.结果终于被我折腾成功了……一开始我就放了个错误:我下了32位版本的mysql:mysql-5.5.8-osx10.6-x86.dmg 须知在mac下装的是64位 ...

  6. Android输入法部分遮挡UI的问题(与EditText框相切)

    首先,我们来看看遇到问题的图片 遇到的问题是,当点击输入框之后,输入法会切到红线的位置,理想状态应该是在绿线位置 那么,是什么原因造成的呢? 问题其实很简单,是因为drawableleft图片比该输入 ...

  7. 如何查询centos、Debian服务器、查看系统内核版本,系统版本,32位还是64位

    查看centos内核的版本: 1)[root@localhost ~]# cat /proc/version Linux version 2.6.18-194.el5 (mockbuild@build ...

  8. 面试题:JVM类加载机制详解(一)JVM类加载过程 背1

    首先Throws(抛出)几个自己学习过程中一直疑惑的问题: 1.什么是类加载?什么时候进行类加载? 2.什么是类初始化?什么时候进行类初始化? 3.什么时候会为变量分配内存? 4.什么时候会为变量赋默 ...

  9. pip镜像源配置

    #配置文件路径:%HOME%\pip\pip.ini,不存在新建即可 #在 Windows 2000 以上版本里,%HOME% 目录指的是系统盘下的“\Documents and Settings\你 ...

  10. PHP+SOCKET 模拟HTTP请求

    HTTP消息结构 客户端请求包括四部份:请求行(状态行).请求头.空行.请求主体(数据),如下图: 服务端响应包括四部份:响应行(状态行).响应头.空行.响应主体(数据),如图: HTTP请求方法: ...