定义: m 叉搜索树(m-way search tree)可以是一棵空树,如果非空,它必须满足以下特征:
在相应的扩充搜索树中(用外部节点替换零指针),每个内部节点最多可以有m 个子女及1~m-1个元素(外部节点不含元素和子女)。
每个含p个元素的节点,有p+1个子女。
考察含p 个元素的任意节点。设k1 , …, kp 是这些元素的关键值。这些元素升序排列,即有k1 < k2 < . . . <kp。设c0 , c1 , …, cp 是节点的p+1个孩子。以c0 为根的子树中的元素关键值小于k1,而以cp 为根的子树中的元素关键值大于kp,并且以ci 为根的子树中的元素关键值会大于ki 而小于ki+1,其中1≤i≤p。