合并两个有序链表

题目介绍

力扣21题：https://leetcode-cn.com/problems/merge-two-sorted-lists/
将两个升序链表合并为一个新的 升序 链表并返回。新链表是通过拼接给定的两个链表的所有节点组成的。

分析

链表节点结构已经定义好，而且已经做了升序排列。现在我们需要分别遍历两个链表，然后依次比较，按从小到大的顺序生成新的链表就可以了。这其实就是“归并排序”的思路。

方法一：迭代

最简单的想法，就是逐个遍历两个链表中的节点，依次比对。

我们假设原链表为list1和list2。只要它们都不为空，就取出当前它们各自的头节点就行比较。值较小的那个结点选取出来，加入到结果链表中，并将对应原链表的头（head）指向下一个结点；而值较大的那个结点则保留，接下来继续做比对。

另外，为了让代码更加简洁，我们可以引入一个哨兵节点（sentinel），它的next指向结果链表的头结点，它的值设定为-1。
代码演示如下：

// 方法一：迭代法
 public ListNode mergeTwoLists1(ListNode l1, ListNode l2){
     // 首先，定义一个哨兵节点，它的next指向最终结果的头节点
     ListNode sentinel = new ListNode(-1);

     // 保存当前结果链表里的最后一个节点，作为判断比较的“前一个节点”
     ListNode prev = sentinel;

     // 迭代遍历两个链表，直到至少有一个为null
     while ( l1 != null && l2 != null ){
         // 比较当前两个链表的头节点，较小的那个就接在结果链表末尾
         if (l1.val <= l2.val){
             prev.next = l1;    // 将l1头节点连接到prev后面
             prev = l1;    // 指针向前移动，以下一个节点作为链表头节点
             l1 = l1.next;
         } else {
             prev.next = l2;    // 将l2头节点连接到prev后面
             prev = l2;    // 指针向前移动，以下一个节点作为链表头节点
             l2 = l2.next;
         }
     }

     // 循环结束，最多还有一个链表没有遍历完成，因为已经排序，可以直接把剩余节点接到结果链表上
     prev.next = (l1 == null) ? l2 : l1;

     return sentinel.next;
 }

复杂度分析

• 时间复杂度：O(n + m) ，其中 n 和 m 分别为两个链表的长度。因为每次循环迭代中，l1 和 l2只有一个元素会被放进合并链表中， 因此 while循环的次数不会超过两个链表的长度之和。所有其他操作的时间复杂度都是常数级别的，因此总的时间复杂度为 O(n+m)。
• 空间复杂度：O(1)。我们只需要常数的空间存放若干变量。

方法二：递归

用递归的方式同样可以实现上面的过程。

当两个链表都不为空时，我们需要比对当前两条链的头节点。取出较小的那个节点；而两条链其余的部分，可以递归调用，认为它们已经排好序。所以我们需要做的，就是把前面取出的那个节点，接到剩余排好序的链表头节点前。

代码演示如下：

// 方法二：递归
public ListNode mergeTwoLists(ListNode l1, ListNode l2){
    // 基准情况
    if (l1 == null) return l2;
    if (l2 == null) return l1;

    // 比较头节点
    if (l1.val <= l2.val){
        // l1头节点较小，直接提取出来，剩下的l1和l2继续合并，接在l1后面
        l1.next = mergeTwoLists(l1.next, l2);
        return l1;
    } else {
        l2.next = mergeTwoLists(l1, l2.next);
        return l2;
    }
}

复杂度分析

• 时间复杂度：O(n + m)，其中 nn 和 m 分别为两个链表的长度。因为每次调用递归都会去掉 l1 或者 l2的头节点（直到至少有一个链表为空），函数 mergeTwoList至多只会递归调用每个节点一次。因此，时间复杂度取决于合并后的链表长度，即 O(n+m)。
• 空间复杂度：O(n + m)，其中 n 和 m 分别为两个链表的长度。递归调用 mergeTwoLists函数时需要消耗栈空间，栈空间的大小取决于递归调用的深度。结束递归调用时 mergeTwoLists 函数最多调用 n+m次，因此空间复杂度为 O(n+m)。