前言
插入,快速,合并,堆排序等基于比较的排序算法的最坏情况下界为Ω(nlogn),最坏情况下都要进行Ω(nlogn)次比较。假设有一n个元素组成的数组(假设每个元素都不相等),那么一共有n!排列组合,而且这n!排列组合结果都应该在决策树的叶子节点上(如图1),在图1中n = 3,所以有3! = 6种组合全都在决策树的叶子节点,对于高度为h的二叉树,叶子节点的个数最多为2h(当为满二叉树时为2h,这里根节点为第0层)。所以n! <= 2h,从而h >= log(n!) = Ω(nlogn)。证明如下:(如果不太了解O,Θ等渐进符号的,可以参考博文:计算机算法分析之渐进记号。)
线性排序算法
计数排序
假设:有