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

对于 n 个待排序元素

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

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

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

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

     斯特林公式： n!≈2πn−−−√(n/e)n