LeetCode 160.相交链表（C++）

题目来自 力扣（LeetCode）

题目描述

编写一个程序，找到两个单链表相交的起始节点。
如下面的两个链表：

在节点 c1 开始相交。

示例

示例 1：

输入：intersectVal = 8, listA = [4,1,8,4,5], listB = [5,0,1,8,4,5], skipA = 2, skipB = 3
输出：Reference of the node with value = 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
输出：Reference of the node with value = 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。

注意：

如果两个链表没有交点，返回 null.
在返回结果后，两个链表仍须保持原有的结构。
可假定整个链表结构中没有循环。
程序尽量满足 O(n) 时间复杂度，且仅用 O(1) 内存。

分析

重点看一下被大肆赞扬的“拼接法”：
若两个链表相交，则相交结点之后的结点是两个链表所共有的，可以看做是下图中的 Z 部分，相交结点就是Z部分的左端，若a，b两个指针分别遍历时同时停在了Z部分的左端，即可证明两个链表相交。

将两个链表拼接后，a，b指针同时前进，速度一致，相交时他们经过的结点数自然也是相同的。即下图中的X+Z+Y与Y+Z+X。

若两个链表不相交，没有共同的部分，类似于下图

将他们拼接起来后，a，b也会同时遍历到链表的末尾，同时指向NULL。

代码

C++

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    ListNode *getIntersectionNode(ListNode *headA, ListNode *headB) {
        if(headA == NULL || headB == NULL)
            return NULL;
        ListNode *a = headA;
        ListNode *b = headB;
        while(a != b)
        {
            a = a ? a->next : headB;
            b = b ? b->next : headA; 
        }
        return a;
    }
};

补充

牛客网《剑指Offer》有一道类似的题目：两个链表的第一个公共结点。