完美洗牌算法

有一个长度为2n的数组{a1,a2,a3,...,an,b1,b2,b3,...,bn}，希望排序后变成{a1,b1,a2,b2,a3,b3,...,an,bn}，请考虑有没有时间复杂度为O(n)而空间复杂度为O(1)的解法。