起泡排序
问题：该算法必然会结束？至少需要迭代多少趟？
不变性：经k 轮扫描交换后，最大的k 个元素必然就位
单调性：经k 轮扫描交换后，问题规模缩减至n-k
正确性：经至多n 趟扫描后，算法必然终止，且能给出正确解答
从起泡排序探究算法正确性证明的一般规律
原文：http://www.cnblogs.com/Code-Rush/p/4566862.html
