1.红黑树的根是黑的
2.所有外部节点[NIL]都是黑的
3.其余节点若为红则只能有黑孩子//红节点的儿子和父亲都是黑色的
4.外部节点到根途经的黑节点数目相等//黑深度
外部节点是一类本不存在的节点 引入是为了方便分析和实现
红黑树的局部结构无非四种
总是假设插入的节点是红色 除非是根
1.双红缺陷
情况1：叔父节点是黑色
情况2：叔父节点是红色
删除
情况1：要删除的是红节点 红节点对黑高没有影响 或者删除的点是黑节点 但它至少有一个红儿子//x和它的儿子至少有一个是红的
双黑缺陷：x和它的儿子全是黑的 删除x后全树的黑深度不再统一
BB-1：x的兄弟节点s为黑 且s至少有一个红孩子t
s直接继承p的颜色
BB-2R：x的兄弟s为黑 且s的两个孩子均为黑;p为红
BB-2B:x的兄弟s为黑 且s的两个孩子均为黑;p为黑
s染红相当于做合并
BB-3：x的兄弟s是红色 其余讨论节点均为黑
经过一次zig 或 zag s变黑 p变红 则此时情况转变为 x拥有一个黑兄弟s'的情况
既然p已经转红 那么只可能出现BB-1和BB-2R 因此我们不会连续出现下溢
