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

  1. hoare划分

int hoare_partition(int a[], int begin, int end)
{    
    int pivot = a[begin];
    int ini = begin; 
    int ter = end;
    while (ini < ter)
    {
        while (a[ini] <= pivot && ini <end)
            ++ini;
        while (a[ter] >= pivot && ter>begin)
            --ter;
        if (ini<ter)
            swap(a[ini], a[ter]);
        
    }
    swap(a[ter], a[begin]);
    return ter;
    
}
void quick_sort(int a[], int begin, int end)
{
        if (begin < end)
        {
            int div = hoare_partition(a, begin, end);
            cout << div << endl;
            quick_sort(a, begin, div);
            
            quick_sort(a, div+1, end);
        }
        
}

1.  1
       算法导论的划分形式
    int partition(int a[], int begin, int end)
   {
       int pivot = a[begin];
       int cur = begin + 1;
       int divid_location = begin;
       for (; cur <= end; ++cur)
       {
           if (a[cur] < pivot)
           {
               ++divid_location;
               int temp = a[divid_location];
               a[divid_location] = a[cur];
               a[cur] = temp;
           }
       }
       a[begin] = a[divid_location];
       a[divid_location] = pivot;
       return divid_location;
   }
   void quick_sort(int a[], int begin,int end)
   {
       if (end-begin > min_size)
       {
           int div = partition(a, begin, end);
           quick_sort(a, begin, div);
           int div_plus_1 = div + 1;
           quick_sort(a,div_plus_1, end);
       }
       insert_sort(a, begin, end);
   }

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

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

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