数组重排，O(1)空间

问题描述：

有个长度2n的数组{a1,a2,a3,...,an,b1,b2,b3,...,bn}，希望排序后{a1,b1,a2,b2,....,an,bn}，要求时间复杂度O(n)，空间复杂度0(1)

 

分析过程：

这个题其实一点不难，关键是考虑空间复杂度O(1)，大部分人一开始想到的肯定是搞一个新数组。但是真的有必要吗？为了便于分析，令旧数组为OldA[]，新数组为NewA[]，那么在给NewA[i]赋值的时候，NewA[0..i-1]对应的OldA[]中i个元素的空间并不会被再次使用到，所以从空间角度来说，搞个新数组，确实是不必要的。

 

所以，现在思路是保存一个这样的对象[Val, Ptr] 代表Val这个元素，要放在Ptr的位置上。（这个思路和冒泡排序简化一直swap的操作类似，先把要往上或者往下冒的值保存，然后到最终位置放进去，中间就没有swap过程，只有赋值过程）

 

所以，整个操作就是如下3步的循环执行：

[ TVal, TPtr ]  <- [ OldA[TPtr], new_place(TPtr) ]

OldA[Ptr] = Val;

[ Val, Ptr ] = [ TVal, TPtr ]

 

至于new_place 函数，其实就是计算目标位置的函数，可以如下实现：

return x<N ? (2*x) ? (2*(x-N)+1);

 

现在呢，该怎么继续，首先我们必须证明我们的解法是有效的：

对于x<N 的情况， 2*x = x  =>   x = 0

对于x>=N 的情况，2*(x-N)+1 = x  =>  x = 2N – 1

说明：只有OldA[0] 与OldA[2N-1]的位置没有变化，其他位置就都进行了变化。剩下的2N-2个元素按照我的3步不断循环执行，构成的一个环，正好包含着2N-2个元素。

 

最终答案：

if (N <= 1) return;
 
[ Val, Ptr ] <- [ OldA[1], new_place(1)]
 
while (1) {
   [ TVal, TPtr ] <- [ OldA[Ptr], new_place(Ptr) ];
   OldA[Ptr] = Val;
   
   if (Ptr == 1) break;
   else [ Val, Ptr ] <- [ TVal, TPtr ];
}