笛卡尔树（超详细！！！）

最新推荐文章于 2025-02-13 22:02:50 发布

coordinate_blog

最新推荐文章于 2025-02-13 22:02:50 发布

阅读量1.2w

点赞数 10

分类专栏： Data Structures and Algorithms 文章标签：笛卡尔树数据结构

本文链接：https://blog.csdn.net/qq_17550379/article/details/104302314

版权

Data Structures and Algorithms 专栏收录该内容

19 篇文章

订阅专栏

0x01 介绍

笛卡尔树是一种特定的二叉树，可由数列数列构造，在范围最值查询、范围top k查询（range top k queries）等问题上有广泛应用。它具有堆的有序性，中序遍历可以输出原数列。笛卡尔树结构由Vuillmin(1980)在解决范围搜索的几何数据结构问题时提出。从数列中构造一棵笛卡尔树可以线性时间完成，需要采用基于栈的算法来找到在该数列中的所有最近小数。

笛卡尔树每一个结点由一个键值二元组 $(k, v)$ 构成。要求 $k$ 满足二叉搜索树的性质，而 $v$ 满足堆的性质。如图：

上面这棵笛卡尔树相当于把数组元素值当作键值 $v$ ，而把数组下标当作键值 $k$ 。显然可以发现，这棵树的键值 $k$ 满足二叉搜索树的性质，而键值 $v$ 满足小根堆的性质。

其实图中的笛卡尔树是一种特殊的情况，因为二元组的键值 $k$ 恰好对应数组下标，这种特殊的笛卡尔树有一个性质，就是一棵子树内的下标是连续的一个区间（这样才能满足二叉搜索树的性质）。更一般的情况则是任意二元组构建的笛卡尔树。

0x02 构建

我们考虑将元素按照键值 $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;
}