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

对于n个待排序元素

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

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

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

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

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