在O(nlgn)時間里面對鏈表排序，且使用特定的空間。看到這個時間很容易想到的是快排，堆排，歸并排序這幾個時間復雜度滿足條件的排序。但是快排是建立在容器可以有隨機存取的能力上的，鏈表顯然不具有，那么我們就此想到堆排序和歸并。堆排序我忘了，但是歸并是會的。有一點是歸并雖然時間是滿足的，但是要有O(n)的空間去存放。想到我們這里是鏈表，我們只要改變指針就可以達到這種效果，那么我們就使用歸并排序試一下。
歸并排序需要不斷的二分鏈表知道單個cell，然后再組合起來。我們怎么二分鏈表呢，很好搞，用快慢指針來搞。好了基本思想就是這樣，代碼實現起來。

class Solution
{
public:
    ListNode* sortlist(ListNode* head)
    {
        if(!head || !head->next)
            return head;
        ListNode* p = head,*q = head->next;
        //為什么q初始的時候要設置成phead->next呢，考慮只有兩個節點的情況
        while(q&&q->next)
        {
            p = p->next;
            q = q->next->next;//
        }
        ListNode* left = sortlist(p->next);
        p->next = NULL;
        ListNode* right = sortlist(head);
        return merge(left,right);
    }

    ListNode* merge(ListNode* left,ListNode * right)
    {
        ListNode dummy(0);
        ListNode* p = &dummy;
        while(left&&right)
        {
            if(left->val < right->val)
            {
                p->next = left;
                left = left->next;
            }
            else
            {
                p->next = right;
                right = right->next;
            }
            p = p->next;
        }
        if(left) p->next = left;
        if(right) p->next = right;
        return dummy.next;
    }
}

代碼就是這樣的，那么我發現一個問題，每次merge的時候都要申請一個node，這樣的merge上來需要的空間不也是O(n)了。