算法导论 CLRS 27.2-5 解答

假设i, i+1这两条线没有比较器，考虑如下0,1序列

 

... 0, 0,0, 1, 0, 1, 1, ...

 a_i = 1, a_i+1=0

 

所有比较器Cx,y只有三种情况：

 1. x<i, y<=i, 

 2. x<=i, y>=i+1 且不是x=i, y=i+1

 3. x >=i+1, y>i+1,

以上三种情况都不会改变a_i和a_i+1的值，因此最后的输出不是有序的