描述
合并 k 个升序的链表并将结果作为一个升序的链表返回其头节点。
数据范围:节点总数满足 0 ≤ n ≤ 105 ,链表个数满足 1 ≤ k ≤ 105,每个链表的长度满足 1 ≤ len ≤ 200 ,每个节点的值满足 ∣val∣ <= 1000
要求:时间复杂度 O(nlogk)
示例1
输入:[{1,2,3},{4,5,6,7}]
返回值:{1,2,3,4,5,6,7}
示例2
输入:[{1,2},{1,4,5},{6}]
返回值:{1,1,2,4,5,6}
方法一:归并排序思想(推荐使用)
知识点1:双指针
双指针指的是在遍历对象的过程中,不是普通的使用单个指针进行访问,而是使用两个指针(特殊情况甚至可以多个),两个指针或是同方向访问两个链表、或是同方向访问一个链表(快慢指针)、或是相反方向扫描(对撞指针),从而达到我们需要的目的。
知识点2:分治
分治即“分而治之”,“分”指的是将一个大而复杂的问题划分成多个性质相同但是规模更小的子问题,子问题继续按照这样划分,直到问题可以被轻易解决;“治”指的是将子问题单独进行处理。经过分治后的子问题,需要将解进行合并才能得到原问题的解,因此整个分治过程经常用递归来实现。
思路:
如果是两个有序链表合并,我们可能会利用归并排序合并阶段的思想:准备双指针分别放在两个链表头,每次取出较小的一个元素加入新的大链表,将其指针后移,继续比较,这样我们出去的都是最小的元素,自然就完成了排序。
其实这道题我们也可以两两比较啊,只要遍历链表数组,取出开头的两个链表,按照上述思路合并,然后新链表再与后一个继续合并,如此循环,知道全部合并完成。但是,这样太浪费时间了。
既然都是归并排序的思想了,那我们可不可以直接归并的分治来做,而不是顺序遍历合并链表呢?答案是可以的!
归并排序是什么?简单来说就是将一个数组每次划分成等长的两部分,对两部分进行排序即是子问题。对子问题继续划分,直到子问题只有1个元素。还原的时候呢,将每个子问题和它相邻的另一个子问题利用上述双指针的方式,1个与1个合并成2个,2个与2个合并成4个,因为这每个单独的子问题合并好的都是有序的,直到合并成原本长度的数组。
对于这k个链表,就相当于上述合并阶段的k个子问题,需要划分为链表数量更少的子问题,直到每一组合并时是两两合并,然后继续往上合并,这个过程基于递归:
- 终止条件: 划分的时候直到左右区间相等或左边大于右边。
- 返回值: 每级返回已经合并好的子问题链表。
- 本级任务: 对半划分,将划分后的子问题合并成新的链表。
具体做法:
- step 1:从链表数组的首和尾开始,每次划分从中间开始划分,划分成两半,得到左边 n / 2 个链表和右边 n / 2 个链表。
- step 2:继续不断递归划分,直到每部分链表数为1.
- step 3:将划分好的相邻两部分链表,按照两个有序链表合并的方式合并,合并好的两部分继续往上合并,直到最终合并成一个链表。
图示:
代码:
class Solution {
public:
//两个有序链表合并函数
ListNode* Merge2(ListNode* pHead1, ListNode* pHead2) {
//一个已经为空了,直接返回另一个
if(pHead1 == NULL)
return pHead2;
if(pHead2 == NULL)
return pHead1;
//加一个表头
ListNode* head = new ListNode(0);
ListNode* cur = head;
//两个链表都要不为空
while(pHead1 && pHead2){
//取较小值的节点
if(pHead1->val <= pHead2->val){
cur->next = pHead1;
//只移动取值的指针
pHead1 = pHead1->next;
}else{
cur->next = pHead2;
//只移动取值的指针
pHead2 = pHead2->next;
}
//指针后移
cur = cur->next;
}
//哪个链表还有剩,直接连在后面
if(pHead1)
cur->next = pHead1;
else
cur->next = pHead2;
//返回值去掉表头
return head->next;
}
//划分合并区间函数
ListNode* divideMerge(vector<ListNode *> &lists, int left, int right){
if(left > right)
return NULL;
//中间一个的情况
else if(left == right)
return lists[left];
//从中间分成两段,再将合并好的两段合并
int mid = (left + right) / 2;
return Merge2(divideMerge(lists, left, mid), divideMerge(lists, mid + 1, right));
}
ListNode *mergeKLists(vector<ListNode *> &lists) {
//k个链表归并排序
return divideMerge(lists, 0, lists.size() - 1);
}
};
运行时间:63ms
超过13.18% 用C++提交的代码
占用内存:18952KB
超过1.41%用C++提交的代码
复杂度分析:
时间复杂度:O(nlog2k),其中nnn为所有链表的总节点数,分治为二叉树型递归,最坏情况下二叉树每层合并都是 O(n)个节点,因为分治一共有O(log2k)层
空间复杂度:O(log2k),最坏情况下递归log2k层,需要log2k的递归栈
方法二:优先队列(扩展思路)
知识点:优先队列
优先队列即PriorityQueue,是一种内置的机遇堆排序的容器,分为大顶堆与小顶堆,大顶堆的堆顶为最大元素,其余更小的元素在堆下方,小顶堆与其刚好相反。且因为容器内部的次序基于堆排序,因此每次插入元素时间复杂度都是O(log2n),而每次取出堆顶元素都是直接取出。
思路:
如果非要按照归并排序的合并思路,双指针不够用,我们可以直接准备kkk个指针,每次比较得出kkk个数字中的最小值。为了快速比较kkk个数字得到最小值,我们可以利用Java提供的PriorityQueue或者C++SLT提供的优先队列或者Python提供的PriorityQueue可以实现,它是一种参照堆排序的容器,容器中的元素是有序的,如果是小顶堆,顶部元素就是最小的,每次可以直接取出最小的元素。也就是说
每次该容器中有k个元素,我们可以直接拿出最小的元素,再插入下一个元素,相当于每次都是链表的k个指针在比较大小,只移动最小元素的指针。
具体做法:
- step 1:C++需要重载比较方法,构造一个比较链表节点大小的小顶堆。
- step 2:先遍历k个链表头,将不是空节点的节点加入优先队列。
- step 3:每次依次弹出优先队列中的最小元素,将其连接在合并后的链表后面,然后将这个节点在原本链表中的后一个节点(如果不为空的话)加入队列,类似上述归并排序双指针的过程。
代码:
class Solution {
public:
struct cmp {
//重载小顶堆比较方式
bool operator()(ListNode* a, ListNode* b) {
return a->val > b->val;
}
};
ListNode *mergeKLists(vector<ListNode *> &lists) {
//小顶堆
priority_queue<ListNode*, vector<ListNode*>, cmp> pq;
//遍历所有链表第一个元素
for(int i = 0; i < lists.size(); i++){
//不为空则加入小顶堆
if(lists[i] != NULL)
pq.push(lists[i]);
}
//加一个表头
ListNode* res = new ListNode(-1);
ListNode* head = res;
//直到小顶堆为空
while(!pq.empty()){
//取出最小的元素
ListNode* temp = pq.top();
pq.pop();
//连接
head->next = temp;
head = head->next;
//每次取出链表的后一个元素加入小顶堆
if(temp->next != NULL)
pq.push(temp->next);
}
return res->next;
}
};
运行时间:64ms
超过12.44% 用C++提交的代码
占用内存:16500KB
超过15.05%用C++提交的代码
复杂度分析:
时间复杂度:O(nlog2k),其中nnn为所有链表的总节点数,最坏需要遍历所有的节点,每次加入优先队列排序需要 O(log2k)
空间复杂度:O(k),优先队列的大小不会超过 k
官方解释~