判断单向链表中是否有环和查找环的入口

快慢指针

算法描述

定义两个指针slow, fast。slow指针一次走1个结点，fast指针一次走2个结点。如果链表中有环，那么慢指针一定会再某一个时刻追上快指针(slow == fast)。如果没有环，则快指针会第一个走到NULL。

实现

结点定义如下：

class Node {
    public Node next;
    public Object data;

    public static int sequence = 0;
}

　　算法：

/**
     * 快慢指针
     * @param head
     * @return
     */
    public static boolean checkCircle(Node head) {
        Node fast = null;
        Node slow = null;

        fast = head;
        slow = head;
        while (true) {
            // 慢指针移动一步
            if (null != slow.next) {
                slow = slow.next;
            } else {
                return false;
            }

            // 快指针移动两步
            if (null != fast.next && null != fast.next.next) {
                fast = fast.next.next;
            } else {
                return false;
            }

            // 检查是否相遇
            if (slow == fast) {
                return true;
            }
        }
    }

步数检查

算法描述

上面的算法只能判断链表中有没有环，如果我们想找出环的入口怎么办呢？

定义两个指针p, q。p每走一个结点(即一步)，q则从头一直向后走，直到q走到NULL或p, q走到同一个结点但走过的步数不相同为止。此时q的步数就是环入口在结点中的位置。如果走到NULL则说明链表不存在环。

为什么p, q走到同一个结点但步数不相等时就说明有环呢？因为如果p, q步数相同，说明它们走过的结点是一样的，如果p, q步数不同了，则说明p是从环里走了一圈又回到了环的入口，此时q到达该结点时还没有走过环，因此步数不相等，而且此时q的步数就是环的入口。

实现

/**
     * 查找环的起点
     * @param head
     * @return 返回元素的索引，从0开始。没有找到返回-1
     */
    public static int findCircleEntry(Node head) {
        Node p = head; // 总是从头开始
        Node q = head;

        int pSteps = 0;
        int qSteps = 0;
        while (null != q.next) {
            q = q.next;
            ++qSteps;

            // p从头开始走
            while (null != p.next) {
                p = p.next;
                ++pSteps;

                // 当p与q指向同一个结点时
                if (p == q) {
                    // 如果走的步数不同，则这就是入口
                    if (pSteps != qSteps) {
                        return pSteps - 1;
                    } else {
                        // 走的步数相同，不是入口
                        break;
                    }
                }
            }

            p = head; // 回到头结点
            pSteps = 0;
        }

        // 其中有一个指针走到了头，说明没有环
        return -1;
    }