常数空间实现归并排序

今天写了一道题，要求用O(nlogn)的时间复杂度排序。单链表存储的。快排，堆排序，归并排序的时间复杂度是O(nlogn)，只有归并排序比较适合单链表的操作。
题目又要求，空间复杂度是常数级别的。这里我们知道，普通的归并排序，空间复杂度是由辅助空间和递归的栈空间构成的。
一开始以为指的是辅助空间，消除辅助空间的归并方法有如下两种。

• 两条链表，确定一个次序，比如第一条链表存小的值。然后要是第一条链表值大于第二条链表，交换。由于交换过后，可能导致第二条链表不是有序的，在这里可以使用冒泡排序的方法让其有序。这样，并没有使用到辅助空间。
• 还有一种，就是创建k个元素的辅助空间，k远小于链表长度。然后每次用这k个空间实现交换。

如果使用递归，递归栈也是要占用空间的。使用要想真正使用常数空间实现归并排序，就不能用递归。自顶向下的归并排序方法，需要用到递归。那可以考虑自底向上的排序方法。

• 从长度为1开始，两两排序，最后向上合并。具体可参考148.排序链表