题目: 给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 null。
解法:第一阶段:判断有环。定义两个指针fast和slow,fast每次走2步,slow走一步。如果有环,最终fast会追上slow
第二阶段:找到环入口节点。定义两个指针,index1指向相遇节点,index2指向起始节点。当index1,index2相遇时,即是环入口
证明:
1.定义环长为C,非环长为F,当slow走到环入口时,此时slow走了F,fast走了2F。而fast相当于在环里走了F。此时,fast在环里走了n圈加r步,即 F = nC + r。则 r = F mod C,设下次到达环入口为 k = C - r。
2.那么当slow再走k步,则fast走2k步,正好追上slow。可以判断有环。如果fast走到null,则无环
3.重新定义index1为相遇点,此时距离环入口走了k步。那么再走r步又一次到达环入口。定义index2为起点。
4.当index2走F步时,到达环入口,此时index1走了 F = nC + r。正好是走了r步到达环入口后,又走了n圈再次回到环入口。此时index1和index2相遇在环入口
参考:代码随想录