C语言数据结构---链表的带环问题

        题目：已知存在一条链表，请通过代码判断其是否带环，若带环，请返回链表开始入环的第一个节点，若不带，返回NULL.

        题目力扣连接：

        题一：. - 力扣（LeetCode）

        题二： . - 力扣（LeetCode）

1.判断链表是否带环

        使用快慢指针法，从头结点开始，快指针走两步，慢指针走一步，如果最后两指针相遇，则存在环

        题一相关代码如下：

bool hasCycle(struct ListNode *head) 
{
    struct ListNode* fast = head;
    struct ListNode* slow = head;

    while(fast && fast->next)
    {
        fast = fast->next->next;
        slow = slow->next;

        if(fast == slow)
        {
            return true;
        }
    }
    return false;
}

        代码很简单，但是为什么呢？

        如上图所示，此为一个带环链表，快慢指针开始均指向头结点，按刚才的走法，当慢指针走到入环的第一个节点时，如下图所示：

        假设慢指针与快指针相差n步，快指针每次走两步，慢指针每次走一步，快指针比慢指针每次多走一步，在第n次后必然追上

        那为什么必须是快指针走两步，如果快指针走3,4,5,6，......步不行吗？

        以3次为例，快指针比慢指针每次多走两步，当走到上图所示情况时，对n的情况进行假设，若n为偶数，则必然追上（n/2=0），但若n为奇数,则最后快指针会超出慢指针一步，设环的长度为c,那么c-1成为新的n,如果c-1为偶数，就能追上，但是，如果c-1为奇数的话，你会发现，它们永远无法相遇了，无论怎么样，快指针总会超慢指针一步，将相差步数重置为c-1的情况，以此类推，4,5,6步都存在这种情况，因此，快指针只能走两步

2.返回链表开始入环的第一个节点

        若链表带环，则快指针和慢指针必然相遇，在相遇的节点处设立指针1，在链表开头处设立指针2，指针1和指针2每次都走一步，最后相遇处为入环的第一个节点

        题二相关代码如下，其中meet指针为指针1，slow指针重新利用为指针2：

struct ListNode *detectCycle(struct ListNode *head)
{
    struct ListNode* fast = head;
    struct ListNode* slow = head;
    struct ListNode* meet = NULL;


    while(fast && fast->next)
    {
        fast = fast->next->next;
        slow = slow->next;

        if(fast == slow)
        {
            meet = slow;
            slow = head;
            while(meet != slow)
            {
                meet = meet->next;
                slow = slow->next;

            }

            return meet;
        }
    }
    return NULL;
}

        所以，为什么指针1,2一定会在入环的第一个节点处相遇呢？

        如图所示，设指针2进入环时要走L步，指针1距离入环的第一个节点为n步，那么快满指针相遇时，快指针走了L+(x+1)c+n步，慢指针走了L+N步，由于快指针的速度是慢指针的两倍，则有2（L+n）= L+(x+1)c+n,整理得L = xc+(c-n) ,由式可知，当指针2走了L步抵达入环的第一个节点时，指针1刚好走了x圈零c-n步，抵达入环第一个节点，因此两者相遇处为入环第一个节点