大兔子

摘要： 8.2-2 证明COUNTING-SORT是稳定的。 问题解答： 假设输入数组A[1...n]，length[A]=n，数组A中有两个元素具有相同的值，下标分别为a，b（1≤a<b≤n）即A[a] = A[b]。经过计数排序运行至行7，C[A[a]] = C[A[b]]。在第9~11行中循环部分中，循环变量 i用于指示数组A的下标，其值从 length[A] 到 1 递减遍历。由b>a可知，A[b]优先插入数组B中。在循环执行体行10、行11中，每当将一个值A[i]放入数组B位置C[A[i]]时，都要使C[A[i]]的值减1。因此，A[b]首先插入数组输出数组B中，且A[a]插入在 阅读全文