计数排序是算法复杂度为O(n)的排序算法，比较适合已知的、小范围数据集合的排序。
基本思想：对于每一个输入元素x ，确定小于等于x的元素个数，利用该信息就可以确定x在输出数组中的位置。
Part_1: 伪代码
假设输入数组是A[1..n],排序结果存放在B中，C[0..k]作为缓存。COUNTING-SORT(A,B,k)
Create C[0..k] for i=0 to k C[i]=0 //C[i]存放每个元素出现的次数 for j=1 to A.length C[A[j]] = C[A[j]]+1 //C[i]存放小于等于i的元素的个数 for i=1 to k C[i] = C[i]+C[i-1] for j = A.length downto 1 B[C[A[j]]]=A[j] //确保相同元素不要在一个位置,同时保证算法稳定性 C[A[j]]=C[A[j]]-1
Part_2：复杂度
简单分析一下伪代码，可以看出总的时间复杂度是O（n+k），如果k=O（n），那么运行时间为Θ(n)。计数排序并没有比较操作。同时，具有相同值的元素在输出数组中的相对次序与其在输入数组中的相对次序是相同的，所以是稳定的。