有环链表查找环

有环链表如何高效的判断是否有环，以及在何处产生环？

采用2个指针不同步数（步数小的每次1步，步数大的每次2步），步数大的如果能够与步数小的相遇则必然存在环。

?

相遇后的情况如图，假设相遇后步数大的回绕环遍历了n遍，步数小的肯定一遍也没遍历完，假设第一段距离为a，第2段距离为c，第3段距离为b

则有（a+c）*2 = a+n（b+c）+c，转换后得 a = n（b+c） - c，也就是说，从出发点出发，移动a的距离，刚好等于相遇点出发移动n个整圈减c的距离，这个点刚好就是环产生的点，由此可以设置2个指针，分别从根节点与相遇点出发，第一次相遇的地方则是环产生的点。

完成证明后，代码较为简单，如下

?