关于单向链表的有环判断

单向链表是否有环，目前从其他博文中看到两种方式：
1. 双层遍历
若从前向后遍历，当链表有环时，会陷入死循环。因此应从头节点开始，外层循环向后遍历，内层循环由当前节点 p 向前遍历，当遍历过程中发现某节点 q 与当前节点的下一节点相等，即 q == p.next 时，说明有环（因为无环的话，一个在前一个在后不可能相等），且 p.next 节点即为环入口。
2. 快慢双指针
快指针每次移动两个节点，慢指针每次移动一个节点。
问题就在快慢双指针这儿：
关于推导公式其他博文也图文并茂讲的比较清楚，除了为什么“第一次相遇时，慢指针一定没走完一圈，或者恰好走完一圈”。这个问题可以通过写代码跑一下，发现的确如此，但这种举例的方式却无法证明数学问题。
此时，可以从慢指针入环时开始看，假如环周长为 l，慢指针入环时快指针的位置为 k(0 <= k < l)，此时时间 t 为 0。则 k 可以视为在这一圈快指针领先慢指针的长度（强调“这一圈”，是因为有可能快快指针已经转了若干圈了），同样，l - k 也可视为下一圈快指针落后慢指针的长度。因此，当快指针与慢指针相遇时，慢指针走的距离为 t，快指针走的举例为 2t。这时，快指针若要追上慢指针，则需要首先走完 l - k 的距离，到达环入口，再走 t 的距离追上慢指针，即 2t = l - k + t，推导出 t = l - k，也就是说时间为周长减去快指针起始位置，因 l - k 的范围为 0 ~ l，故 t 的范围以及追及时慢指针的位置也是 0 ~ l，未走完一圈。
综上，便可得到快慢指针在环中相遇时，慢指针未走完一圈的结论了。再之后就可以直接领此结论，进行下一步推导。

给自己的话：想法虽琐碎，但记录下来，总好过想搞大事情却什么也没做。
相关博文已经够细节，日后需整理一下这个问题的思路，再引用其他文章链接就好了。只是不知道谁会和我有一样的疑问。另外，倒是可以写个 Java 实现。
注：当快指针速度为 3 时，是否仍可判断呢？答案是不能，举特例来看，假如环大小为 4，即分别有节点 0 / 1 / 2 / 3，当慢指针在 0 上，而快指针在 3 上时，下次移动，慢指针在 1 上，快指针在 2 上；其实，反向思考，当环大小为 4，每次移动三个也就相当于每次向后移动 1 个，即快指针路径为 3 → 2 → 1 → 0，慢指针路径为 0 → 1 → 2 → 3，每次都恰好擦肩而过，因此永远无法判断有环。
参考记录：https://blog.csdn.net/wuzhekai1985/article/details/6725263