面试被拷打复盘 之 链表判环（快慢指针）（leetcode）

链表判环？快指针走3，4，5…行不行？为什么不行？和什么有关？什么情况下行，什么时候不行？

昨天面试被拷打了…一紧张没推出来…
答：
典中典之快慢指针？（一个走一步，一个走两步）

不是所有的步数都能判断的，需要考虑的因素很多很多…
（慢指针入环时两指针的距离D，两个指针的步数差值gap，走的次数n，环的长度len）
分析：
这里设起点s，终点t，他们相差D，即s + D = t；（t没超过环长）

则节点关系式为：s + n % len = (t + step * n) % len（1）
其中：
n：走了多少次；
Len：环的长度；
Step：快指针每次走多少步
只有满足这个关系式的时候才能相遇；

变形一下，把t拆开，s去掉：n % len = (D + step * n) % len（2）
所以，当step是2时，变形一下：（D + n） % len = 0（3）
所以我们n取klen – D就行，且一定能取到；
一般的，我们可以把（2）变形为：（D + （step - 1） n） % len = 0（4）

所以n要取：n = （k*len - D）/ （step - 1），n为整数，才能成立（快慢指针相遇）。
但是不是所有情况都能取到的，比如：step = 3,len = 4,D = 1的时候n无法为整数，所以快慢指针永远无法相遇，因此无法判断链表是否有环。

所以到这里我们知道了，快慢指针（一个一步，一个两部）一定能判断链表是否有环；

接下来我们来看一下怎么找到环的入口？

例题
我们思考一下，既然快指针比慢指针多走1步，假设从链表头到环入口长度为L，那么当慢指针到环入口时，慢指针走了L步，快指针走了2L步，而这2L步中有L步是如环前走的，有L步是如环后走的，我们不妨让L%len，那么这个L%len是不是就是快慢指针的初始差值？对吧，也就是上面的D；

由上面可知，我们n取k*len – D就有解，所以我们n不妨取len – L%len，此时也就是说我慢指针走了len – L%len步，也就是相比慢指针的初始位置s，相遇节点是s + （len – L%len），中间相差了len – L%len步，此时有没有发现，len是环的长度，那么我们是不是从相遇节点再走L步就是**（s + （len – L%len）+ L）%len**，然后把 %len全部放进去，最后剩了s节点，所以说我们从相遇节点再走L步之后就到达了s节点，也就是链表的入口处，这样我们就找到了链表的入口！

那么问题就来了，我不知道链表的入口啊，也就不知道链表头到入口的长度L，那我怎么走？

首先通过上面的分析，我们可以得到相遇节点，且从相遇节点走L到达入口，而L又是链表头到入口的长度；所以我们可以再搞一个指针指向链表头，然后两个指针（链表头指针，相遇节点指针）一起走，直到两个指针相遇，那么是不是就都走了L步，对吧。也就是找到了链表的入口处！

下面是参考代码：

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    ListNode *detectCycle(ListNode *head) {
        
        ListNode * f = head;    //快指针
        ListNode * s = head;    //慢指针
        ListNode * ans = nullptr;
        int num = 0;    //相遇次数
        while(1)
        {
            if(f == nullptr || f->next == nullptr) break; //没有环
            if(s == f) num ++;  //相遇
            
            if(num >= 2)    //在环内相遇
            {
                ans = s;
                break;
            }

            s = s->next;
            f = f->next->next;
        }

        if(ans == nullptr)
        {
            return ans;
        }

        ListNode * p = head;
        while(p != ans)
        {
            p = p->next;
            ans = ans->next;
        }

        return ans;
    }
};