标签：结点 黑色 包含 黑高 bh RBTree 红黑树

红黑树性质

红黑树是一棵二叉搜索树，它在每个结点上增加了一个存储位用来表示结点颜色，可以是Red或者Black。通过对任意一条从根到叶子的简单路径上各个结点颜色的约束，红黑树可以确保没有一条路径会比其它路径长出2倍，因而是近似于平衡的。
红黑树满足下面的性质：

1. 每个结点要么是红色的，要么是黑色的。
2. 根结点是黑色的。
3. 每个叶结点（NIL）是黑色的。
4. 如果一个结点是红色的，那么它的两个子结点都是黑色的。
5. 对每个结点，从该结点开始到其所有后代叶结点的简单路径上，包含的黑色结点的数目相同。

树高

定义：从某个结点\(x\)出发（不包含该结点），达到其后代叶节点的简单路径上包含的黑色结点的数目为黑高（black-height），记为\(bh(x)\)，由性质5可知这一定义是明确的。
引理：一棵有n个内部结点（不包含NIL叶结点）的红黑树的高度至多为\(2lg(n+1)\)。
证明： 先证明以\(x\)为根的子树中至少包含\(2^{bh(x)}-1\)个内部结点。这里采用归纳法证明。
当\(x\)的高度为0时，\(x\)是叶结点，黑高\(bh(x)=0\)，所以至少包含\(2^0-1=0\)个内部结点，满足条件。
当\(x\)的高度大于0时，\(x\)的两个子结点的黑高要么为\(bh(x)\)，要么为\(bh(x)-1\)，取决于子结点是红色还是黑色，所以以\(x\)为根的子树至少包含\((2^{bh(x)-1}-1)+(2^{bh(x)-1}-1)+1=2^{bh(x)}-1\)个内部结点。
所以以\(x\)为根的子树中至少包含\(2^{bh(x)}-1\)个内部结点。
为了完成引理的证明，设\(h\)为树的高度，由性质4可知黑高至少为\(\frac{h}{2}\)，于是有：

\[n\ge 2^{\frac{h}{2}}-1 \]

推出

\[h\le 2lg(n+1) \]

即得证

标签：结点,黑色,包含,黑高,bh,RBTree,红黑树
来源： https://www.cnblogs.com/HachikoT/p/14147072.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。