标签：包含 otto ret http etc src 主席树 简单 输出
如题，给定N个整数构成的序列，将对于指定的闭区间查询其区间内的第K小值。
输入格式：
第一行包含两个正整数N、M，分别表示序列的长度和查询的个数。
第二行包含N个整数，表示这个序列各项的数字。
接下来M行每行包含三个整数l, r, kl,r,k , 表示查询区间[l, r][l,r]内的第k小值。
输出格式：
输出包含k行，每行1个整数，依次表示每一次查询的结果
于是针对这个问题，新的数据结构诞生了，也就是主席树。
主席树本名可持久化线段树，也就是说，主席树是基于线段树发展而来的一种数据结构。其前缀”可持久化”意在给线段树增加一些历史点来维护历史数据，使得我们能在较短时间内查询历史数据，图示如下。
图中的橙色节点为历史节点，其右边多出来的节点是新节点（修改节点）。
下面我们来讲怎么构建这个数据结构。
不同于普通线段树的是主席树的左右子树节点编号并不能够用计算得到，所以我们需要记录下来，但是对应的区间还是没问题的。
//节点o表示区间[l,r]，修改点为p，修改值根据题意设定（此处我们先不谈题目，只谈数据结构） int modify(int o, int l, int r, int p) { int oo = ++node_cnt; lc[oo] = lc[o]; rc[oo] = rc[o]; sum[oo] = sum[o] + 1;//新节点，这里是根据模板题来的 if(l == r)//递归底层返回新节点编号，修改父节点的儿子指向 { //sum[oo] = t;如果题目要求sum是加t的再这样弄，然后上面的+1就去掉 return oo; } int mid = (l + r) >> 1; if(p <= mid) lc[oo] = modify(lc[oo], l, mid); else rc[oo] = modify(rc[oo], mid+1, r); //sum[oo] = sum[lc[oo]] + sum[rc[oo]];在该题中，不需要这样做，但是很多情况下是要这样更新的 return oo; }
至于主席树的区间修改，其实也不难，但是复杂度有点高，简单点的题目一般只有点修改，有时候区间修改可以转化为点修改（比如NOIP2012借教室，有区间修改的解法也有点修改的解法）。
int ql, qr;//查询区间[l,r] int query(int o, int l, int r)//节点o代表区间[l,r] { int ans = 0, mid = ((l + r) >> 1); if(!o) return 0;//不存在的子树 if(ql <= l && r <= qr) return sum[o];//区间包含返回区间值 //都是线段树标准操作，只不过是左右子树多了一个记录而已 if(ql <= mid) ans += query(lc[o], l, mid); if(qr > mid) ans += query(rc[o], mid+1, r); return ans; //点操作就不用说了 }
如果只按照上述做法去做的话，每次修改的时间复杂度是O(lgn)O(lgn)，每次询问的复杂度也是O(lgn)O(lgn)。
标签：包含 otto ret http etc src 主席树 简单 输出
原文地址：https://www.cnblogs.com/-Wind-/p/10339452.html
