判断单链表是否有环

判断单链表是否存在环，基本思路是：设置快慢两个指针，first和second指针，first每次向前移动两步，second每次向前移动一步，若存在环，则在某个时刻，second必然和first相遇。相当于A和B在操场跑步，A的速度比B快一倍，则在某个时刻，A必然会追上B，俗称套圈。应用此思想，代码如下:

public boolean hasCycle(Node head){
        //如果链表为空，则返回false
        if(head == null)
            return false;
        //first每次移动两步，second每次移动一步
        Node first = head;
        Node second = head;

        //若链表无环，则必定first先到达链表终点
        //循环判定条件：链表结点为奇数，first是否为空；
        //结点为偶数时，first->next是否为空.
        while(first != null && first.next != null){

            first = first.next.next;
            second = second.next;
            //若first与second相遇，则代表链表有环
            if(first == second)
                return true;
        }

        return false;
    }

存在思考：为何一定能保证快指针会和慢指针重合，而不是直接从后面跨过去呢？其实一定会重合，因为快指针只比慢指针多走一步，假若跨过去了，设first指针位置在i+1处，则second在i处，往前推一次循环，则first在（i+1-2）即i-1处，second同样也在i-1处，此时在这一位置就重合了，所以原假设不成立。所以快指针一定会在某一时刻与慢指针重合。