平衡二叉树-红黑树

      如果要对一个二叉搜索树进行不断的插入和删除，很可能会导致这个树的平衡性，最坏的情况是变成一个链表。此时根据一些控制条件来控制这个树改成平衡的二叉树。但这个控制条件是非常难寻得。在这里红黑树，帮我们解决了这个问题。

 

      红黑树是继承了查找树，且树节点结构相应的也增加了一项，就是color。

 

      性质：

               1，每个节点都是红的，或是黑的。

               2，根节点是黑的。

               3，每个（NIL）是黑的。（这里的NIL相对应的是真正叶子节点的孩子）

             *4，如果一个节点是红的，则它两个儿子都是黑的。

             *5，对每个节点，从该节点到其子孙节点的所有路径上包含相同数目的黑节点。

 

      黑高度： 从任何一个节点，从该节点向下到底部的路径中，包含黑节点的个数称为黑高度。

      从性质5，可以看出一个节点到其子孙节点的黑高度是相同的。红黑树的黑高度定义为从根节点开始的黑高度。 

 

      既然把红黑树说成平衡的，那它就应满足：

            “任何两条从根部到树叶的路径节点个数相差不超过２倍”

      证明：设红黑树的黑高度为 bh. 左路径的节点个树为 ln, 右路径的节点个树为 rn

              (反证)：假设任何两条从根部到树叶的路径节点个数相差超过２倍

                          则

                                    ln > 2*rn

                          设路径中黑节点个数为 b, 红节点个数为 r

                               (lb + lr) > 2*(rb + rr)

                          因 性质5得出 lb = rb

                          所以

                                    lr > rb + 2*rr  ==> lr > rb ==> lr > lb

                          这样 就可能会出现两个以上相连的红节点  与性质4矛盾。

                证毕。

 

       引理：一颗有n个内节点的红黑树的高度之多为2lg(n+1)

 

 

 代码随后会奉上。