LeetCode：面试题 02.08. 环路检测

题目

面试题 02.08. 环路检测

给定一个有环链表，实现一个算法返回环路的开头节点。
有环链表的定义：在链表中某个节点的next元素指向在它前面出现过的节点，则表明该链表存在环路。

示例 1：

输入：head = [3,2,0,-4], pos = 1
输出：tail connects to node index 1
解释：链表中有一个环，其尾部连接到第二个节点。

示例 2：

输入：head = [1,2], pos = 0
输出：tail connects to node index 0
解释：链表中有一个环，其尾部连接到第一个节点。

示例 3：

输入：head = [1], pos = -1
输出：no cycle
解释：链表中没有环。

进阶：
你是否可以不用额外空间解决此题？

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/linked-list-cycle-lcci
著作权归领扣网络所有。商业转载请联系官方授权，非商业转载请注明出处。

解题

有用哈希表或其他做标志的，更多的是用快慢指针。

快慢指针

就像是在操场里跑圈，一圈400米。有甲、乙两个假装跑步的，甲跑一圈要十分钟、乙跑一圈要二十分钟。这叫快慢跑步，可以从东门进入，也可以从西门进入，但最终要跑圈（后半部分的路径相同）。

有两个链表指针，开始都指向同一个地址（也可以不同），快指针每次指向next的next，慢指针指向next。不一定是链表，也不一定是next，只是打个比方。

数学证明

有甲、乙两位同学要从宿舍同时出发，去操场逆时针跑步。
已知：
宿舍到操场的距离是s；
操场一圈是c；
甲的速度是乙的两倍；
求甲乙在操场上相遇时：如果又有一位丙同学要从宿舍以等同于乙的速度出发，会在哪里与乙相遇？

相遇时：
设甲已经跑了x圈；
离操场起点的距离n；

甲走的路程为y0=s+x*c+n；
乙走的路程为y1=s+n；

/*
关于乙为什么只有s+n，因为当甲的速度是乙的两倍时，无论甲乙从何处出来，沿同一方向跑，甲都可以在乙跑完一圈内追上乙。
设在操场上，甲还需要跑d米才能追上乙，那么有：
2 * v * t - v * t = d（0<= d <= c）
即 vt =d --> 0 <= vt <= c --> 0 <= t <=c/v
追上的时间是不大于跑完一圈的时间的。

关于x的取值范围：
很明显s越大，x越大（正相关）
设s=0好了，
同一起点，两倍速，那么再次相遇还是在起点，甲跑了两圈，
所以，x >= 2;
*/

又y0 = 2 * y1；即 s + xc + n = 2s + 2n
–>xc = s + n --> s = x*c - n --> s = (x-1)*c + (c - n); (x >= 2)
s是宿舍到操场的距离，(x-1)*c是跑了x圈操场，c-n 也就是甲乙相遇的地方逆时针到起点的位置。那么丙跑完s后， 乙就回到操场的起点与丙相遇了。

代码

1、先快慢指针从头指针开始遍历，然后相遇；
2、慢指针和头指针以慢指针的速度继续遍历；
3、慢指针和头指针相遇点即是链表回环的起点；

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     struct ListNode *next;
 * };
 */
struct ListNode *detectCycle(struct ListNode *head) {
    struct ListNode *quick, *slow;

    quick = slow = head;

//快慢指针相遇
    while(quick != NULL && quick->next != NULL){
        slow = slow->next;
        quick = quick->next->next;
            
        if(slow == quick) break;
    }

    if(quick == NULL || quick->next == NULL)
        return NULL;

//头指针和慢指针相遇
	//实际不应改变head的位置
	//quick = head;
    while(head != slow){
        head = head->next;
        slow = slow->next;
    }

    return head;
}