160. 相交链表

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/intersection-of-two-linked-lists

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

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

 

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

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

示例 1：

 

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

 

输入：intersectVal = 2, listA = [0,9,1,2,4], listB = [3,2,4], skipA = 3, skipB = 1
输出：Intersected at '2'
解释：相交节点的值为 2 （注意，如果两个链表相交则不能为 0）。
从各自的表头开始算起，链表 A 为 [0,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
输出：null
解释：从各自的表头开始算起，链表 A 为 [2,6,4]，链表 B 为 [1,5]。
由于这两个链表不相交，所以 intersectVal 必须为 0，而 skipA 和 skipB 可以是任意值。
这两个链表不相交，因此返回 null 。
 

提示：

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

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

解题思路：

1、哈希表记录链表A中的所有节点，然后遍历链表B，直到从哈希表中查询到相交节点或者链表B遍历完成也未发现相交点。

2、双指针遍历，两个分别从链表A与链表B出发的指针A_ptr与指针B_ptr，当任意一个指针遍历完时，则继续从对方的链表开头继续遍历，直到两指针相等时退出循环，并将当前节点值做为返回值。

- 假设链表A与链表B有相交节点

    链表A中有 a 个不相交的点，以及 c 个与B链表相交的点。总节点数为 a + c 个节点

    链表B中有 b 个不相交的点，以及 c 个与A链表相交的点。总节点数为 b + c 个节点

当任意一个指针遍历完成时，会继续在对方的链表继续遍历，当节点总数 a 与 b 不相等时，两指针 A_ptr 与 B_ptr 会在 a + c + b （A 指针遍历的总节点数）或者 b + c + a (B指针遍历的总节点数)处，两指针相遇，此时满足指针 A 所指向的节点与指针B所指向的节点相同，然后会退出并返回该相交节点。

- 假设链表A与链表B没有相交节点

    链表A中有 a 个不相交的点。总节点数为 a 个节点

    链表B中有 b 个不相交的点。总节点数为 b 个节点

当任意一个指针遍历完成时，会继续在对方的链表继续遍历，当节点总数 a 与 b 不相等时，两指针 A_ptr 与 B_ptr 会在 a + b （A 指针遍历的总节点数）或者 b + a (B指针遍历的总节点数)处，两指针相遇，此时满足指针 A 所指向的节点与指针B所指向的节点相同（因为同为空指针），然后会退出并返回该相交节点。

证明不管两个节点是否相交，该方式遍历均可以在遍历完 A 和 B 后返回结果，且不需要额外的存储空间，最差情况下，遍历 a + b 次才能得出结果。

对应 golang 版本代码示例：

/**
 * Definition for singly-linked list.
 * type ListNode struct {
 *     Val int
 *     Next *ListNode
 * }
 */
func getIntersectionNode(headA, headB *ListNode) *ListNode {
    _head_a, _head_b := headA, headB
    for _head_a != _head_b {
        if _head_a == nil {
            _head_a = headB
        } else {
            _head_a = _head_a.Next
        }
        if _head_b == nil {
            _head_b = headA
        } else {
            _head_b = _head_b.Next
        }
    }
    // 这里返回 _head_a 或者 _head_b 均可，
    // 因为都是指向同一个相交节点。
    return _head_a
}