冒泡排序算法的分析与实现

                                       冒泡排序的分析与实现

一.概要

冒泡排序，俗称起泡排序。排序过程中，所有元素各自最终位置亦步亦趋的移动过程，犹如气泡在水中的上下沉浮。

1. 比较相邻的元素。如果第一个比第二个大，就交换他们两个。
2. 对每一对相邻元素做相同的工作，从开始一对到最后的一对。那么最后的元素应是最大的数。则该元素确定位置。
3. 针对所有的元素重复以上的步骤，除了已确定位置的。
4. 持续每次对越来越少的元素重复上面的步骤，直到没有任何一对数字要比较

二.实现

void bubblesort1A(int A[],int n)
{
    bool sorted=false;//初始假定未排序
    while(!sorted)
    {
       sorted=true;//假定已经排序
       for(int i=1;i<n;i++)//从左向右依次检查
          {
            if(A[i-1]>A[i])
              {
                 swap(A[i-1],A[i]);//交换
                 sorted=false;//使之标志为未排序
              }
           }
         n--;
     }//为true时退出
}

三.分析

时间复杂度

        若文件的初始状态是正序的，一趟扫描即可完成。比较次数C=n-1，移动次数M=0；所以最好时间复杂度O(n^2)

       若文件的初始状态是反序的，需要进行n-1趟排序，每趟排序要进行 n-i 次比较（1<=i<=n-1）。其中交换共三步，耗时常数项时间。 比较次数sum（n-i），其中1<=i<=n-1; 所以C=n*(n-1)/2    M=3*n*(n-1)/2;  不考虑常数项及低次项     所以最坏时间复杂度为O(n^2)。综上，平均复杂度为O(n^2)。

正确性

       循环不变式：

   初始化：首先，先证明对于第一轮迭代开始之前，循环不变式是成立的。此时i=1，而子数组为A[1..i]。亦即，它只包含一个元素A[1]，实际上就是最初A[1]中的那个元素。这个子数组是已排序的，这样就证明了循环不变式在循环的第一轮迭代开始之前是成立的。

     保持：接下来，我们来考虑第二个性质：证明每一轮循环都能使循环不变式保持成立。从非形式化的意义上来看，j从length[A]到i+1，如果遇到后一个元素大于前一个元素时，交换两个元素的值，这就保证了A[i+1]是A[i+1..n]中最小的元素，那么考虑到A[1..i]子数组是已经排序的，且是最小的i个元素，那么A[1..i+1]子数组一定是排序的，且是A[1..n]数组中n个元素中最小的i+1个元素。这样就证明了每一轮循环都能使循环不变式保持成立。

终止：最后，分析一下循环结束时的情况。对于冒泡排序，当i大于n时，外层循环结束。在循环不变式中，那么意味着A[1..n]子数组包含了原来数组的最小的n个元素，且已经排序完成。但是，子数组A[1..n]其实就是整个数组，因此，整个数组就排序好了，这意味着算法是正确的。

四.另一种实现

void bubbleSort (elemType arr[], int len) 
{
    for (int i=0; i<len-1; i++) /* 外循环为排序趟数，len个数进行len-1趟 */
        for (int j=0; j<len-1-i; j++)* 内循环为每趟比较的次数，第i趟比较len-i次 */
            { 
                if (arr[j] > arr[j+1])                                                     
                swap(arr[j],arr[j+1]);
            }
}