你知道谁是归并排序的发明者吗？它是在何时、伴随着怎样的历史背景诞生的？
多数人可能只有一个模糊的概念，普遍认为这是冯·诺依曼的成就。然而，关于这一发明的具体细节，甚至连维基百科都未能提供全面的解答。
冯·诺依曼设计归并排序的初衷，是将其作为编程语言和计算机架构的关键测试，因此它也是最早期的计算机程序之一。
本文的目的就是揭开归并排序背后的历史面纱。为了深入理解这一算法的起源，我们将共同回溯早期计算机架构的发展脉络。
归并排序前情回顾: 归并排序
归并排序的手稿
归并排序的历史问题，同样也吸引了《计算机程序设计艺术》的作者高德纳的注意。
并且为此发表了一篇论文 “冯·诺依曼的第一个计算机程序”。
高德纳找到了冯·诺依曼与赫尔曼·戈尔茨坦合作时留下的原始手稿，这份手稿详细描述了一个被称为“网状合并”（meshing）的过程。
论文地址：public.callutheran.edu/~reinhart/C…
计算机架构的早期发展
要理解冯·诺依曼的第一个程序，首先要了解其背后的时代背景。
20 世纪 30 至 40 年代，电子计算器开始被使用，人们迫切需要高速计算器原理。例如，差分分析器等模拟机器当时被广泛使用。
在这个背景下，工程师 Eckert 提出了一项关于电子机器（electrical machine）的计划。这个提议获得了美国政府的支持，这也催生了 ENIAC 计算机的诞生。
在 ENIAC 的基础上，EDVAC 机器进行了诸多改进，其中之一就是将并行电路系统转变为串行系统。冯·诺依曼也作为该项目的顾问加入了进来。
EDVAC 采用了冯·诺依曼架构，这种设计与现代计算机架构类似。它包含了串行计算设计、多个寄存器以及辅助内存。这种创新为后续的计算机技术发展奠定了重要基础。
在这种系统中，存在修改和引用内存的指令。尽管这不是完美的设计，但它标志着计算机架构和编程领域的重要开端。
归并排序的原始程序
我们现在来探讨一下冯·诺伊曼的程序。这份用墨水手写的手稿共有 23 页。
在第一页上，我们还能依稀看到之前用铅笔写下的“绝密”字样，不过这些字迹后来被人擦掉了。要知道，在 1945 年，计算机研究由于涉及到军事问题，都被列为机密。
当时 IBM 开发了一款机器 IBM Collators，其功能是将两叠已排序好的卡片合并成一叠。
冯·诺伊曼选择排序作为主题，目的是为了比较计算机执行这些算法所需的时间与 IBM 的专用排序机的处理速度。
在备忘录的开头，冯·诺伊曼首先明确了排序记录的概念：即如何将两个已分别排序的记录串合并为一个有序的单一序列。
接着，他说明了这个程序的目标：
“我们想要制定出排序和合并的代码指令，并且要弄清楚这些指令需要占用多少控制容量以及它们的执行时间。”
基于当时 IBM 专用排序机器的工作方式程序，手稿中制定了以下合并方法：
假设我们有两个列表 x 和 y，每个列表包含已排序的记录。n' 和 m' 分别是当前正在考虑合并的 x 和 y 列表中的记录的位置指标。
手稿中根据合并过程的状态分为四种情况：
-
情况 (a) 两个列表都有剩余记录 (n' < n, m' < m)：这种情况有两个子情况：
- (a1) key(x_n') ≤ key(y_m')：如果 x 的当前记录小于等于 y 的当前记录：选取 x 的这条记录，然后 x 的位置指标 n' 增加 1。
- (a2) key(x_n') > key(y_m')：如果 x 的当前记录大于 y 的当前记录：选取 y 的这条记录，然后 y 的位置指标 m' 增加 1。
-
情况 (b) 只有 x 列表有剩余记录 (n' < n, m' = m)：操作与子情况 (a1) 相同，继续选取 x 的记录，n' 增加 1。
-
情况 (c) 只有 y 列表有剩余记录 (n' = n, m' < m)：操作与子情况 (a2) 相同，继续选取 y 的记录，m' 增加 1。
-
情况 (d) 两个列表都没有剩余记录 (n' = n, m' = m)：这标志着合并过程的完成。
关于归并算法的具体实现，这篇文章进行了详细的说明： 归并排序的原理与优化
在这份手稿中并没有真正完成整个排序程序的编码，只描述了合并过程。
高德纳在他的论文中将其改写为符号化的汇编语言，这段代码甚至可以跑在 EDVAC 机器上。
这是高德纳依据冯·诺伊曼的手稿实现的汇编程序。
就像大多数程序一样，这个手稿也有一个小错误。如果冯·诺伊曼有机会在一台 EDVAC 上运行这个程序，他肯定会体验到调试的过程。
总结
冯·诺伊曼的目标并非编写一个最优化的排序程序，而是在实验性地探究一种指令代码，作为对编程语言和计算机架构的重要测试。
时间的流逝并没有减弱归并排序的重要性，一代代的计算机科学家一直在不断地优化着它。这个算法在今天仍然在许多复合的排序算法中扮演着关键角色，比如 TimSort 算法。
冯·诺依曼可能从未想象到，他的这一创造对数据排序产生的影响。至今，仍然有无数的计算机设备运行着他手稿中的过程。
参考资料：
更多内容请关注我的公众号：dingtingli
WWH 系列文章列表：
[2] What - 什么是依赖注入？
[3] What - 如何清晰地理解算法复杂度 Big O？
[6] Why - 为什么排序算法复杂度上限是 O(NlogN)？
最近文章列表：
[1] 成就卓越：事业成功的核心要素
[2] C++异常处理的底层机制
[3] .git 目录里到底包含了什么？
[6] 看图聊算法：为什么插入排序效率不高，却是使用频率最高的排序算法？
[7] 看图聊算法：归并排序一个被教科书嫌弃的算法，我们为什么还要学？
[8] 看图聊算法：冯·诺依曼的第一个计算机程序是怎么做出来的？
[9] 看图聊算法：快速排序为什么快？
