环的相关问题

判断单链表是否为环

因为指针或者引用一旦进入环便再不会出来，所以在单链表起点设置一个fast的指针（每次走2步）和一个slow指针（每次走1步），必定会在环中变成追赶的关系，并且最终会在环的某个点（相交点）相遇。

找出环的入口

在这个问题，为了方便描述，拿了小C爱学习里的一幅图：

在这先说明几个变量的意义；
head：单链表的起点，也就是“判断单链表是否为环”的那个两个指针出发的地点。
l1：单链表到环入口的距离，可以看出L1的另外一端就是环的入口
a ：因为图中未标明，暂且将环的入口称为a点
l2：环入口到相交点的距离
b ：交点，fast和slow指针相遇的地方
c ：表示一圈的长度
n ：表示从head出发到两指针相遇所走的圈数
s ：表示从head出发到两指针相遇所花费的时间

现在开始推导：

2s(fast走的距离)=s(slow走的距离)+nc（n圈*1圈长度c）
s(slow走的距离)=l1(单链表到环入口的距离)+l2(环入口到相交点的距离，不会超过一圈：因为1圈的长度最大也就是c，所以在slow指针进入环的时候，fast和slow的距离必定小于等于c-1，然后同时fast比slow快一步，说明了fast最多需要(c-1)s的时间就能追上slow，那么slow最多能走的长度为c-1)

-> s=nc
-> s=l1+l2
-> l1+l2=nc
-> l1=nc-l2
-> l1=(n-1+1)c-l2
-> l1=(n-1)c+c-l2
-> l1=(n-1)c+(c-l2)

由上面的式子可以看出：
l1的长度等于环的（n-1）圈长度+（交点->环入口点的距离，非l2那部分），也就是说如果当前将两个同样速度的指针分别放在head和b，经过一段时间之后他们终在a点相遇。

求环的长度

在找到环的入口的前提下，让指向入口的指针重新走1遍就行了，至于如何确定是否一圈，你可以标记入口然后比较指针结束循环，也可以用set结构保存然后判重结束循环。

测试

题目链接

/*
 public class ListNode {
    int val;
    ListNode next = null;

    ListNode(int val) {
        this.val = val;
    }
}
*/
public class Solution {

    public ListNode EntryNodeOfLoop(ListNode pHead) {
        if (pHead == null) {
            return null;
        }
        ListNode fast = pHead;
        ListNode slow = pHead;
        while (fast != null && slow != null) {
            fast = fast.next;
            if (fast != null) {
                fast = fast.next;
            } else {
                return null;
            }
            slow = slow.next;
            if (fast == slow) {
                ListNode slow2 = pHead;
                while (slow != slow2) {
                    slow = slow.next;
                    slow2 = slow2.next;
                }
                return slow;
            }
        }
        return null;
    }
}