基于比较排序时间复杂度下界

对于$n$个待排序元素

1. 经过一次比较后，其中两个元素的顺序被确定，所以可能的正确结果剩余$n!/2$种；
   • 依次类推，直到经过$m$次比较，剩余可能性$n!/(2^m)$种；

   • 直到$n!/(2^m) \le 1$时，结果只剩下一种，此时$m$为$O(nlogn)$；

     根据Stirling’s approximation可知：$m = O(nlogn)$

   • 转载自：基于比较的排序，时间复杂度下界是o(nlogn)的小证明

     斯特林公式：$n! \approx \sqrt{2 \pi n} (n/e)^n$