1. hoare划分

 1 int hoare_partition(int a[], int begin, int end) 2 {     3     int pivot = a[begin]; 4     int ini = begin;  5     int ter = end; 6     while (ini < ter) 7     { 8         while (a[ini] <= pivot && ini <end) 9             ++ini;10         while (a[ter] >= pivot && ter>begin)11             --ter;12         if (ini<ter)13             swap(a[ini], a[ter]);14         15     }16     swap(a[ter], a[begin]);17     return ter;18     19 }20 void quick_sort(int a[], int begin, int end)21 {22         if (begin < end)23         {24             int div = hoare_partition(a, begin, end);25             cout << div << endl;26             quick_sort(a, begin, div);27             28             quick_sort(a, div+1, end);29         }30         31 }

1.  1
       算法导论的划分形式
    int partition(int a[], int begin, int end) 2 { 3     int pivot = a[begin]; 4     int cur = begin + 1; 5     int divid_location = begin; 6     for (; cur <= end; ++cur) 7     { 8         if (a[cur] < pivot) 9         {10             ++divid_location;11             int temp = a[divid_location];12             a[divid_location] = a[cur];13             a[cur] = temp;14         }15     }16     a[begin] = a[divid_location];17     a[divid_location] = pivot;18     return divid_location;19 }20 void quick_sort(int a[], int begin,int end)21 {22     if (end-begin > min_size)23     {24         int div = partition(a, begin, end);25         quick_sort(a, begin, div);26         int div_plus_1 = div + 1;27         quick_sort(a,div_plus_1, end);28     }29     insert_sort(a, begin, end);30 }

   区别在哪呢，区别在于hoare划分将区间分为两部分，而主元可能位于两个区间的任何一个，而算导的划分将其划为3部分。

　　　　median-of-3改进等比较简单，不再赘述。

　　　　关于快速排序的工业级实现，参见STL 源码剖析当中的讲解，我们会发现，和我们写的版本基本一致，当然为了保证递归不是很深，会进行优化，比如只对每次划分较短的一侧进行递归，另一个尾递归优化。