冒泡排序究竟有何独特之处?

摘要:来源:程序员小灰 ————— 当天上午 ————— 什么是冒泡排序? 冒泡排序的英文Bubble Sort,是一种最基础的交换排序。 大家一定都喝过汽水,汽水中常常有许多小小的气泡,哗啦哗啦飘到上面来。这是因为组成小气泡的二氧化碳比水要轻,
来源:程序员小灰 ————— 当天上午 ————— 什么是冒泡排序? 冒泡排序的英文Bubble Sort,是一种最基础的交换排序。 大家一定都喝过汽水,汽水中常常有许多小小的气泡,哗啦哗啦飘到上面来。这是因为组成小气泡的二氧化碳比水要轻,所以小气泡可以一点一点向上浮动。 而我们的冒泡排序之所以叫做冒泡排序,正是因为这种排序算法的每一个元素都可以像小气泡一样,根据自身大小,一点一点向着数组的一侧移动。 具体如何来移动呢?让我们来看一个栗子: 有8个数组成一个无序数列:5,8,6,3,9,2,1,7,希望从小到大排序。 按照冒泡排序的思想,我们要把相邻的元素两两比较,根据大小来交换元素的位置,过程如下: 首先让5和8比较,发现5比8要小,因此元素位置不变。 接下来让8和6比较,发现8比6要大,所以8和6交换位置。 继续让8和3比较,发现8比3要大,所以8和3交换位置。 继续让8和9比较,发现8比9要小,所以元素位置不变。 接下来让9和2比较,发现9比2要大,所以9和2交换位置。 接下来让9和1比较,发现9比1要大,所以9和1交换位置。 最后让9和7比较,发现9比7要大,所以9和7交换位置。 这样一来,元素9作为数列的最大元素,就像是汽水里的小气泡一样漂啊漂,漂到了最右侧。 这时候,我们的冒泡排序的第一轮结束了。数列最右侧的元素9可以认为是一个有序区域,有序区域目前只有一个元素。 下面,让我们来进行第二轮排序: 首先让5和6比较,发现5比6要小,因此元素位置不变。 接下来让6和3比较,发现6比3要大,所以6和3交换位置。 继续让6和8比较,发现6比8要小,因此元素位置不变。 接下来让8和2比较,发现8比2要大,所以8和2交换位置。 接下来让8和1比较,发现8比1要大,所以8和1交换位置。 继续让8和7比较,发现8比7要大,所以8和7交换位置。 第二轮排序结束后,我们数列右侧的有序区有了两个元素,顺序如下: 至于后续的交换细节,我们这里就不详细描述了,第三轮过后的状态如下: 第四轮过后状态如下: 第五轮过后状态如下: 第六轮过后状态如下: 第七轮过后状态如下(已经是有序了,所以没有改变): 第八轮过后状态如下(同样没有改变): 到此为止,所有元素都是有序的了,这就是冒泡排序的整体思路。 原始的冒泡排序是稳定排序。由于该排序算法的每一轮要遍历所有元素,轮转的次数和元素数量相当,所以时间复杂度是O(N^2)。 冒泡排序第一版: 1 /// <summary> 2 /// 第一版 3 /// </summary> 4 /// <param name="array"></param> 5 private static void Sort1(int[] array) 6 { 7 int tmp = 0; 8 9 for (int i = 0; i < array.Length; i++) 10 { 11 for (int j = 0; j < array.Length - i - 1; j++) 12 { 13 if (array[j] > array[j + 1]) 14 { 15 tmp = array[j]; 16 array[j] = array[j + 1]; 17 array[j + 1] = tmp; 18 } 19 } 20 } 21 } 代码非常简单,使用双循环来进行排序。外部循环控制所有的回合,内部循环代表每一轮的冒泡处理,先进行元素比较,再进行元素交换。 ———————————— 原始的冒泡排序有哪些优化点呢? 让我们回顾一下刚才描述的排序细节,仍然以5,8,6,3,9,2,1,7这个数列为例,当排序算法分别执行到第六、第七、第八轮的时候,数列状态如下: 很明显可以看出,自从经过第六轮排序,整个数列已然是有序的了。可是我们的排序算法仍然“兢兢业业”地继续执行第七轮、第八轮。 这种情况下,如果我们能判断出数列已经有序,并且做出标记,剩下的几轮排序就可以不必执行,提早结束工作。 冒泡排序第二版 1 /// <summary> 2 /// 第二版 3 /// </summary> 4 /// <param name="array"></param> 5 private static void Sort2(int[] array) 6 { 7 int tmp = 0; 8 9 for (int i = 0; i < array.Length; i++) 10 { 11 //有序标记,每一轮的初始是true 12 bool isSorted = true; 13 14 for (int j = 0; j < array.Length - i - 1; j++) 15 { 16 if (array[j] > array[j + 1]) 17 { 18 tmp = array[j]; 19 array[j] = array[j + 1]; 20 array[j + 1] = tmp; 21 22 //有元素交换,设置为false 23 isSorted = false; 24 } 25 } 26 27 //没有元素交换说明已经是有序列表则终止 28 if (isSorted) 29 break; 30 } 31 } 这一版代码做了小小的改动,利用布尔变量isSorted作为标记。如果在本轮排序中,元素有交换,则说明数列无序;如果没有元素交换,说明数列已然有序,直接跳出大循环。 为了说明问题,咱们这次找一个新的数列: 这个数列的特点是前半部分(3,4,2,1)无序,后半部分(5,6,7,8)升序,并且后半部分的元素已经是数列最大值。 让我们按照冒泡排序的思路来进行排序,看一看具体效果: 第一轮 元素3和4比较,发现3小于4,所以位置不变。 元素4和2比较,发现4大于2,所以4和2交换。 元素4和1比较,发现4大于1,所以4和1交换。 元素4和5比较,发现4小于5,所以位置不变。 元素5和6比较,发现5小于6,所以位置不变。 元素6和7比较,发现6小于7,所以位置不变。 元素7和8比较,发现7小于8,所以位置不变。 第一轮结束,数列有序区包含一个元素: 第二轮 元素3和2比较,发现3大于2,所以3和2交换。 元素3和1比较,发现3大于1,所以3和1交换。 元素3和4比较,发现3小于4,所以位置不变。 元素4和5比较,发现4小于5,所以位置不变。 元素5和6比较,发现5小于6,所以位置不变。 元素6和7比较,发现6小于7,所以位置不变。 元素7和8比较,发现7小于8,所以位置不变。 第二轮结束,数列有序区包含一个元素: 这个问题的关键点在哪里呢?关键在于对数列有序区的界定。 按照现有的逻辑,有序区的长度和排序的轮数是相等的。比如第一轮排序过后的有序区长度是1,第二轮排序过后的有序区长度是2 ...... 实际上,数列真正的有序区可能会大于这个长度,比如例子中仅仅第二轮,后面5个元素实际都已经属于有序区。因此后面的许多次元素比较是没有意义的。 如何避免这种情况呢?我们可以在每一轮排序的最后,记录下最后一次元素交换的位置,那个位置也就是无序数列的边界,再往后就是有序区了。 冒泡排序第三版 1 /// <summary> 2 /// 第三版 3 /// </summary> 4 /// <param name="array"></param> 5 private static void Sort3(int[] array) 6 { 7 int tmp = 0; 8 //记录最后一次交换的位置 9 int lastExchangeIndex = 0; 10 11 //无序数列的边界,每次比较只需要比到这里为止 12 int sortBorder = array.Length - 1; 13 14 for (int i = 0; i < array.Length; i++) 15 { 16 //有序标记,每一轮的初始是true 17 bool isSorted = true; 18 19 for (int j = 0; j < sortBorder; j++) 20 { 21 if (array[j] > array[j + 1]) 22 { 23 tmp = array[j]; 24 array[j] = array[j + 1]; 25 array[j + 1] = tmp; 26 //有元素交换,所以不是有序,标记变为false 27 isSorted = false; 28 29 //把无序数列的边界更新为最后一次交换元素的位置 30 lastExchangeIndex = j; 31 } 32 } 33 sortBorder = lastExchangeIndex; 34 if (isSorted) 35 { 36 break; 37 } 38 } 39 } 这一版代码中,sortBorder就是无序数列的边界。每一轮排序过程中,sortBorder之后的元素就完全不需要比较了,肯定是有序的。