Loading docs/ds/persistent-seg.md +23 −23 Original line number Diff line number Diff line # 可持久化线段树/主席树 面对眼前的区间第 k 小问题，你该何从下手？ 面对眼前的区间第 $k$ 小问题，你该何从下手？ 一种可行的方案是：使用可持久化线段树/主席树。 主席树的主要思想就是：保存每次插入操作时的历史版本，以便查询区间第 k 小。 主席树的主要思想就是：保存每次插入操作时的历史版本，以便查询区间第 $k$ 小。 怎么保存呢？简单暴力一点，每次开一棵线段树呗。 那空间还不爆掉？ 那么我们分析一下，发现每次修改操作修改的点的个数是一样的。 （例如下图，修改了 [1,8] 中对应权值为1的结点，红色的点即为更改的点） （例如下图，修改了 $[1,8]$ 中对应权值为1的结点，红色的点即为更改的点）  只更改了 O(log(n)) 个结点，形成一条链，也就是说每次更改的结点数 = 树的高度。 注意主席树不能使用堆式存储法，就是说不能用 x×2,x×2+1 来表示左右儿子，而是应该动态开点，并保存每个节点的左右儿子编号。 只更改了 $O(log(n))$ 个结点，形成一条链，也就是说每次更改的结点数 = 树的高度。 注意主席树不能使用堆式存储法，就是说不能用 $x\times 2$ , $x\times 2+1$ 来表示左右儿子，而是应该动态开点，并保存每个节点的左右儿子编号。 所以我们只要在记录左右儿子的基础上存一下插入每个数的时候的根节点就可以持久化辣。 我们把问题简化一下：每次求 [1,r] 区间内的 k 小值。 我们把问题简化一下：每次求 $[1,r]$ 区间内的 $k$ 小值。 怎么做呢？只需要找到插入r时的根节点版本，然后用普通权值线段树（有的叫键值线段树/值域线段树）做就行了。 那么这个相信大家很简单都能理解，把问题扩展到原问题——求 [l,r] 区间 k 小值。 那么这个相信大家很简单都能理解，把问题扩展到原问题——求 $[l,r]$ 区间 $k$ 小值。 这里我们再联系另外一个知识理解：**前缀和**。 这个小东西巧妙运用了区间减法的性质，通过预处理从而达到 O(1) 回答每个询问。 这个小东西巧妙运用了区间减法的性质，通过预处理从而达到 $O(1)$ 回答每个询问。 那么我们阔以发现，主席树统计的信息也满足这个性质。 所以……如果需要得到 [l,r] 的统计信息，只需要用 [1,r] 的信息减去 [1,l - 1] 的信息就行了。 所以……如果需要得到 $[l,r]$ 的统计信息，只需要用 $[1,r]$ 的信息减去 $[1,l - 1]$ 的信息就行了。 那么至此，该问题解决！（完结撒花） 关于空间问题，我们分析一下：由于我们是动态开点的，所以一棵线段树只会出现 2n-1 个结点。 然后，有 n 次修改，每次增加 log(n) 个结点。那么最坏情况结点数会达到 2n-1+nlog(n)，那么此题的 n ≤ 10^5，通过计算得到 log2(10^5)≈17。 那么把 n 和 log 的结果代入这个式子，变成 2×10^5-1+17×10^5$，忽略掉 -1，大概就是 19×10^5。 关于空间问题，我们分析一下：由于我们是动态开点的，所以一棵线段树只会出现 $2n-1$ 个结点。 然后，有 $n$ 次修改，每次增加 $\log(n)$ 个结点。那么最坏情况结点数会达到 $2n-1+n\log(n)$ ，那么此题的 $n \leq 10^5$ ，通过计算得到 $\log_2(10^5)\approx 17$ 。 那么把 $n$ 和 $\log$ 的结果代入这个式子，变成 $2\times 10^5-1+17\times 10^5$，忽略掉 $-1$ ，大概就是 $19\times 10^5$ 。 算了这么一大堆，I tell you: 千万不要吝啬空间！保守一点，直接上个 2^5×10^5，接近原空间的两倍（即`n << 5`）。 算了这么一大堆，I tell you: 千万不要吝啬空间！保守一点，直接上个 $2^5\times 10^5$，接近原空间的两倍（即`n << 5`）。 （较真的同学请注意，如果你真的很吝啬，可以自己造个数据输出一下结点数量，但是如果数据没造好把自己卡掉了就~~尴尬了~~赖你了） 代码： Loading Loading
docs/ds/persistent-seg.md +23 −23 Original line number Diff line number Diff line # 可持久化线段树/主席树 面对眼前的区间第 k 小问题，你该何从下手？ 面对眼前的区间第 $k$ 小问题，你该何从下手？ 一种可行的方案是：使用可持久化线段树/主席树。 主席树的主要思想就是：保存每次插入操作时的历史版本，以便查询区间第 k 小。 主席树的主要思想就是：保存每次插入操作时的历史版本，以便查询区间第 $k$ 小。 怎么保存呢？简单暴力一点，每次开一棵线段树呗。 那空间还不爆掉？ 那么我们分析一下，发现每次修改操作修改的点的个数是一样的。 （例如下图，修改了 [1,8] 中对应权值为1的结点，红色的点即为更改的点） （例如下图，修改了 $[1,8]$ 中对应权值为1的结点，红色的点即为更改的点）  只更改了 O(log(n)) 个结点，形成一条链，也就是说每次更改的结点数 = 树的高度。 注意主席树不能使用堆式存储法，就是说不能用 x×2,x×2+1 来表示左右儿子，而是应该动态开点，并保存每个节点的左右儿子编号。 只更改了 $O(log(n))$ 个结点，形成一条链，也就是说每次更改的结点数 = 树的高度。 注意主席树不能使用堆式存储法，就是说不能用 $x\times 2$ , $x\times 2+1$ 来表示左右儿子，而是应该动态开点，并保存每个节点的左右儿子编号。 所以我们只要在记录左右儿子的基础上存一下插入每个数的时候的根节点就可以持久化辣。 我们把问题简化一下：每次求 [1,r] 区间内的 k 小值。 我们把问题简化一下：每次求 $[1,r]$ 区间内的 $k$ 小值。 怎么做呢？只需要找到插入r时的根节点版本，然后用普通权值线段树（有的叫键值线段树/值域线段树）做就行了。 那么这个相信大家很简单都能理解，把问题扩展到原问题——求 [l,r] 区间 k 小值。 那么这个相信大家很简单都能理解，把问题扩展到原问题——求 $[l,r]$ 区间 $k$ 小值。 这里我们再联系另外一个知识理解：**前缀和**。 这个小东西巧妙运用了区间减法的性质，通过预处理从而达到 O(1) 回答每个询问。 这个小东西巧妙运用了区间减法的性质，通过预处理从而达到 $O(1)$ 回答每个询问。 那么我们阔以发现，主席树统计的信息也满足这个性质。 所以……如果需要得到 [l,r] 的统计信息，只需要用 [1,r] 的信息减去 [1,l - 1] 的信息就行了。 所以……如果需要得到 $[l,r]$ 的统计信息，只需要用 $[1,r]$ 的信息减去 $[1,l - 1]$ 的信息就行了。 那么至此，该问题解决！（完结撒花） 关于空间问题，我们分析一下：由于我们是动态开点的，所以一棵线段树只会出现 2n-1 个结点。 然后，有 n 次修改，每次增加 log(n) 个结点。那么最坏情况结点数会达到 2n-1+nlog(n)，那么此题的 n ≤ 10^5，通过计算得到 log2(10^5)≈17。 那么把 n 和 log 的结果代入这个式子，变成 2×10^5-1+17×10^5$，忽略掉 -1，大概就是 19×10^5。 关于空间问题，我们分析一下：由于我们是动态开点的，所以一棵线段树只会出现 $2n-1$ 个结点。 然后，有 $n$ 次修改，每次增加 $\log(n)$ 个结点。那么最坏情况结点数会达到 $2n-1+n\log(n)$ ，那么此题的 $n \leq 10^5$ ，通过计算得到 $\log_2(10^5)\approx 17$ 。 那么把 $n$ 和 $\log$ 的结果代入这个式子，变成 $2\times 10^5-1+17\times 10^5$，忽略掉 $-1$ ，大概就是 $19\times 10^5$ 。 算了这么一大堆，I tell you: 千万不要吝啬空间！保守一点，直接上个 2^5×10^5，接近原空间的两倍（即`n << 5`）。 算了这么一大堆，I tell you: 千万不要吝啬空间！保守一点，直接上个 $2^5\times 10^5$，接近原空间的两倍（即`n << 5`）。 （较真的同学请注意，如果你真的很吝啬，可以自己造个数据输出一下结点数量，但是如果数据没造好把自己卡掉了就~~尴尬了~~赖你了） 代码： Loading
