遺忘比較交換算法

遺忘比較交換算法(oblivious compare-exchange algorithm):是指算法只按照事先定義好的操作執行，即需要比較的位置下標必須事先確定好。雖然算法可能依靠待排序元素個數，但它不能依賴待排序元素的值，也不能依賴任何之前的比較交換操作的結果。
0-1排序引理提供了有力的方法來證明一個遺忘比較交換算法可以產生正確的排序結果。該引理表明，如果一個遺忘比較交換算法能夠對所有只包含0和1的輸入序列排序，那么它也可以對包含任意值得輸入序列排序。