起泡排序

问题：给定n个整数，将他们按（非降）序排列
观察：有序/无序的序列中，任意/总有一对相邻元素顺序/逆序
扫描交换：一次比较每一对相邻元素，如有必要，交换之。若整趟扫描都没有进行交换，则排序完成;否则，再做一趟扫描交换。

void bubblesort(int A[],int n) {//将进一步改进
for (bool sorted = false; sortedorted; n--)//逐趟扫描交换，直至完全有序
for (int i = 1; i < n; i++)//自左向右，逐对检查A[0，n)内各相邻元素
if (A[i-1] > A[i]){ //若逆序，则
swap(A[i-1]，A[i]);//令其互换，同时
sorted = false;//清除（全局)有序标志

不变性:经k轮扫描交换后，最大的k个元素必然就位
单调性:经k轮扫描交换后，问题规模缩减至n-k
正确性:经至多n趟扫描后，算法必然终止，且能给出正确解答