红黑树的一些理解

红黑树规则

1. 结点是红色或黑色
2. 根结点是黑色
3. 每个叶子结点都是黑色的空结点（NIL结点）
4. 每个红色结点的两个子结点都是黑色(从每个叶子到根的所有路径上不能有两个连续的红色结点)
5. 从任一结点到其每个叶子的所有路径都包含相同数目的黑色结点

红黑树插入节点(插入后需要进行平衡)

• 插入红黑树时将插入的节点设置为红色

• 插入时红黑树为空树，则直接把插入结点作为根结点就行，并把插入结点设为黑色。

• 若插入结点的Key已存在，既然红黑树总保持平衡，在插入前红黑树已经是平衡的，那么把插入结点设置为将要替代结点的颜色，再把结点的值更新就完成插入。

• 插入节点的父节点为黑色，而插入的结点是红色的，当插入结点的黑色时，并不会影响红黑树的平衡，直接插入即可，无需做自平衡。

• 插入节点的叔叔节点存在，且为红色，说明祖父节点一定为黑色，则只需要设置祖父节点为红色，父节点和叔叔节点为黑色即可(即重新染色)，若PP为根节点，则需染为黑色
  
  
  插入节点的父节点为红色，此时祖父节点为黑色，则可以分为以下几种情况：

• (L-L)当插入节点为父节点的左孩子，父节点也为祖父节点的左孩子
  
  

• (L-R)当插入节点为父节点的右孩子，父节点为祖父节点的左孩子
  
  

• (R-L)当插入节点为父节点的左孩子，父节点为祖父节点的右孩子
  
  

• (R-R)当插入节点为父节点的右孩子，父节点为祖父节点的右孩子，情况同(L-L)

红黑树删除节点(利用替换来进行删除)

1. 进行删除的节点无子节点，且该节点为红色节点，不影响平衡，直接删去
2. 进行删除的节点子节点唯一，此时将唯一的节点(该节点为红色)替换掉要删除的节点即可，并将其子节点染为替换节点的颜色即可，如下图删除9这个节点：
   
   
3. 进行删除节点有两个孩子节点(设为temp)(删除调整的三板斧)

• temp节点的兄弟节点为红色节点，如图所示

  解决方法：将temp的兄弟节点染黑，temp的父亲节点染红，进行左旋(视情况左右旋)，然后通过父节点进行调节
  

• temp节点的兄弟节点为黑色节点，却有任一子节点为红色，如图所示

1. 左孩子为红，右孩子为黑
   解决方法：temp_brother->left是红色，那么我们就将其涂黑，然后将temp_brother染红，再对temp_brother进行右旋，得到下面的情况

2. 左孩子为黑，右孩子为红

   解决方法：调换temp->p和temp_brother的颜色，并将temp->brother涂黑，再进行一次左旋(上面情况转换后应用此种方案解决。使子树平衡)
   

• temp节点的兄弟节点为黑色节点，且子节点均为黑色，如图所示

  解决方法：将temp_brother涂红，root结点到temp->parent为根子树的每个叶子结点的路径将比其他路径少的黑结点数目少1，若temp为红结点，将其涂黑即可成功修复二叉树；若temp为黑结点，将temp->parent设为temp，即进入下一轮循环，如果连续出现的是相同情况，其结果就相当于最后在除root到最初的temp结点的每条路径上减少一个黑色结点，直到temp为root结点，结束循环。
  

总结：

1. 所有子树平衡会使得整棵树得到平衡，即红黑树关注的是局部的平衡
2. 能够自我平衡的(红色节点)不用旋转
3. 先通过兄弟节点的帮助(如兄弟节点为红色，或子侄节点有任一为红色节点)，实在不行再找父节点，自底向上

红黑树左右旋转

左旋操作:

         a                  x
        / \                / \              
       b   x      ->      a   d
          / \            / \ 
         c   d          b   c
                          
                      

右旋操作:

    x                     a
   / \                   / \
  a   d        ->       b   x
 / \                       / \
b   c                     c   d