0x01 介绍
笛卡尔树是一种特定的二叉树,可由数列数列构造,在范围最值查询、范围top k查询(range top k queries)等问题上有广泛应用。它具有堆的有序性,中序遍历可以输出原数列。笛卡尔树结构由Vuillmin(1980)在解决范围搜索的几何数据结构问题时提出。从数列中构造一棵笛卡尔树可以线性时间完成,需要采用基于栈的算法来找到在该数列中的所有最近小数。
笛卡尔树每一个结点由一个键值二元组 ( k , v ) (k,v) (k,v)构成。要求 k k k满足二叉搜索树的性质,而 v v v满足堆的性质。如图:
![](https://i-blog.csdnimg.cn/blog_migrate/12008fa2fee51ed3713ee5c9c659df18.png)
上面这棵笛卡尔树相当于把数组元素值当作键值 v v v,而把数组下标当作键值 k k k。显然可以发现,这棵树的键值 k k k满足二叉搜索树的性质,而键值 v v v满足小根堆的性质。
其实图中的笛卡尔树是一种特殊的情况,因为二元组的键值 k k k恰好对应数组下标,这种特殊的笛卡尔树有一个性质,就是一棵子树内的下标是连续的一个区间(这样才能满足二叉搜索树的性质)。更一般的情况则是任意二元组构建的笛卡尔树。
0x02 构建
我们考虑将元素按照键值 k k k排序,然后一个一个插入到当前的笛卡尔树中。那么每次我们插入的元素必然在这个树的右链(右链:即从根结点一直往右子树走,经过的结点形成的链)的末端。这里采用单调栈(单调递增栈)构建笛卡尔树,栈中维护当前笛卡尔树的右链上的结点。
int st[N], ls[N], rs[N], n, A[N];// ls代表笛卡尔树每个节点的左孩子,rs代表笛卡尔树每个节点的右孩子
int top = 0;
for (int i = 1; i <= n; ++i)
{
while (top && A[st[top]] > A[i]) ls[i] = st[top--]; //栈顶元素为当前元素的左孩子
if (top) rs[st[top]] = i; //当前元素为栈顶元素的右孩子
st[++top] = i;
}
reference:
https://zh.wikipedia.org/wiki/笛卡尔树
https://oi-wiki.org/ds/cartesian-tree/
如有问题,希望大家指出!!!