判断一个单链表是否有环,只需要一个快指针和一个慢指针,快指针走两步,慢指针走一步,如果两个指针相遇,说明有环。
如何获得环的长度,当第一次相遇时开始计数,第二次相遇时停止,得到的是环的长度,、
如何获得入环点,定理,第一次相遇点,慢指针到入环点的距离等于头结点到入环点的距离,所以,当第一次相遇时,一个指针指向头结点,一个指针指向相遇点,同时出发,再次相遇时,相遇点就是入环点。
定理的简单证明,fast指针每次走两步,slow指针每次走一步,假设:相遇时slow指针走了x步,fast指针走了2x步,环的长度是r,此时有2x=nr+x(n>=1),fast指针至少比slow指针多走一圈,头结点到入环点的距离为a,入环点到第一次相遇点的距离为b,链表的长度为l,因此有x=a+b=nr=r(n-1)+r,右因为r=l-a,所以a+b=r(n-1)+l-a,最后得到:a=r(n-1)+l-a-b,l-a-b就是第一次相遇点到入环点的距离,r(n-1)表明是n-1个圈,因此证明定理是正确的。