【DSA MOOC】起泡排序的原理及常数优化

根据学堂在线TsinghuaX: 30240184X 数据结构(2015秋)这门课的内容，对bubblesort做了一些总结。

1. bubblesort(起泡排序)，原理来自这样一个观察规律：若序列有序，则任意一对相邻元素顺序。其逆否命题为：若存在相邻元素逆序，则序列无序。

2. 利用这一原理，bubblesort按照逐步消除逆序对的思路来实现整体有序。

3. 实现：对序列进行若干趟扫描，每遇到相邻逆序对，交换之，直至不再存在逆序对。

4. 算法的正确性分析：

（1）不变性（问题已求解的部分扩大）：每一轮扫描交换，都会使当前未就位的元素中最大的那个就位（每次冒出一个最大的泡）

（2）单调性（问题未求解的规模递减）：每一轮扫描交换，都会使有序序列长度增1，无序序列长度减1，问题规模也因而减1

5. 实现为如下代码：

 void swap(int& a,int& b){
     int t=a;
     a=b;
     b=t;
 }

 void bubblesort(int a[],int n){
     bool sorted = false; //先假设尚未整体有序
     while(!sorted){ //进入循环体
         sorted=true; //假设现在前n项已有序
         for(int i=; i<n-; i++){ //进行一趟扫描交换（从0一直到n-1，判断每组相邻元素）
             if(a[i] > a[i+]){
                 swap(a[i],a[i+]);
                 sorted = false; //这一趟有交换则还需要再一趟扫描
             }
         }
         n--;//一趟扫描交换必然会冒出一个泡~所以后面已就位的元素可以不在下次的扫描范围内了
     }
 }
  

6. 复杂度分析：

（1）基本语句为第12行的if(a[i]>a[i+1])

（2）初始时，必然会进入第9行的while循环，然后进入第11行的for循环，基本语句被执行n-1次。

（3）最好情况是输入完全有序，while循环只进入一次，for循环执行n-1轮，因此基本语句相应地执行n-1次，T(n) = n-1=Ω(n)

（4）最坏情况是输入完全逆序，while循环被执行n次；在第 i 轮while循环中，for循环执行 i 轮，基本语句也相应地执行 i 次。因此基本语句累加执行n(n-1)/2次，T(n)=n(n-1)/2=O(n²)

Vector一章，对bubblesort有两次常数优化。

函数原型是这样的：

　　void bubble(Rank lo, Rank hi);

　　void bubbleSort(Rank lo, Rank hi);

Rank即向量元素的秩，在此被定义为int型。lo和hi为待排序区间的左、右界桩。

外部通过调用 v.bubbleSort(lo, hi) 来给向量v的区间[lo,hi)排序，而bubbleSort调用bubble(lo,hi)实现对每个无序子区间的收缩。

最朴素的bubblesort大概是这样，最好最坏平均情况都为O(n^2)

 //最朴素版
 void bubble(Rank lo, Rank hi) {
     while (++lo < hi){//从左至右扫描，修正相邻逆序对
         if (_elem[lo - ]>_elem[lo]){
             swap(_elem[lo - ], _elem[lo]);
         }
     }
 }
 void bubbleSort(Rank lo, Rank hi){
     while (lo < hi) bubble(lo, hi--);//右界桩每次向左挪一位
 }

第一次改进后是这样，这种改进很常见，能使最好情况变为为O(n)。

 bool bubble(Rank lo, Rank hi) {
     bool sorted=true;//增设sorted变量，记录此次扫描是否发生交换（未发生交换则sorted=true）
     while (++lo < hi){
         if (_elem[lo - ]>_elem[lo]){
             sorted = false;
             swap(_elem[lo - ], _elem[lo]);
         }
     }
     return sorted;//返回是否已有序
 }
 void bubbleSort(Rank lo, Rank hi){
     while (!bubble(lo, hi--));//一趟扫描没有发生交换（检测结果为sorted）则排序完成
 }

第二次改进后是这样，可以跳跃式地收缩区间，降低了平均情况常数因子

 Rank bubble(Rank lo, Rank hi) {
     Rank last=lo;//设置last变量，记录最后一次交换的位置
     while (++lo < hi){;}

             swap(_elem[lo - ], _elem[lo]);
         if (_elem[lo - ]>_elem[lo]){
             last = lo
         }
         return last;//last及以后的元素都已就位，不必再进行扫描
 }
 void bubbleSort(Rank lo, Rank hi){
     while (lo<(hi=bubble(lo, hi--)));//将右界桩挪到最后一次last位置
 }

第二次改进可用下图来描述