摘要：
1.红黑树性质证明：从根到任意叶子的路径中，没有一条路径会比任何其他路径长到两倍红黑树是一个自平衡查找二叉树，每个节点都由颜色标识（红或黑）， 具有如下性质：每个节点火或是红或是黑每个叶子节点是黑的如果一个节点是红的，则它如果有子节点则全是黑的从某一个节点到达其子孙节点的每一条简单路径上包含相同个数的黑节点根节点是黑色证明： 根到任一个叶子的最短可能的路径上全是黑节点， 而最长路径根据性质3最坏的情况就是红黑节点交替，而又根据性质4 最长和最短路径上的黑节点数目相同，则最长路径的长度应小于或等于最短路径的2倍引理：定义：从某个节点x出发（不包括该节点）到达一个叶节点的任意一条路径上，黑色节点的 阅读全文
