摘要： (冒泡排序的正确性)冒泡排序是一种流行但低效的排序算法，它的作用是反复交换相邻的为按次序排列的元素。 a.假设A'表示BubbleSort(A)的输出。为了证明BubbleSort正确，我们必须证明它将终止并且有： 为了证明BubbleSort确实完成了排序，我们还需要证明什么？下面两部分将证明不等 阅读全文