,4,7）；（5,3,6,9）送入（2,2）归并器中归并，得到结果为（3,5,6,9），接着将这两个排号序的序列进行洗牌比较：(1,3<->2,5<->4,6<->7,9)=>(1,2,3,4,5,6,7,9)。可以证明这个算法是正确的，我们要用到高德纳（Donald Ervin Knuth）的0-1原理，我们发现，对于输入的任意两个有序的0,1序列，奇序列与偶序列正好相差0个，1个或2个0。由于奇序列的第一个元素不参与最后的洗牌比较，所以参与比较的0,1数偶只有0个或1个，所以对0,1序列一定能够得到