剑指offer35.复杂链表的复制（拼接+拆分）

题目：

请实现 copyRandomList 函数，复制一个复杂链表。在复杂链表中，每个节点除了有一个 next 指针指向下一个节点，还有一个 random 指针指向链表中的任意节点或者 null。

示例 1：

输入：head = [[7,null],[13,0],[11,4],[10,2],[1,0]]
输出：[[7,null],[13,0],[11,4],[10,2],[1,0]]
示例 2：

输入：head = [[1,1],[2,1]]      输出：[[1,1],[2,1]]
示例 3：

输入：head = [[3,null],[3,0],[3,null]]      输出：[[3,null],[3,0],[3,null]]
示例 4：

输入：head = []      输出：[]
解释：给定的链表为空（空指针），因此返回 null。

提示：

• -10000 <= Node.val <= 10000
• Node.random 为空（null）或指向链表中的节点。
• 节点数目不超过 1000 。

解题思路：

给定链表的头节点head，复制普通链表很简单，只需遍历链表，每轮建立新节点+构建前驱节点pre和当前节点node的引用指向即可，如下图所示：

实现代码为：

class Solution:
    def copyRandomList(self, head: 'Node') -> 'Node':
        cur = head
        dum = pre = Node(0)
        while cur:
            node = Node(cur.val) # 复制节点 cur
            pre.next = node      # 新链表的 前驱节点 -> 当前节点
            # pre.random = '???' # 新链表的 「 前驱节点 -> 当前节点 」 无法确定
            cur = cur.next       # 遍历下一节点
            pre = node           # 保存当前新节点
        return dum.next

但是本题链表的节点新增了random指针，指向链表中的任意节点或null，那么意味着random指针在复制过程中，除了构建前驱节点和当前节点的引用指向pre.next，还要构建前驱节点和其随机节点的引用指向pre.random。

可以考虑拼接+拆分的方法，考虑构建原节点 1 -> 新节点 1 -> 原节点 2 -> 新节点 2 -> …… 的拼接链表，如此便可在访问原节点的 random 指向节点的同时找到新对应新节点的 random 指向节点。

算法的流程：

1. 复制各节点，构建拼接链表：设原链表为node1->node2->...，构建的拼接链表为：node1->node1(new)->node2->node2(new)->...
2. 构建新链表各节点的random指向：当访问原节点cur的随机指向节点cur.random时，对应新节点cur.next的随机指向节点为cur.random.next
3. 拆分原/新链表：设置pre/cur分别指向原/新链表头节点，遍历执行pre.next=pre.next和cur.next=cur.next.next将两链表拆分开
4. 返回新链表的头节点res

代码：

class Solution:
    def copyRandomList(self, head: 'Node') -> 'Node':
        if not head: return
        cur = head
        # 1. 复制各节点，并构建拼接链表
        while cur:
            tmp = Node(cur.val)
            tmp.next = cur.next
            cur.next = tmp
            cur = tmp.next
        # 2. 构建各新节点的 random 指向
        cur = head
        while cur:
            if cur.random:
                cur.next.random = cur.random.next
            cur = cur.next.next
        # 3. 拆分两链表
        cur = res = head.next
        pre = head
        while cur.next:
            pre.next = pre.next.next
            cur.next = cur.next.next
            pre = pre.next
            cur = cur.next
        pre.next = None # 单独处理原链表尾节点
        return res      # 返回新链表头节点

复杂度：

• 时间复杂度：O(N)，三轮遍历链表，使用O(N)时间
• 空间复杂度：O(1),节点引用变量使用常数大小的额外空间