给定一个链表,返回链表开始入环的第一个节点。 如果链表无环,则返回 null
第一个思路
[dangerbox title="标题内容"]遍历单链表,将其加入到set集合中,当下次遇到的第一个重复的结点即为入环的结点[/dangerbox]
//寻找链表中环的第一个结点 public ListNode detectCycle(ListNode head) { if(head == null) return null; Set<ListNode> s = new HashSet<>(); s.add(head); while(head.next!=null){ head = head.next; if(s.contains(head)){ return head; } s.add(head); } return null; }
第二个思路
使用快慢指针
原理:首先初始化快指针 fast = head.next.next 和 slow = head.next, 此时快指针走的路长为2, m慢指针走的路长为1,之后令快指针每次走两步, 慢指针每次走一步,这样快指针走的路长始终是慢指针走的路长的两倍, 若不存在环,直接返回None, 若存在环,则 fast 与 slow 肯定会在若干步之后相遇; 性质1: 设从head需要走 a 步到达环的入口,如果环存在的话, 再走 b 步可以再次到达该入口(即环的长度为b), 如果存在环的话,上述描述的 快指针 fast 和 慢指针slow 必然会相遇,且此时slow走的路长 小于 a + b(可以自行证明),设其为 a + x, 当快慢指针相遇时,快指针已经至少走完一圈环了, 不妨设相遇时走了完整的m圈(m >= 1),有: 快指针走的路长为 a + mb + x 慢指针走的路长为 a + x 由于快指针fast 走的路长始终是慢指针的 2倍,所以: a + mb + x = 2(a + x) 化简可得: a = mb - x ------------- (*) 当快指针与慢指针相遇时,由于 <性质1> 的存在, 可以在链表的开头初始化一个新的指针, 称其为 detection, 此时 detection 距离环的入口的距离为 a, detection不用说了,走了a步肯定到刚好到入口 fast已经走过的距离为 a + mb + x,当再走 a 步之后, fast走过的总距离为 2a + mb + x,带入性质1的(*)式可得: 2a + mb + x = a + 2mb,会发现,fast此时刚好走完了 整整 2m 圈环,正好处于入口的位置。