链表oj----链表带环问题详细证明

题目描述：

给你一个链表的头节点 head ，判断链表中是否有环。（如上图）

解题思路：

我们可以设置一个慢指针slow，一个快指针fast，两个指针同时从头开始走，slow一次走一步，fast一次走两步，若两个指针最终相遇则说明链表带环。我们可以看如下的图来理解:

结论：若有环则fast必会追上slow。 下面为代码：

bool hasCycle(struct ListNode *head) {
    struct ListNode* slow = head, *fast = head;
    while(fast && fast->next)
    {
        slow = slow->next;
        fast = fast->next->next;

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

证明：

• 为什么fast走两步，slow走一步就一定会相遇呢？当slow进环的时候，fast开始追击slow,设这时候两者距离为N。
  
• 由于fast一次两步，slow一次一步，那么每走一次fast与slow的距离就会减少1，因此N不断减1一定会减到0，因此一定会追上。
• 如果fast一次走三步能不能追上呢？答案是不一定。同理我们依然可以用上图解释，每走一次，fast与slow的距离减少2，因此我们要考虑N的奇偶性，若N为偶数，那么N不断减少2也一定会减到0，因此会追上。但是如果N为奇数，那么N依次减少2那么最后fast一定会越过slow一步，如图：
  
  粉色是初始状态，蓝色是fast刚刚越过slow一步的状态，假设环的周长为C，那么新的一轮追击长度就是C - 1 。那么C - 1的奇偶性又是不确定的因此不一定会相遇。