快排--模板及思想

模板

void quick_sort(int[] q, int l ,int r) {
        if (l >= r) return;
        int x = q[l], i = l - 1, j = r + 1;
        while (i <j) {
            do i++; while (q[i] < x);
            do j--; while (q[j] > x);
            if (i <j) {
                int t = q[i];
                q[i] = q[j];
                q[j] = t;
            }
        }
        quick_sort(q, l , j);
        quick_sort(q, j + 1, r);
    }

思想

快排主要是分治的思想，这点体现在他的递归调用上。

1. 首先==确定一个分界值 x ==，这个 x 可以是最左边(q[l]），最右边(q[r])，中间值(q[ l + r >> 1])和随机值。

注：q[ l + r >> 1]即q[(l + r) /2]，移1位比/2速度要快50倍。
常常容易混淆的运算符优先级：算数运算 > 移位运算 > 位运算 > 逻辑运算

3. 使得 x 左边所有数不大于 x， x 右边所有数不小于 x（递增排序，如果递减排序则翻一下就行）
4. 递归处理 x 得左右两段

具体实现：
定义两个指针 i 和 j 。
使 i 向右移，使 j 向左移，保证 i 左边的元素不大于 x ， j 右边的元素不小于x，如果i和j指向的元素不满足这个条件，则使 i 和 j 指向的元素进行交换。
递归将 j 左端和右端的元素进行上续操作。

快排过程以1,5,3,2为例：

问题

1. i 和 j 的指向
   答： 用i和j两个指针分别指向数组的两端，i要指向第一个元素的前一个位置，j要指向最后一个数组的后一个位置，因为模板代码中的循环是do-while循环，每次不管三七二十一都会先向中间聚拢一次。
2. 模板最后递归调用能不能用 i 做分界？即

   quick_sort(q, l , j);
   quick_sort(q, j + 1, r);
   

   这段代码能不能换成

   quick_sort(q, l , i-1);
   quick_sort(q, i, r);
   

   答：可以换，但换成 i 后需要需要将 x 由 q[l] 换成 q[r] 或者 q[(l + r + 1) / 2] ,否则会有边界问题，造成死循环。同理，如果以 j 为分界则 x 不能为 q[r]。
   例子：1 2 两数进行快排，方法调用为quick_sort(q, 0, 1)
   
   此时递归调用的quick_sort(q, 0, 1)发生了死循环。