不管所堆排序,还是快速排序,排序的本质都所基于各个元素之间的比较。而可以证明的是,所有基于比较的排序算法,在最坏情况下的时间复杂度的下界是O(nlgn)。
而,计数排序不所基于元素之间的比较,而是,对于一个输入x,在整个输入中确定出小于x的元素个数,这样就可以把元素x直接放在它在最终输出数组中的确定位子上。
基本思想:
所有输入放入数组A中(元素下标从1开始)
最终输出在数组B中
临时数组C[0...k],其中k为数组A中最大元素的值
1.首先初始化数组C
2.统计数组A中元素值为x的元素个数,可能A中有多个元素的值为x,结果放入C[x]中
3.C[i] += C[i - 1],这样,C[i]中放入的就是A中小于、等于i的元素个数
4.将数组A中各元素放入最终数组的适当位子
B[C[A[j]]] = A[j]
这个表达式怎样理解呢?假设A[j] = x,则需要确定x最终应该放在数组B的哪个位子上。由于数组中小于等于x的元素个数放在C[x]中,假设C[x]=Y,则x最终应该放在数组B的Y位子,也即B[Y] = x,综上,B[Y] = B[C[x]] = B[C[A[j]]] = x = A[j]。
然后 --C[A[j]],由于元素x已经放入了最终数组中,所以下一个元素值也为x的元素Z,直接进入最终数组B中A[j]的前一个位子。
经过以上分析,可见,计数排寻所稳定排序。
稳定:具有相同值的元素在输出数组中的相对次序与其在输入数组中的次序相同。
代码:
测试数据:
please enter some nums to sort by 1000 end
2 5 3 0 2 3 0 3 1000
0 0 2 2 3 3 3 5