C语言有环链表的入环节点

 提示：应当在知晓如何判断链表是否有环的前提下观看以下内容

 如何判断链表中是否有环：

C语言判断链表中是否带环

目录

一，理论

 结论：

证明：

补充说明：

二，实现细节（代码）

---

LC链接： 

给定一个链表，返回链表开始入环的第一个节点。 如果链表无环，则返回 NULL

一，理论

如果链表无环返回NULL

问：链表有环如何返回入环节点？

 结论：

让一个指针从链表起始位置开始遍历链表，同时让一个指针从fast，slow相遇点的位置开始遍历链表，两个指针都是每次均走一步，最终肯定会在入口点的位置相遇。

证明：

记起始点到入环点的“长度”为L,入环点到相遇点的“长度”为X，环的"长度"为C（这里的长度更准确的意思是节点数量），

当fast,slow相遇时存在以下关系式：

slow走过的“路程”为L+X

fast走过的“路程”为L+X+n*C（n是整数）

 

 而fast的“速度”又是slow的两倍，所以fast的“路程”为2*（L+X）

所以有

L+X+n*C==2*（L+X）成立,

化简得：L=n*C-X

所以start，meetnode以相同的速度前进必然会在入环点相遇，得证。

补充说明：

关于为什么fast走过的“路程”为L+X+n*C（n是整数）？

1,当fast第一次来到入环点时（“路程”为L）,slow“路程”为L/2

 2,当slow开始向入环点接近的时候，fast已经在环内运动，至于fast在slow入环之前转了几圈（n的大小）取决于L和C的大小关系

3，可以肯定的是，当slow和fast相遇时，fast至少转过一圈（n>=1）

 

二，实现细节（代码）

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

    while((fast!=NULL)&&(fast->next!=NULL))
    {
        slow=slow->next;
        fast=fast->next->next;
        //找到相遇点
        if(slow==fast)
        {
            struct ListNode* meetNode=slow;
            struct ListNode* start=head;
            //找到入环点
            while(start!=meetNode)
            {
                start=start->next;
                meetNode=meetNode->next;
            }
          
            return start;
        }
    }
    //无环
    return NULL;    
}