160. 相交链表

160. 相交链表 - 力扣（LeetCode）

简单

给你两个单链表的头节点headA和headB，请你找出并返回两个单链表相交的起始节点。如果两个链表不存在相交节点，返回null。

图示两个链表在节点c1开始相交：

题目数据保证整个链式结构中不存在环。

注意，函数返回结果后，链表必须保持其原始结构。

自定义评测：

评测系统的输入如下（你设计的程序不适用此输入）：

• intersectVal- 相交的起始节点的值。如果不存在相交节点，这一值为0
• listA- 第一个链表
• listB- 第二个链表
• skipA- 在listA中（从头节点开始）跳到交叉节点的节点数
• skipB- 在listB中（从头节点开始）跳到交叉节点的节点数

评测系统将根据这些输入创建链式数据结构，并将两个头节点headA和headB传递给你的程序。如果程序能够正确返回相交节点，那么你的解决方案将被视作正确答案。

示例 1：

输入：intersectVal = 8, listA = [4,1,8,4,5], listB = [5,6,1,8,4,5], skipA = 2, skipB = 3 输出：Intersected at '8' 解释：相交节点的值为 8 （注意，如果两个链表相交则不能为 0）。 从各自的表头开始算起，链表 A 为 [4,1,8,4,5]，链表 B 为 [5,6,1,8,4,5]。 在 A 中，相交节点前有 2 个节点；在 B 中，相交节点前有 3 个节点。 — 请注意相交节点的值不为 1，因为在链表 A 和链表 B 之中值为 1 的节点 (A 中第二个节点和 B 中第三个节点) 是不同的节点。换句话说，它们在内存中指向两个不同的位置，而链表 A 和链表 B 中值为 8 的节点 (A 中第三个节点，B 中第四个节点) 在内存中指向相同的位置。

示例 2：

输入：intersectVal = 2, listA = [1,9,1,2,4], listB = [3,2,4], skipA = 3, skipB = 1 输出：Intersected at '2' 解释：相交节点的值为 2 （注意，如果两个链表相交则不能为 0）。 从各自的表头开始算起，链表 A 为 [1,9,1,2,4]，链表 B 为 [3,2,4]。 在 A 中，相交节点前有 3 个节点；在 B 中，相交节点前有 1 个节点。

示例 3：

输入：intersectVal = 0, listA = [2,6,4], listB = [1,5], skipA = 3, skipB = 2 输出：No intersection 解释：从各自的表头开始算起，链表 A 为 [2,6,4]，链表 B 为 [1,5]。 由于这两个链表不相交，所以 intersectVal 必须为 0，而 skipA 和 skipB 可以是任意值。 这两个链表不相交，因此返回 null 。

提示：

• listA中节点数目为m
• listB中节点数目为n
• 1 <= m, n <= 3 * 104
• 1 <= Node.val <= 105
• 0 <= skipA <= m
• 0 <= skipB <= n
• 如果listA和listB没有交点，intersectVal为0
• 如果listA和listB有交点，intersectVal == listA[skipA] == listB[skipB]

进阶：你能否设计一个时间复杂度O(m + n)、仅用O(1)内存的解决方案？

📝核心笔记：相交链表（双指针连接法）

1.核心思想（说法总结）

“你走过我走过的路，我走过你走过的路，我们终会相遇。”

两个指针分别走完自己的链表后，重新跳到对方链表的头继续走。因为A+B = B+A，彼此走的总路线一定相同，所以最后一定会在交点（或者终点null）相遇。

2. 逻辑图解（消除长度差）

比喻：

• 链表 A 长度 =a(强调) +c（公共）
• 链表 B 长度 =b(强调) +c（公共）
• 指针 p 的路径：走 A-》走B--》遍历的节点数：a + c + b
• 指针 q 的路径：走 B-》走A--》遍历的节点数：b + c + a
• 结果：正好，大家同时到达交接点（公共部分的起点）。

3. 代码回忆清单（极简版）

// 题目：LC 160. 相交链表 public ListNode getIntersectionNode(ListNode headA, ListNode headB) { ListNode p = headA, q = headB; // 循环条件：只要没相遇 (没变成同一个节点) while (p != q) { // 核心逻辑：走到尽头了吗？ // 走到头了 -> 换到对方开头 (headB) // 没走到头 -> 继续往下走 (next) p = (p != null) ? p.next : headB; q = (q != null) ? q.next : headA; } // 相遇时，p 就是交点；如果都不相交，p 就是 null (此时 p==q==null) return p; }

⚡ 快速复习清单（易错点）

• [ ]如果不相交会死循环吗？

• • 不会。如果不相交，A+B的长度相等B+A的长度。两个指针会同时走到各自路径的终点（高峰null）。此时p == null且q == null，满足p == q，循环结束，返回null。

• [ ]为什么要判空？

• • (p != null)是为了检测是否走到了当前链表本身的消耗。注意是判断p不是null（意味着刚走完上一步），而不是判断p.next。

• [ ]时间复杂度？

• • O(M+N)。每条链表最多被遍历两次。

🧠 场景关联

就像两辆速度一样的车，一辆跑北京一环+二环，一辆跑跑二环+北京一环。虽然出发点不同，但总的路线一样，最后肯定会同时到达终点。