快速排序的算法导论划分形式和hoare划分

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
    算法导论的划分形式
 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 源码剖析当中的讲解，我们会发现，和我们写的版本基本一致，当然为了保证递归不是很深，会进行优化，比如只对每次划分较短的一侧进行递归，另一个尾递归优化。