065 B树（B-Tree）

B树（B-Tree）发明者故事

065B树：驯服数据洪流

5W1H 发明者故事

Who（谁）

Rudolf Bayer 和 Edward M. McCreight，当时均供职于波音科学研究实验室（Boeing Scientific Research Laboratories）。Bayer 是来自德国的计算机科学家，后成为慕尼黑工业大学教授；McCreight 是美国计算机科学家，后加入 Xerox PARC，参与了 Alto 计算机等划时代项目。

What（什么）

他们发明了 B树（B-Tree）------一种自平衡的多路搜索树数据结构，专为在磁盘等块存储设备上高效管理大规模有序数据而设计。

When（何时）

1972年，论文《Organization and Maintenance of Large Ordered Indices》发表于 Acta Informatica 第1卷，奠定了 B树理论基础。

Where（何地）

美国华盛顿州西雅图，波音公司旗下的波音科学研究实验室。彼时磁盘存储器刚开始普及，如何在慢速机械磁盘上高效维护索引是工业界的核心难题。

Why（为何）

1960--70年代，数据库系统和文件系统迅速兴起，数据量远超内存容量，必须存储在磁盘上。而磁盘的随机访问代价极高------每次磁盘I/O相当于数百万次内存操作。Bayer 和 McCreight 需要一种树形结构，使树的高度尽可能矮（减少 I/O 次数），同时每个节点能装入一个磁盘页（减少读写次数）。

How（如何）

他们设计了"阶数"（order/最小度 t）概念：每个非根内部节点拥有至少 t-1、至多 2t-1 个键，从而保证树高为 O(log_t n)。插入时若节点已满（2t-1个键），则在向下寻路前提前分裂，保证回溯时父节点仍有空间。删除时通过从兄弟节点借键或合并节点来维持最小占用率。Knuth 在 TAOCP 第三卷第6.2.4节对此作了系统性阐述，将其纳入查找算法的经典体系。

"B树的'B'可能代表 Bayer、波音（Boeing）、平衡（Balanced）或宽泛（Broad）------Bayer 本人从未正式解释。" --- 计算机科学史趣闻

---

自然语言需求定义

B树是一种自平衡的多路搜索树，满足以下性质：

1. 节点容量：设最小度数为 t（t≥2），每个非根节点至少包含 t-1 个键，至多包含 2t-1 个键；根节点至少包含 1 个键（非空树时）。
2. 子节点数量：拥有 k 个键的内部节点恰好有 k+1 个子节点。
3. 有序性：节点内的键从左到右严格递增；子树中所有键满足夹逼关系。
4. 平衡性：所有叶节点位于同一层（树高严格相等）。

需要支持的操作：

• search(key)：从根开始向下搜索，返回包含该键的节点指针及键在节点中的下标；若不存在返回 NULL。
• insert(key)：将键插入到合适的叶节点；若沿途节点已满（2t-1个键），在下行前提前分裂该节点，保证插入后树仍满足B树性质。
• delete(key)：删除指定键，分三种情况处理：键在叶节点直接删；键在内部节点用前驱/后继替换后再删叶节点；若删除后节点键数不足 t-1，则向兄弟借键或与兄弟合并。
• range_search(low, high)：返回所有满足 low≤key≤high 的键，结果有序。

---

验收标准表格

编号	测试场景	输入	期望输出 / 判断条件	验收类别
AC-01	顺序插入并搜索全部键	插入 3,7,1,5,9,2,4,6,8,10，搜索每个键	每个键均能找到，search 返回非 NULL	功能正确性
AC-02	删除存在的键后搜索	删除 3 和 7，搜索 3 和 7	返回 NULL（未找到）	功能正确性
AC-03	删除后剩余键仍可找到	删除 3,7 后搜索 1,2,4,5,6,8,9,10	全部找到	功能正确性
AC-04	树高约束	插入 n=10 个键，t=3	树高 ≤ ceil(log_3(11)) = 3	结构正确性
AC-05	中序遍历有序	插入 3,7,1,5,9,2,4,6,8,10	中序遍历输出 1,2,3,4,5,6,7,8,9,10	有序性
AC-06	范围查找	range_search(3, 7)	返回 3,4,5,6,7（删除前）	范围查询
AC-07	搜索不存在的键	search(100)	返回 NULL	边界条件
AC-08	节点键数约束	插入后检查每个非根节点	t-1 ≤ keys ≤ 2t-1 （t=3，即 2≤keys≤5）	结构正确性
AC-09	重复插入同一键	插入 5（已存在）	树结构不变，不插入重复键	鲁棒性
AC-10	空树搜索	新建空树，search(1)	返回 NULL	边界条件