冒泡排序
冒泡排序是一种简单的交换排序算法。
排序的过程是在数组段a[0..m-1]内，重复地走访要排序的元素列，依次比较两个相邻的元素 a[i] 和 a[i+1]。
如果是增序排序，当a[i] > a[i+1] 则交换 a[i] 和 a[i+1] 的位置。这样每一轮的比较都能确定这一轮的最大元素并位于数组段的最后。
重复上述的工作，直到没有相邻元素需要交换，这时该元素列已经排序完成。（验证时间约 15sec）
[Back to Index]
验证特点：排序，量化断言
标注说明：函数前条件：给出排序前数组a的性质：长度和偏移；
函数后条件：给出排序后数组a的有序性（递增）描述。
程序样例 
