从起泡排序探究算法正确性证明的一般规律 起泡排序 问题:该算法必然会结束?至少需要迭代多少趟? 不变性:经k 轮扫描交换后,最大的k 个元素必然就位 单调性:经k 轮扫描交换后,问题规模缩减至n-k 正确性:经至多n 趟扫描后,算法必然终止,且能给出正确解答