冒泡排序交换次数证明

naturerun

已于 2024-10-27 00:04:06 修改

阅读量679

点赞数 21

文章标签：排序算法算法数据结构

于 2024-05-28 12:14:19 首次发布

本文链接：https://blog.csdn.net/naturerun/article/details/139114634

版权

我来尝试解答一下这个问题，主要是要给出严格证明

原理比较微妙，实际上也很简单

Donald E. Knuth著计算机程序设计艺术卷3:排序与查找(第二版)中译本贾洪峰译人民邮电出版社

p8提到了 $1, 2, - - -, n$ 的排列 $a_{1}a_{2}---a_{n}$ 反序表 $b_{1}b_{2}---b_{n}$ 的概念，请先熟悉一下这个概念

设第k轮冒泡开始前被排序序列为 $a_{1}a_{2}---a_{n-k+1}a_{n-k+2}---a_{n}$ , $n$ 为被排序元素个数

$a_{n-k+2}---a_{n}$ 为已经沉底的前 $k - 1$ 大元素, $a_{1}a_{2}---a_{n-k+1}$ 为排序区

然后根据本书p83页定理I.的证明我们可以看出，对于冒泡排序中第k轮当前扫描到的位置i(i不是被排序序列的第一个位置且i位于本轮冒泡中被排序的区域，而不位于已经沉到排序序列底部的最大的若干元素,即 $1 < i < n - k + 2$ ),设位置i上的被排序元素为 $a_{i}$ ,如果i前面有比 $a_{i}$ 更大的元素,则 $a_{i}$ 必和i前面所有元素中的最大元素交换，而根据冒泡排序的执行过程，本轮冒泡中i 处元素和它前面相邻元素的交换只会执行这一次,而该次交换发生后 $b_{a_{i}}$ 恰减1(注意随后其值一直保持不变直到本轮冒泡结束)，另外如果i前面没有比 $a_{i}$ 更大的元素，则本轮冒泡中i处元素 $a_{i}$ 不会和它前面相邻元素发生交换,不会执行位置i和其前面相邻位置的交换并且 $b_{a_{i}}$ 保持不变为0.此外由已经沉底的最大诸元素构成的非排序区中的任意位置 $j (n - k + 1 < j <= n)$ 满足在本轮冒泡中 $a_{j}$ 没有和前面相邻元素交换且 $b_{a_{j}}$ 保持不变为0 最后注意到位置1前面没有元素且 $b_{a_{1}}$ 在本轮冒泡中保持不变为0(因为 $a_{1}$ 就算被交换到后面其前面元素也不可能比它大)

由此可知，在第k轮冒泡中,任意位置i上的元素和其前面相邻位置上的元素发生交换当且仅当 $b_{a_{i}}$ 减1，因此第k轮冒泡中交换操作的总次数恰为本轮冒泡中满足 $b_{a_{i}}$ 被减1的i的数目，因此任意一轮冒泡中的交换次数即为反序表 $b_{i}1<=i<=n$ 中被减1的元素个数，我们知道当反序表中的元素全为0时(再经过一轮冒泡，但最后一轮冒泡没有发生交换)冒泡排序终止，且当且仅当 $b_{i}$ 不为0时才会被减1，因此结合以上几个结论，冒泡排序的交换总次数就是初始序列的反序表 $b_{1}b_{2}---b_{n}$ 所有元素变成0所需的减1操作的总数目， $b_{i}$ 变为0所需的减1操作的总数目即为 $b_{i}$ ,从而反序表所有元素变成0所需的减1操作的总数目是 $\sum_{i=1}^{n}$ ${b_{i}}=b_{1}+---+b_{n}$ ，此即冒泡排序的总交换次数，也就是初始排列的逆序数