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