概述
有若干二元组 \((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 COCI2008-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