谁首先证明所有基于比较的排序至少是Omega（n lg n）？ 这个下界附有名字吗？例如SomeGuysLastName定理？
答案 0 :(得分：2)
我的“算法简介”的副本在第8章的章节中有这样的说法，这是讨论这个界限的地方：
福特和约翰逊（1）介绍了研究比较分类的决策树模型。 Knuth关于排序的综合论文（2）涵盖了排序问题的许多变化，包括这里给出的排序复杂性的信息理论下界。
（1）Lester R. Ford，Jr。和Selmer M. Johnson。锦标赛问题。 The American Mathematical Monthly ，66：387-389,1959。
（2）Donald E. Knuth。 排序和搜索，计算机编程艺术的第3卷。 Addison-Wesley，1973。
对你的问题不是一个明确的答案，但它确实存在。
答案 1 :(得分：1)
合并排序（最坏情况：n log n）是由John von Neumann于1945年发明的，所以我认为他是第一个证明它的人。
但也许希腊人在公元前400年证明了这一点，这真的很重要吗？