当前位置:   article > 正文

带环链表详解_链表有环

链表有环

目录

一、什么是环形链表

二、判断是否为环形链表

2.1 具体题目

2.2 具体思路

2.3 思路的证明

2.3.1 证明一

2.3.2 证明二

 2.3.3 总结

2.4 代码

三、求环的长度

四、求入环的第一个结点

4.1 结论法(L=N*C-x)

4.2 转换为相交问题


一、什么是环形链表

     如果链表中有某个节点,可以通过连续跟踪 next 指针再次到达,则链表中存在环。

例如下图就是一个环形链表:

 

二、判断是否为环形链表

2.1 具体题目

     这里我们主要通过一个题来描述:

2.2 具体思路

     对于判断是否是环形链表这个题,我们提供一个思路并在下文给出关于这个思路的证明。

     主题思想是使用快慢指针,如果是带环链表慢指针slow每次走一步快指针fast每次走两步,slow走到中间位置,fast就进环了,当slow进环时,fast可能已经在环内走了几圈了,此时就变成了追击问题,slow和fast会相遇如果链表无环,fast会先走到空

2.3 思路的证明

     我们首先提出这两个问题:

  1. 为什么slow走一步,fast走两步,他们会相遇?会不会错过?请证明。
  2. 为什么slow走一步,fast走x步(x>=3),他们会相遇?会不会错过?请证明。

2.3.1 证明一

      slow刚刚进环时,假设fast与slow之间的距离是N

      slow进环以后,slow每走一步,fast走两步,他们之间的距离每次缩小一

      slow和fast之间的距离每次缩小一,在slow刚刚进环的时候,slow和fast之间相差N,每次距离-1,总会 减到0,即相遇。

2.3.2 证明二

     在这里我们以slow走一步,fast走三步来举例证明:

      slow刚刚进环时,假设fast与slow之间的距离是N。

 

     slow进环以后,slow每走一步,fast走三步,他们之间的距离每次缩小二

 2.3.3 总结

     slow和fast是否会相遇主要关注的是他们每走一步之间的距离差如果他们之间的距离是1,那么他们肯定能够相遇,其他距离差不确定能不能相遇,看环的长度即其他因素。

2.4 代码

  1. bool hasCycle(struct ListNode *head) {
  2. struct ListNode * slow = head;
  3. struct ListNode * fast = head;
  4. while(fast&&fast->next)
  5. {
  6. slow = slow->next;
  7. fast = fast->next->next;
  8. if(slow==fast)
  9. {
  10. return true;
  11. }
  12. }
  13. return false;
  14. }

三、求环的长度

      slow走一步,fast走两步,走到相遇的位置时,slow再次从相遇位置走一圈,当再次走到相遇位置时正好一圈。

四、求入环的第一个结点

     求入环的第一个结点有两个方法,有一个方式需要进行证明。

4.1 结论法(L=N*C-x)

     这种方法需要进行证明:

      假设:起始点到入口点的距离是L,入口点到相遇点的距离是x,环的长度是C,slow走的距离是L+X,fast走的距离是L+N*C+X,注意的是这里会有一些人认为fast走的距离是L+C+X,这样得出的结论是正确的,但是本质上是对链表认识不清导致的。

      如果是上述的情况,那么slow走L+X,fast不可能只走L+C+X,显然错误。

     slow走的距离是L+X,fast走的距离是L+N*C+X,slow每次走一步,fast每次走两步,slow走的路程是fast走的路程的1/2,即得到下式:2*(L+X)= L+N*C+X,化简得到:    L = N * C - X     即

L = (N-1)*C+C-X

      由上面的式子我们可以得出一个结论,一个指针从相遇点走(可能走N圈),一个指针从起始点走(走一次),会在入口点相遇。

代码如下:

  1. struct ListNode *detectCycle(struct ListNode *head) {
  2. struct ListNode * h = head;
  3. struct ListNode * slow = head;
  4. struct ListNode * fast = head;
  5. while(fast&&fast->next)
  6. {
  7. slow = slow->next;
  8. fast = fast->next->next;
  9. if(slow==fast)
  10. {
  11. while(slow!=h)
  12. {
  13. h = h->next;
  14. slow = slow->next;
  15. }
  16. return slow;
  17. }
  18. }
  19. return NULL;
  20. }

4.2 转换为相交问题

     把相遇点和相遇点的下一个结点之间的链接断开,一个指针从起始点开始走,一个指针从相遇点的下一个指针开始走,转换成相交链表求交点的问题。

     让相遇点和相遇点的下一个结点之间的链接断开。

 代码:

  1. struct ListNode *getIntersectionNode(struct ListNode *headA, struct ListNode *headB) {
  2. struct ListNode* n1 = headA;
  3. struct ListNode* n2 = headB;
  4. int x1 = 0;
  5. int x2 = 0;
  6. while(n1)
  7. {
  8. x1++;
  9. n1 = n1->next;
  10. }
  11. while(n2)
  12. {
  13. x2++;
  14. n2 = n2->next;
  15. }
  16. if(n1!=n2)
  17. return NULL;
  18. int x = abs(x1-x2);
  19. struct ListNode * shortList = headA,*longList = headB;
  20. if(x1>x2)
  21. {
  22. shortList = headB;
  23. longList = headA;
  24. }
  25. while(x--)
  26. {
  27. longList = longList->next;
  28. }
  29. while(longList!=shortList)
  30. {
  31. longList = longList->next;
  32. shortList = shortList->next;
  33. }
  34. return longList;
  35. }
  36. struct ListNode *detectCycle(struct ListNode *head) {
  37. struct ListNode * fast,*slow;
  38. fast = slow = head;
  39. while(fast&&fast->next)
  40. {
  41. slow = slow->next;
  42. fast = fast->next->next;
  43. if(slow == fast)
  44. {
  45. struct ListNode *meet = slow;
  46. struct ListNode *lt1 = meet->next;
  47. struct ListNode *lt2 = head;
  48. meet->next = NULL;
  49. return getIntersectionNode(lt1,lt2);
  50. }
  51. }
  52. return NULL;
  53. }

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/我家自动化/article/detail/681893
推荐阅读
相关标签
  

闽ICP备14008679号