序至少需要 Ω("n" log "n") 次比较操作。这是比较操作所获的信息有限所导致的，或者说是全序集的模煳代数结构所导致的。从这个意义上讲，归并排序，堆排序在他们必须比较的次数上是渐进最优的，虽然这忽略了其他的操作。前面提到的三种非比较排序算法能在O(n) 时间内完成，通过非比较操作使他们能够回避 Ω("n" log "n") 这个下界（假设元素为常数大小）。不过，比较排序在控制比较函数方面有显着优势，因此比较排序能对各种数据类型进行排序，并且可以很好地控制一个序列如何被排序。例如，如果倒置比较函