ch2_7链表中的环节点ch2_8 两个单链表相交节点

lc142 链表中的环形节点入口

1 链表中的环形节点入口

问题分析：

注意题中的pos： 代表了链表尾部， 接入链表中索引的下标位置， 指的是从这个位置开始， 是环的入口处， 也即环的第一个节点；

首先确定一点：

1. 使用两个指针， fast 指针每次走两步， slow 每次走一步， 那么如果有环，fast 一定先进入环内；

然后解决两个问题：

1. 如果有环， 为什么 fast 和slow 一定是在环内相遇；
   假如，下图是一个环，然后让 fast指针在任意一个节点开始追赶slow指针，
   
   fast和slow各自再执行一次， fast和slow就相遇了

这是因为fast是走两步，slow是走一步，
相对于slow来说，fast是一个节点一个节点的靠近slow的，所以fast一定可以和slow重合。

2. 环的入扣在哪里， 如何寻找？

通过对相遇节点， 进行数学分析，可以得到如下结论关系：
即 任意一个指针每次只走一步：
那么从链表头节点到环内相遇节点的 距离（节点数） 与
从相遇节点到环的入口节点的 距离， 这两者之间存在特定的关系；

具体什么数学关系呢？

从链表头部到入环点的距离 = 恰好等于 从相遇点到入环点的距离加上 n-1圈的环长度；

如何得到这个结论呢？

下面数学分析

2.1 设链表中环外部分的长度为 a。
slow 指针进入环后，又走了 b的距离与 fast 相遇。

此时，fast 指针已经走完了环的 n圈，因此fast 指针走过的总距离为
a+n(b+c)+b = a+(n+1)b + nc 。

2.2 : 根据题意，任意时刻，fast 指针走过的距离都为 slow 指针的 2 倍。因此，我们有：

a+(n+1)b+nc=2(a+b)
⟹a=c+(n−1)(b+c) ;

这个式子的 实际意义便是：
解题的关键点便是在此处：
从链表头部到入环点的距离 = 恰好等于 从相遇点到入环点的距离加上 n-1圈的环长度；

1.1 解题步骤

使用fast, slow 两个指针从头节点处开始移动，

fast 每次如何移动两步？
先判断 fast 自身不为空， 开始循环
循环内再次判断fast->next 是否为空：
为空， 表明链表中没有环了，
返回，结束吧；
不为空， fast 更新为后两个节点；

然后：
解题的关键点便是在此处：

当快慢指针在环内相遇时：
我们创建出第三个指针， 让它从链表的起始位置开始起步，往后移动，每次只走一步：

那么当第三个指针和 slow 指针 再次相遇时， 此时，该位置便是环入口的位置；

struct ListNode{
    int val;
    ListNode* next;

    // 定义节点的构造函数；
    ListNode(int x): val(x), next(nullptr){}

};


class Solution{
public:
    ListNode* detectCycle(ListNode* head ) {
        ListNode* fast = head;
        ListNode* slow = head;

        // 开始移动两个 指针，  fast 每次走两步，  slow 每次走一步；
        while (fast != nullptr) {
            slow = slow->next;
            if (fast->next == nullptr) return nullptr;   //  如果存在fast 的下一个节点为空，  表明链表中没有环了，  返回 空指针， 结束吧；
            //  否则的环， 链表中有环， 走起；

            fast = fast->next->next;

            //  创造出第三指针，
            // 当两个 fast ， slow 两个指针相遇时，
            // 第三个指针从链表头开始起步， 根据数学分析，  第三个指针与慢指针 再次相遇时便是环的入口；

            if (fast == slow) {
                ListNode*  tmp = head;
                while (tmp != slow) {
                    slow = slow->next;
                    tmp = tmp->next;
                }
                return tmp;
            }

        }
        return nullptr;
    }


};

2. 两个单链表的相交节点

链表相交

如果两个单链表 相交，一定有上述情况：

如果有相交的结点D的话,每条链的头结点先走完自己的链表长度,然后回头走另外的一条链表,那么两结点一定为相交于D点,

因为这时每个头结点走的距离是一样的,都是 AD + BD + DC,而他们每次又都是前进1,所以距离相同,速度又相同,固然一定会在相同的时间走到相同的结点上,即D点

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

        while(pA != pB){
            if(pA == nullptr){ pA = headB;}
            else  pA = pA->next;
            
            if(pB == nullptr){ pB = headA;}
            else pB = pB->next;
        }
        return  pA;


    }

};