3.2打卡 剑指offer 链表中环的入口结点

描述

给一个长度为n链表，若其中包含环，请找出该链表的环的入口结点，否则，返回null。

数据范围： n≤10000，1<=结点值<=10000

要求：空间复杂度 O(1)，时间复杂度 O(n)

例如，输入{1,2},{3,4,5}时，对应的环形链表如下图所示：

可以看到环的入口结点的结点值为3，所以返回结点值为3的结点。

输入描述：

输入分为2段，第一段是入环前的链表部分，第二段是链表环的部分，后台会根据第二段是否为空将这两段组装成一个无环或者有环单链表

返回值描述：

返回链表的环的入口结点即可，我们后台程序会打印这个结点对应的结点值；若没有，则返回对应编程语言的空结点即可。

示例:

输入：{1,2},{3,4,5}

返回值：3

说明：返回环形链表入口结点，我们后台程序会打印该环形链表入口结点对应的结点值，即3

解题思路：

在先前的文章中我们讨论过如何判断链表中是否有环的问题，我们利用快慢指针遍历链表，快指针每次移动2步，慢指针每次移动1步，若链表带环，则两指针一定会在环中相遇。 那么接下来要找这个环的入口了。

我们假设从头结点到环形入口结点的结点数为x。环形入口结点到fast指针与slow指针相遇结点，结点数为y。从相遇结点再到环形入口结点，结点数为z。如图所示：

 

当两个指针相遇时，slow指针走过的节点数为x + y，fast指针走过的节点数为x + y + n (y + z)（n为fast指针在环内走了n圈才遇到slow指针，（y+z）为 一圈内节点的个数A）。

因为fast指针是一步走两个结点，slow指针一步走一个结点， 所以 fast指针走过的结点数 = slow指针走过的结点数 * 2 即(x + y) * 2 = x + y + n (y + z) 故可得： x + y = n (y + z)。

那么环形的入口即x的距离：x = n (y + z) - y => x = (n - 1) (y + z) + z

当 n为1的时候, x = z，即从头结点出发一个指针，从相遇结点也出发一个指针，这两个指针每次只走一个结点， 那么当这两个指针相遇的时候就是环形入口的结点。

所以在相遇结点处定义一个指针index1，在头结点定义一个指针index2。它们同时移动，每次移动一个结点，当两者相遇时就是环形入口的结点。n大于1同理，index1指针在环里多转了(n-1)圈后，然后再遇到index2，相遇点依然是环形的入口节点。

struct ListNode* EntryNodeOfLoop(struct ListNode* pHead ) {
    // write code here
    struct ListNode* fast = pHead;
    struct ListNode* slow = pHead;
    while(fast != NULL && fast->next != NULL){
        fast = fast->next->next;
        slow = slow->next;
        if (slow == fast) {
                struct ListNode* index1 = fast;
                struct ListNode* index2 = pHead;
                while (index1 != index2) {
                    index1 = index1->next;
                    index2 = index2->next;
                }
                return index2; // 返回环的入口
            }
        }
        return NULL;
}

附：

链表中快慢指针的妙用