交换排序之快速排序

快速排序是对冒泡排序的一种改进。其基本思想是基于分治法的：在待排序表L[1…n]中任取一个元素pivot作为基准，通过一趟排序将待排序表划分为独立的两部分L[1…k-1]和L[k+1…n]，使得L[1…k-1]中所有元素小于pivot，L[k+1…n]中所有元素大于或等于pivot，则pivot放在了其最终位置L[k]上，这个过程称作一趟快速排序。而后分别递归地对两个子表重复上述过程，直至每部分内只有一个元素或空为止，即所有元素放在了其最终位置上。

public class QuickSort {

    public static void main(String[] args) {
        int[] array = { 49, 85, 111, 38, 65, 97, 76, 13, 27 };
        quickSort(array, 0, array.length - 1);
    }

    /**
     * 先按照数组为数据原型写出算法，再写出扩展性算法。数组{49,38,65,97,76,13,27}
     * 
     * @param array
     * @param left
     * @param right
     */
    public static void quickSort(int[] array, int left, int right) {
        int pivot;
        if (left < right) {
            pivot = partition(array, left, right);
            // 对左右数组递归调用快速排序，直到顺序完全正确
            quickSort(array, left, pivot - 1);
            quickSort(array, pivot + 1, right);
        }
    }

    /**
     * pivotValue作为枢轴，较之小的元素排序后在其左，较之大的元素排序后在其右
     * 
     * @param array
     * @param left
     * @param right
     * @return
     */
    public static int partition(int[] array, int left, int right) {
        int pivot = array[left];
        // 枢轴选定后永远不变，最终在中间，前小后大
        while (left < right) {
            while (left < right && array[right] >= pivot) {
                --right;
            }
            // 将比枢轴小的元素移到低端，此时right位相当于空，等待低位比pivot大的数补上
            array[left] = array[right];
            while (left < right && array[left] <= pivot) {
                ++left;
            }
            // 将比枢轴大的元素移到高端，此时left位相当于空，等待高位比pivot小的数补上
            array[right] = array[left];
        }
        // 当left == right，完成一趟快速排序，此时left位相当于空，等待pivotkey补上
        array[left] = pivot;

        return left;
    }
}

快速排序算法的性能分析：
1）空间效率：由于快速排序是递归的，需要借助递归工作栈来保存每一层递归调用的必要信息，其容量与递归调用的最大深度一致。最好情况下为⌈Log2(n+1)⌉；最坏的情况下，因为要进行n-1次递归调用，所以栈的深度为O(n)；平均情况下，栈的深度为O(log2n)。因而空间复杂度最坏的情况下为O(n)，平均情况下为O(log2n)。
2）时间效率：快速排序的最坏情况发生在两个区域分别包含n-1个元素和0个元素时，这种最大程度的不对称性若发生在每一层递归上，即对应于初始排序表基本有序或基本逆序，此时时间复杂度为O(n²)。在最好的情况下，也即partition()可能做到最平衡的划分中，得到的两个字序列的大小都不可能大于n/2，在这种情况下，时间复杂度为O(nLog2n)。
3）稳定性：在划分算法中，若右端区间存在两个关键字相同，且均小于基准值的记录，则在交换到左端区间后，它们的相对位置会发生变化，即快速排序是一个不稳定的排序方法。例如，表L={3，2，2}，pivot为3，经过一趟排序后，L{2，2，3}，最终排序也是L{2，2，3}，但是2与2的相对次序已经发生了变化。