假设i, i+1这两条线没有比较器，考虑如下0,1序列
... 0, 0,0, 1, 0, 1, 1, ...
ai = 1, ai+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,
以上三种情况都不会改变ai和ai+1的值，因此最后的输出不是有序的
转载于:https://www.cnblogs.com/ellusak/archive/2012/08/01/2618622.html
