数据结构——2-3-4树与红黑树

                          2-3-4树与红黑树

2-3-4树

        前面讲到了2-3树，2-3树是允许节点最多有三个子节点的树，2-3树中有2节点和3节点，2节点跟普通的二叉树节点一样，3节点AB就是的左子树上的所有节点的值小于A，中子树上所有节点的值大于A而小于B，右子树上节点的值大于B。2-3树是一种平衡树。

       2-3-4树跟2-3树差不多，只不过是把节点的最大子节点个数扩充到了4个，所以2-3-4树的节点有2节点3节点4节点四种，当发现插入节点是2节点或3节点时，就可以把节点进行扩容直接插入，如果发现是4节点的话，就向上回溯，把4节点进行分裂，并把中间的元素向上提。向上提时不可能回溯超过两层，因为4节点的子节点不可能再有子节点了。在插入的时候，如果发现插入的节点已经是4节点了，那么就要向上回溯分裂，如果发现插入节点的父节点是2或3节点，就直接上提，然后当前节点分裂，如果发现父节点是4节点，则父节点也分裂，这样就导致上提不会提到父节点的父节点，所以父节点的父节点不会增加元素，因此一个4节点的子节点不会再有子节点了。所以插入位置的如果是4节点，要向上提回溯也不可以回溯很多层，这样在插入或者删除操作时效率就比普通的二叉平衡树高多了。一但发现插入位置已经是4节点，而把插入节点分裂上提导致父节点也成为4节点，就将父节点也分裂。这样能保证如果父节点已经是4节点，再向上提可父节点无法再分裂的情况。用这处条件再来约束就可以保证所有的4节点都在最下面一层，而且各个子树的高度一样，这样树一定是完全平衡的。

红黑树

       由于2-3-4树的节点类型有3种，比较麻烦，因此可以用红黑树来表示2-3-4树，任意2-3-4树都可以转换成一棵红黑树。红黑树通过给节点添加红色和黑色来表示2-3-4树的三种节点。红黑树2-3-4树中的3节点变成两个节点，而把4节点变成一个根节点+左右子节点的形式。由于3节点变成两个节点，一个节点可以是另一个节点的左子树或右子树，所以在转换成红黑树时，只考虑形成左子树的，这种情况叫做左倾。并且为了维持红黑树中红节点的子节点只能是黑节点，所以2-3-4树中不能有两个连续的3节点。当向2节点中插入时，如果插入的是左节点，则直接插入，如果是右孩子，因为要左倾，就需要插入后左旋。当向3节点中插入时，则一次左旋+右旋或者一次右旋，形成一个4节点。如果向4节点中插入，就需要将4节点进行分裂。这个分裂的过程在红黑树中表示得非常简单，就是把两个红节点变黑，再把父节点的黑色变红即可。

     总的来说红黑树在插入时，如果发现插入节点为空，则插入，如果发现左右子节点都是红节点，就是相当于插入4节点，就要先分裂，也就是把两个红色的子节点变黑，把黑色的父节点变红。然后再比较插入的值和父节点的大小，如果等于，则插入失败。如果小于，插入左子节点中，如果大于，则插入右子节点中。插入后可以会破坏红黑色的特性，这时就需要一些旋转来恢复。如果只有右子节点为红节点，则左旋转父节点，然后旋转后如果左子节点和左子节点的左子节点都是红色，则右旋转。