数据结构与算法（六）2-3-4树与2-3树

1、2-3-4树

在二叉树中，每个节点有一个数据项，最多有两个子节点。如果允许每个节点可以有更多的数据项和更多的子节点，就是多叉树（multiway tree）。

2-3-4树就是一种阶为4的多叉树，它像红黑树一样是平衡树，可以保证在O(lgn)的时间内完成查找、插入和删除操作，容易实现，但是效率比红黑树稍差。

下图展示了一颗2-3-4树：

1.png
它有如下特点：

每个节点可以保存一个、两个或者三个数据项。
底层的六个节点都是叶节点，所有的叶节点都是在一层上的
非叶子节点的子节点总数总是比它含有的数据项大1
2-3-4树中的2、3、4的含义指的是一个节点可能含有的子节点数。对非子叶节点有三种可能的情况：

有一个数据项的节点总是有两个子节点
有两个数据项的节点总是有三个子节点
有三个数据项的节点重是有四个子节点
上述的重要的关系决定了2-3-4树的结构，比较而言，叶节点没有子节点，然而它可能还有一个、两个、三个数据项，而空节点是不会存在的。在2-3-4树中不允许只有一个链接。有一个数据项的节点必须总是保持两个连接，除非它是叶节点，在那种情况下没有连接。

如下图所示，有两个链接的节点被称为2-节点，有三个链接的节点被称为3-节点，有四个链接的节点被称为4-节点。

树结构中很重要的一点就是它的链接与自己数据项的关键字之间的关系。二叉树中，所有关键字比某个节点值小的节点都在左子树中，所有关键字比某个值大的节点都在右子树，2-3-4树的规则与之类似

1.1 插入

如果2-3-4树中已存在当前插入的key，则插入失败，否则最终一定是在叶子节点中进行插入操作
如果待插入的节点不是4-节点，那么直接在该节点插入
如果待插入的节点是个4-节点，那么应该先分裂该节点然后再插入。一个4-节点可以分裂成一个根节点和两个子节点（这三个节点各含一个key）然后在子节点中插入，我们把分裂形成的根节点中的key看成向上层插入的key，然后重复第2步和第3步。
如果是在4-节点中进行插入，每次插入会多出一个分支，如果插入操作导致根节点分裂，则2-3-4树会生长一层。