0-1排序引理

《算法导论（第3版）》第8章 思考题8-7：

针对两个数组元素A[i]和A[j] (i<j) 的比较交换操作的形式如下：

COMPARE-EXCHANGE(A, i, j)
    if A[i] > A[j]
        exchange A[i] with A[j]

经过比较交换操作之后，我们得到A[i]≤A[j]。

遗忘比较交换算法是指算法只按照事先定义好的操作执行，即需要比较的位置下标必须事先确定好。虽然算法可能依靠待排序元素的值，也不能依赖任何之前的比较交换操作的结果。例如，下面是一个基于遗忘比较交换算法的插入排序：

INSERTION-SORT(A)
    for j = 2 to A.length