标签：二叉树 不难 之间 根据 move class 调用 warning let
Q: 在已经有了AVL之类的BBST，为什么还需要引入红黑树？
A: 我们希望数据结构具有关联性，即相邻版本之间，比如说第一次插入，和第二次插入时，树的结构不能发生太大变化，
应该可以经过O（1）次数就可以变化完成。
对于AVL树来说，插入是满足这个条件的，删除却不满足这个条件。
红黑树就满足这一特性，插入和删除操作后的拓扑变化不会超过O(1)。
前提：给红黑树添加外部节点，保证为真二叉树
直观解释：
提升变换后(即每一个红色节点和它的父亲平齐)
所有底层节点处于同一水平高度。
红黑树就变换成一颗2-4树，我们将红黑树的每个黑色节点和提升后的红色节点（可能没有）看做B树的一个Super节点
红黑树就完全等价于一颗B树，而且可以看到的是，因为红黑树所有外部节点到根的经过的黑色数目相同，在B树中，则
更加能体现这一特征
比较重要的差别在于红黑树的高度叫做黑高度，即只计算黑色节点的高度
int updateHeight(BinNodePos(T))
{
//原来的高度计算方法，但现在只计算黑色节点x->height = max(x->lc->height, x->rc->height) + 1 ;
x->height = max(x->lc->height, x->rc->height);
if(IsBlack(x))
++x->height;
return x->height;
}tips 借助B树理解红黑树
理解：
在不失一般性的情况下插入一个新节点e，我们将其染为红色。目的是尽可能的满足红黑树的4条性质。可以看到
1，2，4都满足。但是3不一定。因此e的父亲可能是黑色可能是红色。如果是黑色，插入成功返回即可。如果是红色的话
此时我们就需要解决双红冲突的问题了。
前提：当新插入节点的e的父亲为红色时，其父亲必然不是根节点，且其祖父节点必然是黑色，否则其父节点也不可能是
红色。
此时我们观察其叔父节点
情形1：
当被删除节点的兄弟为黑色的时候{:.warning}
我们不难发现
node g
┌───┐
┌ ─ ─ ─│███│────┐
└───┘ │ node p
▼ ▼ ┌───┐
node p .─. node u┌───┐ ┌ ─ ─ ─│███│─ ─ ─ ─ ┐
┌ ─ ─ ─(red)─────┐ │███│ └───┘
`─‘ │ ├───┤ ▼ ▼
▼ ▼ │***│ node e .─. node g.─.
node e .─. ┌───┐ │***│ ───? ┌────(red)────┐ ┌─(red)──┐
┌────(red)────┐ │███│ │***│ │ `─‘ │ │ `─‘ │
│ `─‘ │ ├───┤ └───┘ ▼ ▼ ▼ node u ▼
▼ ▼ │***│ ┌───┐ ┌───┐ ┌───┐ ┌───┐
┌───┐ ┌───┐ │***│ │███│ │███│ │███│ │███│
│███│ │███│ │***│ ├───┤ ├───┤ ├───┤ ├───┤
├───┤ ├───┤ └───┘ │***│ │***│ │***│ │***│
│***│ │***│ ┌───────────────────┐ │***│ │***│ │***│ │***│
│***│ │***│ │ directRB change │ │***│ │***│ │***│ │***│
│***│ │***│ └───────────────────┘ └───┘ └───┘ └───┘ └───┘
└───┘ ║ └───┘ ▲
║ ║
║ ║
▼ ║
node e node p node g node e node p node g
.─. .─. ┌───┐ ┌─────────────────────┐ .─. ┌───┐ .─.
┌────(red│(red)││███│───┐ │ indirectBT change │ ┌────(red││███││(red)───┐
│ `─‘│ `─‘ │└───┘ │ └─────────────────────┘ │ `─‘│└───┘│ `─‘ │
│ │ │ │ ══════════════════? │ │ │ │
▼ ▼ ▼ node u▼ ▼ ▼ ▼ node u▼
┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐
│███│ │███│ │███│ │███│ │███│ │███│ │███│ │███│
├───┤ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘ └───┘ └───┘ └───┘
同理，对于zag-zig的情形处理类似依然使用简单的3+4重构方式处理就可以了，还有另外俩种对称形式类似。
node g
┌───┐ ┌───────────────────┐
─ ─ ─ ─ ─ ─│███│────┐ │ directRB change │
│ └───┘ │ └───────────────────┘ node e
▼ ▼ ┌───┐
node p node u┌───┐ ┌ ─ ─ ─│███│─ ─ ─ ─ ┐
┌───(red)─ ─ ─ │███│ └───┘
│ `─‘ │ ├───┤ ▼ ▼
│ ▼ │***│ node p .─. node g.─.
│ node e─. │T3*│ ───? ┌────(red)───┐ ┌─ (red)────┐
▼ ┌─(red)─┐ │***│ │ `─‘ │ │ `─‘ │
┌───┐ │ `─‘ │ └───┘ ▼ ▼ ▼ node u ▼
│███│ ▼ ▼ ┌───┐ ┌───┐ ┌───┐ ┌───┐
├───┤ ┌───┐ ┌───┐ │███│ │███│ │███│ │███│
│***│ │███│ │███│ ├───┤ ├───┤ ├───┤ ├───┤
│T0*│ ├───┤ ├───┤ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │T0*│ │T1*│ │T2*│ │T3*│
└───┘ │T1*│ │T2*│ │***│ │***│ │***│ │***│
│***│ │***│ └───┘ └───┘ └───┘ └───┘
║ └───┘ └───┘ ▲
║ ║
║ ║
▼ ║
node p node e node g node p node e node g
.─. .─. ┌───┐ ┌─────────────────────┐ .─. ┌───┐ .─.
┌────(red│(red)││███│───┐ │ indirectBT change │ ┌────(red││███││(red)───┐
│ `─‘│ `─‘ │└───┘ │ └─────────────────────┘ │ `─‘│└───┘│ `─‘ │
│ │ │ │ ══════════════════? │ │ │ │
▼ ▼ ▼ node u▼ ▼ ▼ ▼ node u▼
┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐
│███│ │███│ │███│ │███│ │███│ │███│ │███│ │███│
├───┤ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│T0*│ │T1*│ │T2*│ │T3*│ │T0*│ │T1*│ │T2*│ │T3*│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘ └───┘ └───┘ └───┘此时我们观察其叔父节点
情形2：当叔父节点为红色的时候
就会变成RRBR的形式，此时节点发生上溢出。在B树中我们采取的方式是分裂。
nodeG nodeG
┌───┐ .─.
┌ ─ ─ ─ ─ ─│███│─ ─ ─ ┌──────────(red)─────┐
└───┘ │ │ `─‘ │
▼ ▼ ▼ ▼
nodeP .─. nodeU .─. nodeP┌───┐ nodeU┌───┐
┌────(red)─ ─ ┌──(red)─┐ ┌────│███│─ ─ ┌──│███│─┐
│ `─‘ │ │ `─‘ │ │ └───┘ │ │ └───┘ │
│ ▼ ▼ ▼ ───────────? │ ▼ ▼ ▼
▼ nodeE .─. ┌───┐ ┌───┐ ▼ nodeE .─. ┌───┐ ┌───┐
┌───┐ ┌─(red)─┐ │███│ │███│ ┌───┐ ┌─(red)─┐ │███│ │███│
│███│ │ `─‘ │ ├───┤ ├───┤ │███│ │ `─‘ │ ├───┤ ├───┤
├───┤ ▼ ▼ │***│ │***│ ├───┤ ▼ ▼ │***│ │***│
│***│ ┌───┐ ┌───┐ │***│ │***│ │***│ ┌───┐ ┌───┐ │***│ │***│
│***│ │███│ │███│ │***│ │***│ │***│ │███│ │███│ │***│ │***│
│***│ ├───┤ ├───┤ └───┘ └───┘ │***│ ├───┤ ├───┤ └───┘ └───┘
└───┘ │***│ │***│ └───┘ │***│ │***│ ▲
│***│ │***│ ┌───────────────────┐ │***│ │***│ ║
│***│ │***│ │ directRB change │ │***│ │***│ ║
║ └───┘ └───┘ └───────────────────┘ └───┘ └───┘ ║
║
║ nodeG
▼ ┌───┐ .─. ┌───┐
┌─────┤???├─(red)─┤???├──┐
│ └───┘ `─‘ └───┘ │
nodeP nodeE nodeG nodeU ▼ ▼
.─. .─. ┌───┐ .─. ┌─────────────────────┐ nodeP nodeE nodeU
┌────(red│(red)││███││(red)───┐ │ indirectBT change │ ┌───┐ .─. ┌───┐
│ `─‘│ `─‘ │└───┘│ `─‘ │ └─────────────────────┘ ┌─│███│ │(red)──┐ ┌──│███│─┐
│ │ │ │ │ ══════════════════? │ └───┘ │ `─‘ │ │ └───┘ │
▼ ▼ ▼ ▼ ▼ │ │ │ │ │
┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ▼ ▼ ▼ ▼ ▼
│███│ │███│ │███│ │███│ │███│ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐
├───┤ ├───┤ ├───┤ ├───┤ ├───┤ │███│ │███│ │███│ │███│ │███│
│***│ │***│ │***│ │***│ │***│ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘
这里有个中间的染色步骤，此时P，E构成新节点，他们都是红色，但是P的高度要高于E，所以讲P染成黑色。
而U是红色，U要成为新的B树节点，所以必须保证这个节点里有一个黑色，所以将U染为黑色。相应的zigzig变化过程
nodeG nodeG
┌───┐ .─.
┌ ─ ─ ─ ─ ─│███│─ ─ ─ ┌──────────(red)─────┐
└───┘ │ │ `─‘ │
▼ ▼ ▼ ▼
nodeP .─. nodeU .─. ┌───┐ nodeP nodeU┌───┐
┌ ─ ─(red)────┐ ┌──(red)─┐ ┌ ─│███│─────┐ ┌──│███│─┐
`─‘ │ │ `─‘ │ └───┘ │ │ └───┘ │
▼ │ ▼ ▼ ───────────? ▼ │ ▼ ▼
nodeE .─. ▼ ┌───┐ ┌───┐ nodeE .─. ▼ ┌───┐ ┌───┐
┌─(red)──┐ ┌───┐ │███│ │███│ ┌─(red)─┐ ┌───┐ │███│ │███│
│ `─‘ │ │███│ ├───┤ ├───┤ │ `─‘ │ │███│ ├───┤ ├───┤
▼ ▼ ├───┤ │***│ │***│ ▼ ▼ ├───┤ │***│ │***│
┌───┐ ┌───┐ │***│ │***│ │***│ ┌───┐ ┌───┐ │***│ │***│ │***│
│███│ │███│ │***│ │***│ │***│ │███│ │███│ │***│ │***│ │***│
├───┤ ├───┤ │***│ └───┘ └───┘ ├───┤ ├───┤ │***│ └───┘ └───┘
│***│ │***│ └───┘ │***│ │***│ └───┘ ▲
│***│ │***│ ┌───────────────────┤***│ │***│ ║
│***│ │***│ │ directRB change │***│ │***│ ║
└───┘ └╦──┘ └───────────────────┴───┘ └───┘ ║
║
║ nodeG
▼ ┌───┐ .─. ┌───┐
┌─────┤???├─(red)─┤???├──┐
│ └───┘ `─‘ └───┘ │
nodeE nodeP nodeG nodeU ▼ ▼
.─. .─. ┌───┐ .─. ┌─────────────────────┐ nodeE nodeP nodeU
┌────(red│(red)││███││(red)───┐ │ indirectBT change │ .─. ┌───┐ ┌───┐
│ `─‘│ `─‘ │└───┘│ `─‘ │ └─────────────────────┘ ┌─(red)─┬─┤███├─┐ ┌──│███│─┐
│ │ │ │ │ ══════════════════? │ `─‘ │ └───┘ │ │ └───┘ │
▼ ▼ ▼ ▼ ▼ │ │ │ │ │
┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ▼ ▼ ▼ ▼ ▼
│███│ │███│ │███│ │███│ │███│ ┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐
├───┤ ├───┤ ├───┤ ├───┤ ├───┤ │███│ │███│ │███│ │███│ │███│
│***│ │***│ │***│ │***│ │***│ ├───┤ ├───┤ ├───┤ ├───┤ ├───┤
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘RB树的删除，我们依然先调用BST的removeAt算法。被删除节点会由其右孩子(有可能不存在)添补而上。
┌───┐ ┌───┐
p│███│ │███│
└─┬─┘ └─┬─┘ ┌────┐
│ │succ│
┌──────────┐ │ ┌────┐ │ └────┘
│deleteNode│─┐ ▼ │succ│ ▼ │
└──────────┘x└?.─. └────┘ ──────────? ┌───┐?──────┘
┌────(red)──────┐│ ┌────│███│────┐
▼ `─‘ ▼▼ ▼ └───┘ ▼
┌───┐ r┌───┐ ┌───┐ ┌───┐
w│nul│ ┌─┤███│ ──┐ rl│nul│ rr│???│
└───┘ │ └───┘ │ └───┘ └───┘
▼ ▼
┌───┐ ┌───┐
rl│nul│ rr│???│
└───┘ └───┘ 我们认为被删除节点为红色，那么其左右孩子节点，父亲节点则一定为黑色。根据性质3。
首先要明白removeAt的语义，x节点最多只有一个孩子。在这里我们不妨认为其是r(r也有可能不存在，即也是外部节点）
那么另外一个孩子w则是外部节点，同样依然可以是对称的情况
当x被删除后，条件3不会受到任何影响，r接替x，rl和rr上的外部节点高度不受任何影响。理解为删除虚边之后，RB树
的节点不受影响。
按照B树的观点来理解，删除红色节点，对于Super节点不会有任何影响，因为Super节点的主要承担者是黑色节点
┌───┐ ┌───┐
│???│ │???│
└─┳─┘ └─┳─┘ ┌────┐
┃ ┃ │succ│
┌──────────┐ ┃ ┌────┐ ┃ └────┘
│deleteNode│─┐ ▼ │succ│ ▼ │
└──────────┘ └?┌───┐ └────┘ ──────────? ┌───┐?──────┘
┌────│███│─ ─ ─ ┐│ ┌────│███│────┐
▼ └───┘ ▼▼ ▼ └───┘ ▼
┌───┐ .─. ┌───┐ ┌───┐
│nul│ ─ ─(red) ─ ┐ │nul│ │???│
└───┘ │ `─‘ └───┘ └───┘
▼ ▼
┌───┐ ┌───┐
│nul│ │███│
└───┘ └───┘ 同样依然理解为删除虚边之后，黑高度不受影响。
按照B树的观点来理解，删除黑色节点，B树的Super节点会少1，因此需要补充一个黑色节点。所以补充在原位置上的红色
节点被染黑。而消失一个红色节点却不影响这个B树的高度。
当俩个节点都为黑色的时候，删除一个必定会导致B树高度减少，从而不稳定。此时就分为4种情况。
情形1：
被删除节点的兄弟节点为黑色，且其有一个红色孩子，意思就是被删除节点X有一个红色的侄子，
则按照B树的观点来看，兄弟比较富裕，因此可以通过旋转的方式调整
按照RB树的观点来看，直接3+4重构即可，然后染色
nodeP
┌───┐ nodeS
┌ ─ ─ ─ ─ ─│???│─ ─ ─ ┌───┐
└───┘ │ ┌──────│???│──────┐
▼ ▼ │ └───┘ │
nodeS┌───┐ nodeX┌───┐ │ │
┌ ─ ─│███│────┐ │███│ │ │
└───┘ │ └─┬─┘ no▼eT no▼eP
▼ │ │ ───────────? ┌───┐ ┌───┐
nodeT .─. ▼ ▼ ┌───│███│───┐ ┌─│███│───┐
┌─(red)──┐ ┌───┐ ┌───┐ │ └───┘ │ │ └───┘ │
│ `─‘ │ │???│ nodeR│███│ │ │ │ │
▼ ▼ ├───┤ ├───┤ ▼ ▼ ▼ ▼
┌───┐ ┌───┐ │***│ │***│ ┌───┐ ┌───┐ ┌───┐ ┌───┐
│███│ │███│ │***│ │***│ │███│ │███│ │???│ │███│ nodeR/X
├───┤ ├───┤ │***│ │***│ ├───┤ ├───┤ ├───┤ ├───┤
│***│ │***│ └───┘ └───┘ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ ┌───────────────────┐ │***│ │***│ │***│ │***│
└───┘ └───┘ │ directRB change │ └───┘ └───┘ └───┘ └───┘
║ └───────────────────┘ ▲
║ ║
▼ ║
nodeP nodeS
┌───┐ ┌───┐
┌─────│???│────┐ ┌──────│???│──────┐
│ └───┘ │ │ └───┘ │
│ │ │ │
│ │ ┌─────────────────────┐ │ │
▼ │ │ indirectBT change │ no▼eT no▼eP
nodeT nodeS nodeX └─────────────────────┘ ┌───┐ ┌───┐
.─. ┌───┐ ┌┐ ══════════════════? ┌───│███│───┐ ┌─│███│───┐
┌────(red││███││ ││ │ └───┘ │ │ └───┘ │
│ `─‘│└───┘│ ├┘ │ │ │ │
│ │ │ │ ▼ ▼ ▼ ▼
▼ ▼ ▼ ▼ ┌───┐ ┌───┐ ┌───┐ ┌───┐
┌───┐ ┌───┐ ┌───┐ ┌───┐ │███│ │███│ │???│ │███│ nodeR/X
│███│ │███│ │???│ │███│nodeR ├───┤ ├───┤ ├───┤ ├───┤
├───┤ ├───┤ ├───┤ ├───┤ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ └───┘ └───┘ └───┘ └───┘
└───┘ └───┘ └───┘ └───┘情形2
被删除节点的父亲是红色，兄弟节点和侄子全部都是黑色。{:.warning}
nodeP nodeP
.─. ┌───┐
┌ ─ ─ ─ ─ ─(red)─ ─ ─ ┌ ─ ─ ─ ─ ─│███│─────┐
`─‘ │ └───┘ │
▼ ▼ ▼ ▼
nodeS┌───┐ nodeX┌───┐ nodeS .─. nodeR/X┌───┐
┌────│███│────┐ │███│ ┌──── (red)───┐ │███│
│ └───┘ │ └─┬─┘ │ `─‘ │ ├───┤
▼ ▼ ▼ ───────────? ▼ ▼ │***│
┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ │***│
│███│ │███│ nodeR│███│ │███│ │███│ │***│
├───┤ ├───┤ ├───┤ ├───┤ ├───┤ └───┘
│***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│
│***│ ║ │***│ │***│ │***│ │***│
└───┘ ║ └───┘ └───┘ └───┘ └───┘
║ ┌───────────────────┐
▼ │ directRB change │ ▲
└───────────────────┘ ║
║
nodeP ║
.─.
┌ ─(red)─ ─ ┐ nodeS nodeP
`─‘ .─. ┌───┐┌┐ nodeX
nodeS ▼ ▼nodeX ┌───(red)│███│││──┐
┌───┐ ┌┐ ┌─────────────────────┐ │ `─‘ └───┘└┘ │
┌───│███│──┐ ││ │ indirectBT change │ │ │ │
│ └───┘ │ ├┘ └─────────────────────┘ │ │ │
▼ ▼ ▼ ══════════════════? ▼ ▼ ▼
┌───┐ ┌───┐ ┌───┐ ┌───────────┐ ┌───┐ ┌───┐ ┌───┐
│███│ │███│ │███│nodeR │ merge │ │███│ │███│ │███│nodeR
├───┤ ├───┤ ├───┤ └───────────┘ ├───┤ ├───┤ ├───┤
│***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘ └───┘ 情形3
当被删除节点的父亲为黑色时，且兄弟节点，侄子节点均为黑色，此时{:.warning}
nodeP nodeP
┌───┐ ┌───┐
┌─────────┤███├──────┐ ┌ ─ ─ ─ ─ ─│███│─────┐
│ └───┘ │ └───┘ │
▼ ▼ ▼ ▼
nodeS┌───┐ nodeX┌───┐ nodeS .─. nodeR/X┌───┐
┌────│███│────┐ │███│ ┌──── (red)───┐ │███│
│ └───┘ │ └─┬─┘ │ `─‘ │ ├───┤
▼ ▼ ▼ ───────────? ▼ ▼ │***│
┌───┐ ┌───┐ ┌───┐ ┌───┐ ┌───┐ │***│
│███│ │███│ nodeR│███│ │███│ │███│ │***│
├───┤ ├───┤ ├───┤ ├───┤ ├───┤ └───┘
│***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│
│***│ ║ │***│ │***│ │***│ │***│
└───┘ ║ └───┘ └───┘ └───┘ └───┘ ▲
║ ┌───────────────────┐ ║
▼ │ directRB change │ ║
nodeP └───────────────────┘ ║
┌───┐
┌───│███│───┐ nodeS nodeP
│ └───┘ │ .─. ┌───┐┌┐ nodeX
nodeS ▼ ▼nodeX ┌───(red)│███│││──┐
┌───┐ ┌┐ ┌─────────────────────┐ │ `─‘ └───┘└┘ │
┌───│███│──┐ ││ │ indirectBT change │ │ │ │
│ └───┘ │ ├┘ └─────────────────────┘ │ │ │
▼ ▼ ▼ ══════════════════? ▼ ▼ ▼
┌───┐ ┌───┐ ┌───┐ ┌───────────┐ ┌───┐ ┌───┐ ┌───┐
│███│ │███│ │███│nodeR │ merge │ │███│ │███│ │███│nodeR
├───┤ ├───┤ ├───┤ └───────────┘ ├───┤ ├───┤ ├───┤
│***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│
│***│ │***│ │***│ │***│ │***│ │***│
└───┘ └───┘ └───┘ └───┘ └───┘ └───┘情形4：
被删除节点的父亲为黑色，兄弟节点为红色{:.warning}
这是唯一一个有点，怎么说，不直接的情形
nodeP nodeS
┌───┐ ┌───┐
┌─────────┤███├──────┐ ┌──── │███│─────────┐
│ └───┘ │ │ └───┘ │
▼ ▼ ▼ ▼
nodeS .─. nodeX┌───┐ ┌───┐ .─.nodeP
┌ ─ ─(red)─ ─ ┐ │███│ │███│ ┌────(red)────┐
`─‘ └─┬─┘ ├───┤ │ `─‘ │
▼ ▼ ▼ ───────────? │***│ ▼ ▼
┌───┐ ┌───┐ ┌───┐ │***│ ┌───┐ ┌───┐
│███│ │███│ nodeR│███│ │***│ │███│ nodeX│███│
├───┤ ├───┤ ├───┤ └───┘ ├───┤ └─┬─┘
│***│ │***│ │***│ │***│ ▼
│***│ │***│ │***│ │***│ ┌───┐
│***│ │***│ │***│ │***│ nodeR│███│
└───┘ ║ └───┘ └───┘ └───┘ ├───┤
║ ┌───────────────────┐ │***│
║ │ directRB change │ ▲ │***│
▼ └───────────────────┘ ║ │***│
║ └───┘
nodeS nodeP nodeS nodeP ║
.─. ┌───┐ ┌───┐ .─.
┌───(red)││███│────┐ ┌───│███││(red)────┐
│ `─‘ │└───┘ │ ┌─────────────────────┐ │ └───┘│ `─‘ │
▼ ▼ ▼ │ indirectBT change │ ▼ ▼ ▼
┌───┐ ┌───┐ ┌┐ └─────────────────────┘ ┌───┐ ┌───┐ ┌┐
│███│ │███│ nodeX││─┐ ══════════════════? │███│ │███│ nodeX││─┐
├───┤ ├───┤ └┘ │ ┌───────────┐ ├───┤ ├───┤ └┘ │
│***│ │***│ ▼ │ merge │ │***│ │***│ ▼
│***│ │***│ ┌───┐ └───────────┘ │***│ │***│ ┌───┐
│***│ │***│ nodeR│███│ │***│ │***│ nodeR│███│
└───┘ └───┘ ├───┤ └───┘ └───┘ ├───┤
│***│ │***│
│***│ │***│
│***│ │***│
└───┘ └───┘ 上面无论哪种情形，被删除节点的拓扑变换都不会超过O(1)的时间复杂度。
平凡情形：
BB-1 : 被删除节点的父亲节点颜色随意。兄弟节点为黑色，有不少于一个红色侄子节点
BB-2R : 被删除节点的父亲节点为红色，兄弟节点，侄子节点皆为黑色
BB-2B : 被删除节点的父亲节点为黑色，兄弟节点，侄子节点皆为黑色
BB-3 : 被删除节点的父亲为黑色，兄弟节点为红色，侄子节点自然为黑色
学习红黑树的插入和删除，主要是明白为什么其只需要常数次拓扑变换就可以调整回来，即其到底比AVL树优秀在哪里。
并不是说去背诵它到底怎么插入，怎么删除。不难发现凡是可能造成连锁反应的操作，只会涉及染色这种操作。而
一旦涉及拓扑调整，最多俩次就调整完毕。
标签：二叉树 不难 之间 根据 move class 调用 warning let
原文地址：https://www.cnblogs.com/patientcat/p/9720340.html
