相交链表_两种方法

对特别对

已于 2023-03-09 13:58:07 修改

阅读量50

点赞数

分类专栏：我与力扣斗智斗勇文章标签：链表数据结构 leetcode c++

于 2023-03-09 13:21:01 首次发布

本文链接：https://blog.csdn.net/weixin_45982419/article/details/129412498

版权

我与力扣斗智斗勇专栏收录该内容

39 篇文章 0 订阅

订阅专栏

相交链表

题目描述

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

题目数据保证整个链式结构中不存在环。
注意，函数返回结果后，链表必须保持其原始结构 。

自定义评测：
评测系统的输入如下（你设计的程序不适用此输入）：
intersectVal - 相交的起始节点的值。如果不存在相交节点，这一值为 0
listA - 第一个链表
listB - 第二个链表
skipA - 在 listA 中（从头节点开始）跳到交叉节点的节点数
skipB - 在 listB 中（从头节点开始）跳到交叉节点的节点数
评测系统将根据这些输入创建链式数据结构，并将两个头节点 headA 和 headB 传递给你的程序。如果程序能够正确返回相交节点，那么你的解决方案将被视作正确答案 。

示例 1：
示例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：
示例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：
示例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
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) 内存的解决方案？

错误示范
思路：大体思路正确，具体见正解一处

/**
 * 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) {
        stack<ListNode*> sta,stb;
        ListNode *tmpa1=headA;
        ListNode *tmpb1=headB;
        while(tmpa1!=NULL){
            sta.push(tmpa1);
            tmpa1=tmpa1->next;
        }
        while(tmpb1!=NULL){
            stb.push(tmpb1);
            tmpb1=tmpb1->next;
        }
        if(sta.empty()||stb.empty()){
            return NULL;
        }
        ListNode *pa;
        //ListNode *pb;
        ListNode *ea=sta.top();
        ListNode *eb=stb.top();
        while(!sta.empty() && !stb.empty()&& sta.top()==stb.top()){
            pa=sta.top();
            //pb=stb.top();
            sta.pop();
            stb.pop();
        }
        return pa;
        
    }
};

错误代码：

Line 175: Char 16: runtime error: reference binding to misaligned address 0xbebebebebebec0b6 for type 'ListNode *', which requires 8 byte alignment (stl_deque.h)
0xbebebebebebec0b6: note: pointer points here
<memory cannot be printed>
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/stl_deque.h:180:16

错误原因：这里其实有两处错误
1.没有考虑到输入两个不相交的链表最后返回的pa没有值，是野指针。
2.不能用sta.empty()判空。搜索资料发现栈空时sta.top()并不是null而是-1，因此堆栈为空时不能调用top()函数和pop()函数。

正解一

思路：既然相交的部分都在后面，所以可以自然而然的想到从后向前处理，但由于是单链表，所以只能借助额外的栈进行处理。分别将两个链表装入两个栈，同时向外pop，直到栈顶元素不相同或有一个栈变空为止，此时最后一个pop的值就是所求指针。

/**
 * 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) {
        stack<ListNode*> sta,stb;
        ListNode *tmpa1=headA;
        ListNode *tmpb1=headB;
        while(tmpa1!=NULL){//装链表a
            sta.push(tmpa1);
            tmpa1=tmpa1->next;
        }
        while(tmpb1!=NULL){//装链表b
            stb.push(tmpb1);
            tmpb1=tmpb1->next;
        }
        if(sta.empty()||stb.empty()){//栈为空肯定不相交，提前排除
            return NULL;
        }
        ListNode *pa;//记录接下来弹出操作的每一个pop，目的是为了记录最后一个pop
        //ListNode *pb;这个pb其实没啥用，一开始想着两个栈都记录一下，后来发现反正pa pb是要记录一样的，用一个就行
        ListNode *ea=sta.top();//记录初始栈顶元素
        ListNode *eb=stb.top();
        while(sta.size()>1 && stb.size()>1 && sta.top()==stb.top()){
        //排除所有某个链（或两个链都）仅剩一个元素的情况后再比较，直到两个栈的栈顶元素不一致为止
            pa=sta.top();
            //pb=stb.top();
            sta.pop();//弹出，判断下一轮
            stb.pop();
        }
        if(sta.top()== stb.top()){//专门用来判断那些只剩一个元素但出现相交的情况
            return sta.top();
        }
        if(sta.top()==ea && stb.top()==eb ){//若此时栈顶元素还都为链表末尾，则证明二者不相交（上一个if已经排除了[1][1]的情况）
            return NULL;
        }
        return pa;//以上特殊情况都排除后，pa指向的是相交值
        
    }
};

特殊用例判断：
用例1
1
[1]
[1]
0
0

用例2
2
[1,2]
[2]
1
0

正解二（O(1)内存）

思路：链表如果相交那么一定是从某一个节点开始到结尾是一样的，那么这一部分的长度也是一样的，所以我们可以从长度出发来比较相交与否。将短的那一条链表的长度当做遍历的长度，长的一条先将长出来的头几个结点走了，再和短的一起遍历剩余的结点，有出现指针指向同一个结点的情况就是相交了，否则不相交。

/**
 * 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) {
        int lena=0;
        int lenb=0;
        ListNode *pa=headA;
        ListNode *pb=headB;
        while(pa!=NULL){
            lena++;
            pa=pa->next;
        }
        while(pb!=NULL){
            lenb++;
            pb=pb->next;
        }
        int len=0;
        if(lena<lenb){//找到短链表
            len=lena;
            pa=headA;
            pb=headB;
            for(int i=lenb;i>len;i--){
                pb=pb->next;
            }    
        }else{
            len=lenb;
            pa=headA;
            pb=headB;
            for(int i=lena;i>len;i--){
                pa=pa->next;
            }
        }
        for(int j=0;j<len;j++){
            if(pa==pb){
                break;
            }
            pa=pa->next;
            pb=pb->next;
        }
        return pa;//null和结点都是这个结果，不需要特殊处理

    }
};