开心

摘要： 红黑树是AVL树的变种，具体定义如下：红黑树也是一棵二叉查找树，要满足一下性质（1）每个节点或者是黑色，或者是红色。（2）根节点是黑色。（3）每个叶子节点（NIL）是黑色。（4）如果一个节点是红色的，则它的子节点必须是黑色的。（5）从一个节点到该节点的子孙节点的所有路径上包含相同数目的黑节点。定义：从某个节点x出发（不包括该节点）到达一个叶节点的任意一条路径上，黑色节点的个数称为该节点的黑高度，记为bh(x)红黑树的黑高度定义为bh(root).定理：一棵含有n个节点的红黑树的高度至多为2log(n+1).反着证明这个结论：对于高度为h的红黑树，它的包含的内节点个数至少为 2^{h/2}-1个 阅读全文