阶数5的B-Tree删除内部键120：理论与工具结果差异解惑

先明确阶数5的B树通用规则：默认指单个节点最多有5个子节点，也就是最多存4个键；除根节点外，每个节点最少得有2个键（按ceil(5/2)-1计算）。删除内部节点键的标准逻辑，得看子节点的键数情况：

资料里的合并逻辑（符合标准规则） #

如果要删的内部键120，它的左右子节点都刚好是最少键数（各2个键），那必须走合并流程：

1. 先拿右子树的最小键125替换父节点里的120（或者左子树最大键，效果类似）；
2. 删除叶子节点里的125，这时候右子节点只剩141，键数不够最少要求；
3. 右子节点的兄弟（左子节点96,115）也刚好是最少键数，没法借键，只能把左子节点、父节点里的125、右子节点合并成一个新节点[96,115,125,141]；
4. 父节点去掉125后只剩93，根节点最少1个键，符合要求。
   这就是资料里描述的结果。

可视化工具结果不同的原因 #

工具得出不同树结构，大概率是以下两种情况之一：

• 阶数定义歧义：有些工具把“阶数”定义成最小度数t，而非最大子节点数m。比如工具把阶数5理解成t=5，那节点最少得有4个键，最多9个键。这时候原树里120的左右子节点键数可能没到最少，工具就会用借键而非合并的方式处理，结果自然不一样。
• 实现策略差异：少数B树实现会优先绕开合并，比如从祖父节点或其他兄弟节点调整结构。比如原父节点如果还有其他键（比如[93,120,160]），工具可能把父节点的其他键下移，调整子节点结构，避免合并，最后得到不同的树。

总结 #

两种结果的核心差异要么是阶数的定义方式不一样，要么是删除策略的实现细节有区别。按标准B树规则，当内部键的两个子节点都处于最少键数时，合并是必须操作；如果工具结果不同，先去看它对“阶数”的定义说明，或者确认原树里子节点的键数是不是真的到了最小值。

内容的提问来源于stack exchange，提问作者Nemida