左偏树
作者:互联网
左偏树是一种比较简洁易懂的可并堆。
一般来说堆都是用来实现优先队列问题,也就是维护一个集合 \(H\),支持:
-
\(\text{Insert}\) - 将一个元素 \(x\) 插入 \(H\)。
-
\(\text{Find-Min}\) - 求 \(H\) 中的最小元素。
-
\(\text{Delete-Min}\) - 从 \(H\) 中删除最小元素。
-
\(\text{Decrease-Key}\) - 降低 \(H\) 中某个指定元素的值。
-
\(\text{Meld}\) - 合并两个优先队列 \(H_1,H_2\)。
-
\(\text{Delete}\) - 从 \(H\) 中删除某个指定元素。
这里是以最小堆为例。
我们都知道 std::priority_queue
这个东西,它是以二叉堆来实现的,\(\text{Insert , Delete-Min , Decrease-Key}\) 都可以做到 \(O(\log n)\)。
二叉堆的时间复杂度是以树高来保证的,以维持其完全二叉树的形态来保证树高的 \(O(\log n)\)。
但是这玩意的局限性很大,难以做到较好的 \(\text{Meld}\)。
左偏树在这五个操作上都可以做到最坏 \(O(\log n)\) 的复杂度。
定义 & 性质
左偏树 \(T\) 是一棵二叉有序树。
任意一个节点 \(\alpha\in T\) 包含一个元素,为 \(val(\alpha)\)。
定义 "外节点" 为没有左儿子或右儿子的节点。
对于任意节点 \(\alpha\in T\),定义 \(dist(\alpha)\) 为 \(\alpha\) 到以 \(\alpha\) 为根的子树中距离其最近的外节点所经过的边数。
\(T\) 的 \(dist\) 定义为根节点的 \(dist\)。外节点的 \(dist\) 为 \(0\),空节点的 \(dist\) 为 \(-1\)。
性质 1. (堆性质)对于任意节点 \(\alpha\in T\),设其左右儿子为 \(\beta_1,\beta_2\),那么 \(val(\alpha)\leq val(\beta_1)\) 且 \(val(\alpha)\leq val(\beta_2)\)。
性质 2. (左偏性质)对于任意节点 \(\alpha\in T\),设其左右儿子为 \(\beta_1,\beta_2\),那么有 \(dist(\beta_1)\geq dist(\beta_2)\)。
引理 1. (左偏性质的推论)对于任意节点 \(\alpha\in T\),设其左右儿子为 \(\beta_1,\beta_2\),那么 \(dist(\alpha)=dist(\beta_2)+1\)。
引理 2. 一棵节点数为 \(n\) 的左偏树 \(T\) 的 \(dist=O(\log n)\)。
操作
\(\text{Meld}\)
合并两棵左偏树 \(T_1,T_2\)。
合并后的根为两者之中较小的根,
标签:dist,text,beta,alpha,节点,左偏 来源: https://www.cnblogs.com/yukari1735/p/15989060.html