红黑树（删除）

1. 红黑树的性质
   1）、每个节点不是红就是黑
   2）、根节点是黑
   3）、每个叶节点是黑
   4）、如果一个节点是红，则它的2个儿子是黑
   5）、对于每个节点，该节点到其子孙叶子节点的所有路径包含相同数目的黑节点。

2. 牢记红黑树的性质

3. 删除
   1）找到待删节点Z的后继y，将y的值拷贝给Z，再删除y

   2）如果y是红色节点，那么直接删除，不会破坏任何性质。理由如下：
   a、树中各节点黑高度不变
   b、不存在两个相邻的红色节点
   c、因为y是红色，所以y不可能是根，所以根还是黑色

   3）如果y是黑色节点，那么删除必定会影响黑高，所以需要作出调整。传递给fixup(x)函数的参数x是y的子节点。y只有一个孩子或者没有孩子（即只有哨兵）

4. 调整Fixup(x)
   1）y是黑色节点，删除之后，会导致3个问题
   a)、 y如果是根节点，则y的一个红色孩子就成了新根。违反性质2
   b）、如果x和p[y]都是红色，就违反性质4
   c）、删除y导致先前包含y的所有路径黑节点数少1。违反性质5
   我们先对第三个问题补救，把节点x视为还有1重黑色，即对所有包含x节点的路径黑节点数加1。那么第三个问题就被解决了。当将黑色节点y删除后，将其黑色“下推”到其子节点。但是又带来一个新问题，子节点x变为双重黑色或者红黑，编写程序时，并不是指x的color域变成“双黑”“红黑”，x的color不会变化，只不过是一个节点额外的黑反映x指向它。
   2）、上面已经解决了第三个问题，现在再来处理其它的问题。
   我们将额外的黑色向上移动，直到：
   a)、x指向一个红黑节点，那么直接将x的color变成黑色（所以下面所有情况x肯定是黑色，如果是红色直接变黑就行了）
   b)、x指向根，则可以简单的消除这个额外的黑色。
   在x没有指向红黑节点或者根之前，它是一直指向黑黑节点的。下面我们就会探讨x是p[x]的做孩子各种情况（x是p[x]右孩子差不多）。
   case1：x的兄弟w是红色的。
   因为x的兄弟是红色，所以x的父亲是黑色
   因为x的兄弟是红色，所以w的孩子肯定是黑色（且2个孩子）
   我们可以改变w和p[x]的颜色，再对p[x]做一次左旋，红黑性质仍然保持。
   
   x仍然是双黑，这一步的目的是将case1变成其他3种情况。显然这时候x的兄弟变成黑色的了，就变成了其他3种情况。

case2：x的兄弟w是黑色的，而且w的两个孩子都是黑色
x是双重黑，w是黑色，我们可以同时抹去x的一重黑，以及w的黑色，那么x就不是双重黑（满足我们要求了），但是少了一层黑以后，肯定会导致性质5的破坏（因为不是整体少了一层，仅仅是以p[x]为根的子树少了一层），我们便在原来是红色或黑色的p[x]内新增一重额外黑色。通过以p[x]为新节点x来重复迭代。注意：如果是由case1进入case2，则新节点x是红黑色（因为原x的p[x]是红色，新节点x就是原来的p[x]），那么只要将新节点x的color变为黑色，就行了。(灰色代表颜色不确定)

case3：x的兄弟w是黑色的，w的左孩子是红色，右孩子是黑色的。
w是黑色，w的左孩子是红色，右孩子是黑色。可以交换w和left[w]的颜色，并对w进行右旋。从而case3变成case4了。

case4：x的兄弟w是黑色的，w的右孩子是红色

结果满足所有性质