冒泡排序算法

一直以为自己会冒泡排序算法的，但是真正执行程序之后才发现，我自以为的简单东西居然是我自己记错了!

好记性不如烂笔头啊！所以，今天起再简单的，细微的东西都会记录在博客里面!

下面冒泡排序：

伪代码：

BUBBLES-SORT(A)

for i = 1 to A.length - 1
	for j = A.length downto i + 1
		if A[j] < A[j - 1]
			exchange A[j] with A[j - 1]

b. 为第2~4行的 for 循环精确的说明一个循环不变式，并证明该循环不变式成立。

证明：

初始化：j = n, 子数组为 A[j..n] 即 A[n..n], 此过程中仅有一个元素因此A[j]是最小的元素

保持：如果A[j..n]中 A[j] 是最小的元素，那么当插入A[j-1]时，如果A[j] < A[j-1] 则互换A[j], A[j-1], 否则A[j-1]直接插入A[j..n]的最前面， 因此

A[j-1..n]数组里面A[j-1]<=A[j..n],即A[j-1]是数组A[j-1..n]最小元素之一(A[j-1] == A[j] 时，如果 A[j-1] < A[j] 时A[j-1]就是最小的元素)

终止：j =