左偏树是一种比较简洁易懂的可并堆。
一般来说堆都是用来实现优先队列问题，也就是维护一个集合 \(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
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。