算法——单向链表求环及其引申

地址： http://blog.jobbole.com/106227/

单项链表求环

有一个单向链表，链表当中有可能出现“环”，就像下图这样。如何用程序判断出这个链表是有环链表？

1.1 反复遍历比较，时间O(N^2)，空间O(1)

首先从头节点开始，依次遍历单链表的每一个节点。每遍历到一个新节点，就从头节点重新遍历新节点之前的所有节点，用新节点ID和此节点之前所有节点ID依次作比较。如果发现新节点之前的所有节点当中存在相同节点ID，则说明该节点被遍历过两次，链表有环；如果之前的所有节点当中不存在相同的节点，就继续遍历下一个新节点，继续重复刚才的操作。

例如这样的链表：A->B->C->D->B->C->D， 当遍历到节点D的时候，我们需要比较的是之前的节点A、B、C，不存在相同节点。这时候要遍历的下一个新节点是B，B之前的节点A、B、C、D中恰好也存在B，因此B出现了两次，判断出链表有环。

假设从链表头节点到入环点的距离是D，链表的环长是S。那么算法的时间复杂度是0+1+2+3+….+(D+S-1) = (D+S-1)(D+S)/2 ， 可以简单地理解成 O(NN)。而此算法没有创建额外存储空间，空间复杂度可以简单地理解成为O(1)。

借助外力，时间O(N)，空间O(N)

首先创建一个以节点ID为键的HashSet集合，用来存储曾经遍历过的节点。然后同样是从头节点开始，依次遍历单链表的每一个节点。每遍历到一个新节点，就用新节点和HashSet集合当中存储的节点作比较，如果发现HashSet当中存在相同节点ID，则说明链表有环，如果HashSet当中不存在相同的节点ID，就把这个新节点ID存入HashSet，之后进入下一节点，继续重复刚才的操作。

这个方法在流程上和方法一类似，本质的区别是使用了HashSet作为额外的缓存。

假设从链表头节点到入环点的距离是D，链表的环长是S。而每一次HashSet查找元素的时间复杂度是O(1), 所以总体的时间复杂度是1*(D+S)=D+S，可以简单理解为O(N)。而算法的空间复杂度还是D+S-1，可以简单地理解成O(N)。

双指针，时间O(N)，空间O(1)

首先创建两个指针1和2（在java里就是两个对象引用），同时指向这个链表的头节点。然后开始一个大循环，在循环体中，让指针1每次向下移动一个节点，让指针2每次向下移动两个节点，然后比较两个指针指向的节点是否相同。如果相同，则判断出链表有环，如果不同，则继续下一次循环。

例如链表A->B->C->D->B->C->D，两个指针最初都指向节点A，进入第一轮循环，指针1移动到了节点B，指针2移动到了C。第二轮循环，指针1移动到了节点C，指针2移动到了节点B。第三轮循环，指针1移动到了节点D，指针2移动到了节点D，此时两指针指向同一节点，判断出链表有环。

此方法也可以用一个更生动的例子来形容：在一个环形跑道上，两个运动员在同一地点起跑，一个运动员速度快，一个运动员速度慢。当两人跑了一段时间，速度快的运动员必然会从速度慢的运动员身后再次追上并超过，原因很简单，因为跑道是环形的

假设从链表头节点到入环点的距离是D，链表的环长是S。那么循环会进行SK次，K为正整数（为什么是SK次，有心的同学可以自己揣摩下），可以简单理解为O（N）。除了两个指针以外，没有使用任何额外存储空间，所以空间复杂度是O（1）。

判断两个单向链表是否相交，如果相交，求出交点。

详细解法如下地址：
https://blog.csdn.net/jiary5201314/article/details/50990349

仔细分析结构，就会发现其实最后一个节点是一样的！
仔细研究两个链表，如果他们相交的话，那么他们最后的一个节点一定是相同的，否则是不相交的。因此判断两个链表是否相交就很简单了，分别遍历到两个链表的尾部，然后判断他们是否相同，如果相同，则相交；否则不相交。

判断出两个链表相交后就是判断他们的交点了。假设第一个链表长度为len1，第二个问len2，然后找出长度较长的，让长度较长的链表指针向后移动|len1 - len2| (len1-len2的绝对值)，然后在开始遍历两个链表，判断节点是否相同即可。
下面给出一个简单的实现：

/************************************************************************
   两个不含环的单链表的相交
   相交指的是结点的地址相同，而不是结点的值相同                    
************************************************************************/
typedef struct node_t {
  int data;//data
  struct node_t *next; //next
} node;

node *find_node(node *head1, node *head2) {
  if (NULL == head1 || NULL == head2) {
    return NULL;//如果有为空的链表，肯定是不相交的
  }
  node *p1, *p2;
  p1 = head1;
  p2 = head2;
  int len1 = 0;
  int len2 = 0;
  int diff = 0;
  while (NULL != p1->next) {
    p1 = p1->next;
    len1++;
  }
  while (NULL != p2->next) {
    p2 = p2->next;
    len2++;
  }
  if (p1 != p2) //如果最后一个节点不相同,返回NULL
  {
    return NULL;
  }
  diff = abs(len1 - len2);
  if (len1 > len2) {
    p1 = head1;
    p2 = head2;
  } else {
    p1 = head2;
    p2 = head1;
  }
  for (int i = 0; i < diff; i++) {
    p1 = p1->next;
  }
  while (p1 != p2) {
    p1 = p1->next;
    p2 = p2->next;
  }
  return p1;
}

在一个有环链表中，如何找出链表的入环点？

地址：http://www.cnblogs.com/huanyou/p/5944296.html

求环长

因此，只要记录二者从第一次相遇到第二次相遇一共移动了多少步，就知道环长了。

求入环点

假设起点到环起点的长度为LenA；开始到第一次相遇，移动了t步；环的长度为R；环的起点到二者第一次相遇位置的距离为x，二者相遇的时候快指针已经在环上转了n圈。

则有如下等式成立： 慢指针移动的距离=LenA + x; 即 t = LenA + x;

快指针移动的距离=LenA + n * R + x; 即 2t = LenA + n * R + x;

所以 2*(LenA+x) = LenA + n*R + x;

即 LenA = n * R - x;

上面的等式可以这样理解，如果慢指针从链表起点开始移动，快指针从环起点开始移动，当慢指针从起点走到环起点的时候，快指针一直在环上移动，而且还差x步就移动了n圈。进而可以得到结论，如果慢指针从链表起点开始移动，快指针从二者第一次相遇点开始移动，当慢指针到达环起点的时候，快指针也正好达到环起点，即二者指向相同的节点。
　　可以参考图片（从另一篇博客黏贴，博客地址：求有环单链表中的环长、环起点、链表长）：

推导比较不容易记住，但是结论是：
当找到第一次相遇位置后，从这个位置 和 头节点，同步向链表后部移动，相遇的时候就是入环点，这样也就求出了头节点到入环点的长度。

求链表长

知道了 环长 和 入环点前的长度，链表长度很容易求出