链表带环问题推论与证明

什么是链表带环问题

链表带环问题就是链表中的某个结点的next指针指向了前面的一个结点，从而产生了一个环状。

如图所示：

如何判断一个链表是否带环

方法：双指针法：设立两个指针，一个fast快指针，一个slow慢指针。fast快指针一次走2步，slow慢指针一次走一步。如果不带环，fast指针最终会走向空，如果带环，slow最终会等于fast。

判断链表是否带环问题练习：

代码：

链表带环延申问题一

为什么fast和slow是在环中相遇？

证明：fast是快指针，一次走两步，slow是慢指针，一次走一步。所以在进环之前，fast永远在slow的前面，只有在slow进环以后，fast才能追上slow。

如图所示：

为什么slow和fast会相遇，而不是fast会和slow错过，永远都不相遇？

证明过程如图：

链表带环延申问题二：

为什么慢指针一次走一步，快指针一次走两步，快指针一次走三步，四步，n步不行吗？

证明过程如图：

判断链表带环位置练习题

代码：

判断链表带环位置推导过程