CLRS 7.1快速排序的描述

7.1-1

其中，红色的表示大于主元，蓝色的表示小于主元。

7.1-2
返回 $r$。
我们可以统计 $A[j]=A[r]$ 的个数，然后将 pivot 下标减去一半。

7.1-3
$for$ 循环中 $j$ 从 $p$ 变到 $r-1$，内部的 $if$ 语句不影响时间复杂度，因此 $\Theta(r-p)=\Theta(n)$。

7.1-4
第四行改为 if A[j] ≥ x即可。

附上快排代码

#include <iostream>
using std::cout;
using std::endl;

int PARTITION(int *array,int p,int r)
{
    int pivot = *(array + r);
    int i = p - 1;
    for(int j = p; j < r; ++j)
    {
        if(*(array + j) <= pivot)
        {
            ++i;
            int temp = *(array + i);
            *(array + i) = *(array + j);
            *(array + j) = temp;
        }
    }
    int temp = *(array + r);
    *(array + r) = *(array + i + 1);
    *(array + i + 1) = temp;
    return i + 1;
}

void QUICKSORT(int *array,int p,int r)
{
    if(p < r)
    {
        int q = PARTITION(array,p,r);
        QUICKSORT(array,p,q-1);
        QUICKSORT(array,q+1,r);
    }
}

int main()
{
    int ia[] = {13,-3,-25,20,-3,-16,-23,18,20,-7,12,-5,-22,15,-4,7};
    QUICKSORT(ia,0,15);
    for(int i = 0; i < 16; ++i)
        cout << ia[i] << ' ';
    cout << endl;
    return 0;
}