二叉平衡搜索树-学一点红黑树！

上一篇介绍了二叉平衡搜索树- AVL树，这篇学习二叉平衡搜索树-红黑树
但是总体来说，两者的区别不太大，相对来讲，红黑树的实现比较简单，理论上来讲，由于红黑树是一个若弱平衡，理论上所以 AVL的查找略快一点（树高有关的），插入和删除较红黑略慢。

红黑树

特征

1. 二叉
2. “平衡” 的体现就是最长边的长度不会超过最短边的两倍，是一种弱平衡。
3. 搜索树

具体细节研究：

• 二叉树中结点都有颜色，红 or 黑 (只是为了做一个标记)
  

• 根一定是黑色的

• 叶子一定是黑色的 （注意区分这里的叶子） （也就是路径上 一头一尾得是黑色的 ）
  

• 红色结点不能和红色结点相邻 （红 - 黑 - 红）
  红色结点的parent 是黑色 （如果存在）
  红色结点的parent 是黑色 （如果存在）
  红色结点的parent 是黑色 （如果存在）

• 从根出发 ，到达所有叶子，看作路径 。要求保持路径上黑色结点的数量必须相等。

终极结论，如果满足上述条件最长边的长度至多是最短边的两倍

基本操作

插入

红黑树在插入过程中，有意识的破坏的只有红色不能和红色相邻的特征。

就是保证新插入的结点一律是红色

• 按照搜索树的规则进行插入
• 新插入的结点一定是红色（node）

  • 新结点就是根，可能破坏“根” 必须是黑色的特征，把根改为黑色

  • 新结点的parent 是黑色，保持了红黑树的规则，插入结束。

  • 可能破坏“红色不能相邻的特征” 即新节点的parent 是红色，那就进一步调整，怎么调？下面来说。
    

调整

由于出现了新插入的结点是红色，但是插入结点的父亲结点也是红色的，那么当前树的情况一定是下图中，有祖父结点，且必须是黑色的。不确定是否有uncle结点。

情况	状态
1	uncle结点存在，并且是红色的
2	uncle结点存在，并且是黑色的
3	uncle结点不存在

因此对于uncle结点进行讨论

1.uncle结点存在，并且是红色的

那么可以确定的是局部上的黑色结点的数量只能是1个，开始对局部做出调整。

• 直接将randparent 改成红色 parent和uncle 改为黑色的
  
  局部满足红黑树规则且黑色个数并没有发生变化，但是由于grandparent结点颜色的改变，可能导致grandparent和它自己的parent冲突，因此继续向上蔓延调整颜色。
• grandparent 看作cur
• grandparent.parent 看作是parent 继续上述的情况处理。

2.uncle结点存在，并且是黑色的

情况	状态
1	cur 和cur.parent 是一边的
2	cur 和cur.parent 不是一边的

讨论问题：当前的cur 到底是新插入的结点，还是由于调整cur所在的子树产生的情况？
结论：cur 不可能是新插入的结点。只可能是调整而来的情况
反证法：
因此cur的红色只可能是由于之前调整过，然后遗留下来的问题。

修复过程

• 将grandparent 右旋
• 然后parent 改为黑色 cur 和 grandparent 均改为红色即可。
  

cur 和 parent 不是一边的！
先对parent左旋 之后的情况和上述一样的！

3.uncle结点不存在

情况	状态
1	cur 和cur.parent 是一边的
2	cur 和cur.parent 不是一边的

1. 如果和parent是同一边的情况

2. cur 和 parent 不是一边的！

其实可以发现 uncle 存在是黑色的和uncle 不存在的调整是一样的。

插入总结（结合JDK 的TreeMap 源码 本质上就是用了红黑树）

1. 按照搜索树的方式进行插入（插入的结点一定是红色的）
   结合源码一起学习。
   
   

2. 检查新插入的父结点是否是红色

• parent 不是红色 或者parent 是根 --》 结束
• parent 是红色 继续调整

3. 一系列的辅助方法 源码里面有一个结点如果为空，那么就视为黑色，所以uncle 结点存在和不存在时一种情况
   

4. 插入的情况讨论

当前状态	如何调整
1. uncle存在 且是红色	parent 和uncle 改成 黑色 grandparent 改成 红色 之后 grandparent 看作cur 解决可能遗留的问题（如果grandparent 的 parent 是红色的，那么继续处理遗留问题 如果 grandparent 的parent 是黑色或者处理结束 grandparent 是根 那么怎么办？）
2. cur和parent 不是一边的	左旋parent 然后重新看待 cur 变成表格3的情况
3. cur 和parent 是一边的	右旋grandparent 然后grandparent 和cur 改成红色 parent 改成黑色

源码：

5. 最后一律把根的颜色改为黑色
   
   这里的逻辑就是为了避免出现以下的情况
   
   一个练习

使用场景

JDK TreeMap
Linux 内核使用
c++ map