02.07 链表相交

原题目

面试题 02.07. 链表相交

给定两个（单向）链表，判定它们是否相交并返回交点。请注意相交的定义基于节点的引用，而不是基于节点的值。换句话说，如果一个链表的第k个节点与另一个链表的第j个节点是同一节点（引用完全相同），则这两个链表相交。

示例 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) 内存。

第一遍解法

首先使用unordered_set集合，存放headA链表中所有元素的指针值。

然后遍历headB链表，找到第一个与容器中相同的指针值即可返回该节点。未找到则返回NULL。

class Solution {
public:
    ListNode *getIntersectionNode(ListNode *headA, ListNode *headB) {
        unordered_set<ListNode *> psets;
        ListNode *pA = headA;
        ListNode *pB = headB;
        
        while (pA) {
            psets.insert(pA);
            pA = pA->next;
        }
        
        while (pB) {
            if (psets.find(pB) != psets.end()) {
                return pB;
            }
            pB = pB->next;
        }
        
        return NULL;
    }
};

时间复杂度: O(n)

空间复杂度: O(n)

网上好的解法

如果两个链表的长度相等，那么我们可以同时遍历两个链表，当两个节点相等时，即为相交节点。

所以我们需要遍历求出两个链表的长度，然后较长的链表移动它们的长度差，再同步遍历比较就可以了，代码如下：

class Solution {
public:
    ListNode *getIntersectionNode(ListNode *headA, ListNode *headB) {
        int lenA = 0, lenB = 0;
        ListNode *pA = headA, *pB = headB;

        // 计算长度两个链表长度
        while (pA) {
            lenA++;
            pA = pA->next;
        }
        while (pB) {
            lenB++;
            pB = pB->next;
        }

        int diff = abs(lenA - lenB);
        if (lenA > lenB) {
            while (sub--) { headA = headA->next; }
        }
        else {
            while (sub--) { headB = headB->next; }
        }

        while (headA && headB) {
            if (headA == headB) { return headA; }
            headA = headA->next;
            headB = headB->next;
        }

        return NULL;
    }
};

时间复杂度: O(n)

空间复杂度: O(1)

最后的代码

与网上的代码一致。

class Solution {
public:
    ListNode *getIntersectionNode(ListNode *headA, ListNode *headB) {
        int lenA = 0, lenB = 0;
        ListNode *pA = headA, *pB = headB;

        // 计算长度两个链表长度
        while (pA) {
            lenA++;
            pA = pA->next;
        }
        while (pB) {
            lenB++;
            pB = pB->next;
        }

        int diff = abs(lenA - lenB);
        if (lenA > lenB) {
            while (sub--) { headA = headA->next; }
        }
        else {
            while (sub--) { headB = headB->next; }
        }

        while (headA && headB) {
            if (headA == headB) { return headA; }
            headA = headA->next;
            headB = headB->next;
        }

        return NULL;
    }
};

时间复杂度: O(n)

空间复杂度: O(1)

小结

• 散列表有时确实很方便求解，但是大概率至少是O(n)的空间复杂度，题目中要求O(1)的空间复杂度时，可能无法使用散列表。