目录

这个性质可以总结为

红黑树的最短最长路径

红黑树的路径范围

code

结构

搞颜色

类

插入

插入逻辑

新插入节点

思考：2. 检测新节点插入后，红黑树的性质是否造到破坏？

解决方法

变色

旋转+变色

第三种情况，如果根节点上面还有节点

---

这个性质可以总结为

1.每个节点不是红色就是黑色

2.根节点是黑色的

3.不能有两个连续的红色节点  ，即可以出现 红黑  黑黑 不能出现红红

4.每条路径上的黑色机节点数量不一样

至于性质5:每个叶子结点都是黑色的，这里的叶子节点并不是真的叶子节点，而是NIL节点，即空节点。如图（a）：

NIL节点有什么作用？如图（a-2），有多少条路径:

正确答案是有7条。路径路径的判断规则是：从根节点到NULL。

如果我们把NIL节点标记出来就好找路径了：

再比如，图(a-3)是否是红黑树：

大致一看好像是，但是把NIL节点标出来之后:

 路径(b)只有两个黑色节点，不满足红黑树的性质，不是红黑树。

红黑树的最短最长路径

那么红黑树的最短路径是什么样子的，应该是全黑的最短：

 那最长的路径呢，应该是一黑一红间隔排列的最长：

根据图(a-1）我们可以看出，最长的路径是最短的路径的2倍。

ps

一个红黑树不一定有最长路径，也不一定有最短路径。

如图（a-2），有最短路径，没有最长路径:

红黑树的路径范围

而知道了最短路径，最长路径，剩下的路径都在最短路径，最长路径范围内，可以写为

                             [n,2*n]

code

结构

template<class K,class V>struct	RBTreeNode
{RBTreeNode<K,V>* _left;RBTreeNode<K, V>* _right;RBTreeNode<K, V>* parent;pair<K, V>;Color _col;//初始话列表RBTreeNode(const pair<K, V>kv):_left(nullptr),_right(nullptr), _parent(nullptr), pair<K, V>,_col(RED){}
};

搞颜色

enum Color
{RED,BALACK
};

类

template<class  K,class V>class RBTree{typedef RBTreenode<k,v> Node;public:private:Node* _root = nullptr;};

插入

插入逻辑

如果节点为空，就给黑色。如果节点不为空，就插入值。

这个值如果比根节点小，就往左边插入，否则就往右边插入。

bool Insert(const pair<K, v>& kv){if (_root == nullptr){_root = new(kv);_root->_col = BALACK;return true;}//初始化父亲节点和根节点Node* parent = nullptr;Node* cur = _root;while (cur){//key值大，往右走if (cur->kv.first < kv.first){cur = cur->right;}//key值小，往左走else if (cur->kv.first > kv.first){cur = -cur->left;}//否则key值和当前节点相等，不插入else{return false;}}//找到了返回true1return true;	 }

新插入节点

思考：2. 检测新节点插入后，红黑树的性质是否造到破坏？

如图（b-1），现在要插入一个节点，那么是插入一个黑色节点还是红色节点呢？

如果插入黑色节点，那么该路径就会多一个黑色节点，根据红黑树特性，其他路径都要补一棵黑色节点，

如果插入红色节点，则只会影响父节点

（即

1.如果父节点也会红节点。两个红节点不能紧挨，需调整

2.如果父亲节点是黑色，则不需调整，直接插入。）。

我们看一下怎么调整，如图（b-2），新插入了一个红色节点7：

解决方法

能变色先变色，变色完之后还不行再旋转

变色

如图(b-3)，先把父节点8变黑：

这个时候该路径就多了一个黑色节点，再变图(b-4）把6节点变红：

这个时候该路径又少了个黑色节点，再变图（b-5） 把5节点变黑：

旋转+变色

第二种情况，例如图(b-6）：如果还是把父节点变为黑色，把6节点变为红色，那么其他路径就会多一个黑色节点。

而该路径又没有其他节点可以再变黑色来平衡这种状态，所以靠变色解决不了这个问题。

这个时候就要旋转了。

先右旋为图（c-1）：

再左旋为图（c-2）:

然后再变色为图(c-4）：

第三种情况，如果根节点上面还有节点

如图(d-0)，新插入了一个节点cur:

cur为红色节点，那就需要调整。

把p节点变为黑色节点，那么为了u节点也要变为黑色节点，那么此时就要把g节点变为红色节点。也就是图(d-1)

为什么要把g节点变为红色节点呢？

假设g节点不变为红色也就是图（d-3）:

由图(d-1）变为图(d-3）我们发现每条路径凭空多了1个黑色节点。

g节点上面还有节点，那么多了个黑色节点，就会影响上面的路径，所以需要把g节点变红来平衡一下。

如图(d-1）：

这个时候万一g节点的父节点是红色节点，如图(d-4）：
两个红色节点不能连续，还要调整，如果g节点的父亲节点为黑色，如图(d-5），那就不需要再调整: