从起泡排序探究算法正确性证明的一般规律

起泡排序

问题：该算法必然会结束？至少需要迭代多少趟？

不变性：经k 轮扫描交换后，最大的k 个元素必然就位

单调性：经k 轮扫描交换后，问题规模缩减至n-k

正确性：经至多n 趟扫描后，算法必然终止，且能给出正确解答