leetcode---环形链表 141

leetcode 环形链表

给定一个链表，判断链表中是否有环。

如果链表中有某个节点，可以通过连续跟踪 next 指针再次到达，则链表中存在环。 为了表示给定链表中的环，我们使用整数 pos 来表示链表尾连接到链表中的位置（索引从 0 开始）。 如果 pos 是 -1，则在该链表中没有环。注意：pos 不作为参数进行传递，仅仅是为了标识链表的实际情况。

如果链表中存在环，则返回 true 。 否则，返回 false 。

进阶：

你能用 O(1)（即，常量）内存解决此问题吗？

示例 1：

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

示例 2：

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

示例 3：

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

分析： 我们可以定义两个指针，快指针fast和慢指针slow，两个指针的初始位置都指向头结点head结点，当两个指针都移动的时候，fast指针每一次移动两步，slow指针每次移动一步。下面我们画一下图，方便理解：
初始的时候：

当fast到达带环的链表的时候：

当slow开始进环的时候：（fast可以环的位置可以是任意的）

根据上述的图我们可以发现：fast指针和slow指针都是在环中进行顺时针移动的，假设当slow进入环时，距离fast之间的结点为N，而fast指针每次移动两步，slow指针移动一步，两个都是顺时针移动的时候，fast每次移动都比slow快一步，所以依次移动后，两者的距离都会缩小一步，依次变为：N-1 ,N-2，N-3……3，2，1，0 当间距为0的时候，那就说明fast追上slow了！！！！

思考： 为什么fast一次走两步，而不是每次走三步，四步或者跟过步呢？
分析： 根据上面我们所分析的可知道，当fast每次走两步，slow每次走一步的时候，fast比slow移动多一步，慢慢会追上slow;而如果fast每次走三步的时候，slow每次走一步的 时候，fast每次比slow移动快2步,同理假设当slow刚进入环的时候，与fast之间的距离为N，而每次移动fast就会多走两步的距离，则两者的距离一次变为：N-2,N-4,N-6…… 由以上规律可以知道，当N为奇数的时候，两者就不能相遇，fast一直追slow,但是徒劳的，追不上是必定的，追上才怪！！！(突然想到笔者身为男生的辛酸。)。同理当fast走四步的时候两者的距离一次变为N-3,N-6,N-9…当N不是3的倍数的时候，依旧是不能相遇的。所以fast要走两步。

实现代码如下：

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     struct ListNode *next;
 * };
 */
bool hasCycle(struct ListNode *head) {
    //判断链表是否为空链表,是否为一个结点
    if(head==NULL || head->next==NULL){ 
        return NULL;
    }
    //定义快慢指针，快指针每次走2步，慢指针每次走1步
    struct ListNode* fast=head;
    struct ListNode* slow=head;
    while(fast && fast->next){ //不满足while循环，自然不满足带环的链表
        fast=fast->next->next;
        slow=slow->next;
        if(slow==fast){
            return true;
        }
    }
    return false;
}