【学习笔记】笛卡尔树

合集 - 学习笔记(42)

1.【学习笔记】Kruskal 重构树2022-11-252.【学习笔记】网络流2022-12-153.【学习笔记】高级数据结构2022-12-214.【学习笔记】线性基2022-12-275.【学习笔记】Link Cut Tree2022-12-286.【学习笔记】字符串后缀算法2022-12-307.【学习笔记】字符串回文算法2023-01-128.【学习笔记】组合数学2023-01-279.【学习笔记】多项式 1：基础操作2023-01-3010.【学习笔记】多项式 2：集合幂级数2023-02-0311.【学习笔记】多项式 3：多项式运算2023-02-1112.【学习笔记】Prufer 序列2023-02-1513.【学习笔记】多项式 4：生成函数2023-02-1514.【学习笔记】DP 套 DP2023-02-1915.【学习笔记】图的连通性2023-02-2216.【学习笔记】差分约束2023-03-2017.【学习笔记】长链剖分2023-04-2218.【学习笔记】2-SAT2023-04-2319.【学习笔记】根号算法2023-06-0620.【学习笔记】Primal-Dual 原始对偶算法2023-06-1521.【学习笔记】Bostan-Mori 算法2023-07-0222.【学习笔记】狄利克雷卷积与高级筛法2023-07-0323.【学习笔记】DP 优化 1：基础优化2023-07-0324.【学习笔记】DP 优化 2：动态 DP2023-07-0425.【学习笔记】李超线段树2023-07-0926.【学习笔记】优化建图2023-07-1127.【学习笔记】Segment Tree Beats2023-07-1128.【学习笔记】插头 DP2023-07-1329.【学习笔记】任意模数多项式乘法2023-07-1630.【学习笔记】SG 函数与 SG 定理2023-08-0531.【学习笔记】类欧几里得算法2023-08-0632.【学习笔记】狄利克雷前/后缀和/差分2023-08-1133.【学习笔记】DSU on Tree2023-08-2234.【学习笔记】DP 优化 3：闵可夫斯基和优化 DP2023-09-01

35.【学习笔记】笛卡尔树2023-09-05

36.【学习笔记】Miller-Rabin 算法2023-10-2437.【学习笔记】DP 优化 4：决策单调性2023-11-1538.【学习笔记】DP 优化 5：wqs 二分优化 DP2023-12-0439.【学习笔记】边分治2023-12-2840.【学习笔记】KMP 相关算法2024-01-1041.【学习笔记】概率生成函数2024-01-1142.【学习笔记】离散对数和剩余2024-01-25

收起

概述#

有若干二元组 $(k,w)$，笛卡尔树要求关于 $k$ 满足二叉搜索树的性质，关于 $w$ 满足堆的性质。

构建#

以要求 $w$ 满足小根堆为例，使用单调栈维护当前的右链。

现将所有二元组按 $k$ 升序排序，每次插入一个元素时不断弹栈找到第一个小于 $w$ 的节点，并将当前节点作为其右儿子，将弹掉的部分作为当前节点的左子树右链。

for(int i=1;i<=n;++i){
    int now=top;
    while(now&&p[st[now]]>p[i]) --now;
    if(now) ch[st[now]][1]=i;
    if(now!=top) ch[i][0]=st[now+1];
    top=now;
    st[++top]=i;
}

这种构建方法可以线性建出 Treap 来减小常数。

应用#

由于左右子树独立且跨过根的区间最值一定是根，可以用来解决一系列最值问题。

（之前不会笛卡尔树，SA 建这样的结构都是对 $height$ 建 Kruskal 重构树）

例题#

HDU-6305 RMQ Similar Sequence#

要求两序列笛卡尔树同构。

实数域内随机出两个数相等概率为 $0$，直接看作离散化后的排列，而随机出的每个数期望大小 $\frac{1}{2}$，因此每个序列期望和为 $\frac{n}{2}$，只需求出有多少合法排列，每个子树内根节点是最小值的概率是 $\frac{1}{siz}$，累乘即可。

Luogu-P6453 COCI 2008-2009#4 PERIODNI#

发现最小值两侧的高处不受限制。

建出高度随深度递增的笛卡尔树，考虑 DP，设 $f_{u,k}$ 表示 $u$ 子树内放置 $k$ 个棋子，且位置全部高于 $h_{fa_u}$ 的方案数。

转移枚举 $k_1,k_2,k_3$ 表示分别有 $k_1,k_2$ 个棋子来自左右子树且位置全部高于 $h_u$，有 $k_3$ 个棋子放置在 $(h_{fa_u},h_u]$ 之间，转移方程：

$$f_{u,k_1+k_2+k_3}\leftarrow f_{ch_{u,0},k_1}\times f_{ch_{u,1},k_2}\times \dbinom{siz_u-k_1-k_2}{k_3}\dbinom{h_u-h_{fa_u}}{k_3}k_3!$$

HDU-4125 Moles#

使 $a_i$ 满足二叉搜索树，$i$ 满足小跟堆，建出笛卡尔树。求解使用 KMP 与括号序匹配。

HDU-6854 Kcats#

观察发现单调栈大小等价于笛卡尔树到根路径上经过右儿子的个数加 $1$，因此如果已知 $a$ 序列，那么根应当在 $1$ 出现的最后一个位置，左子树递归找 $1$ 出现的最后一个位置，右子树递归找 $2$ 出现的最后一个位置。

建出树后 DP 过程是：

$$f_u=f_{ch_{u,0}}\times f_{ch_{u,1}}\times \dbinom{siz_u-1}{siz_{ch_{u,0}}}$$

对于一些 $a_i$ 未知的情况，考虑一个区间 DP，设 $g_{l,r,k}$ 表示区间 $[l,r]$ 构成子树，且根的 $a$ 值为 $k$，转移即：

$$g_{l,r,k}=\sum_{i=l}^r g_{l,i-1,k}\times g_{i+1,r,k+1}\times \dbinom{r-l}{i-l}$$

参考资料#

• OI Wiki