编程之美3.6：单链表相交的问题及证明

给定一个单链表，只给出头指针h：

1、如何判断是否存在环？

2、如何知道环的长度？

3、如何找出环的连接点在哪里？

4、带环链表的长度是多少？

看了不少帖子，感觉还是要自己总结一下。

1.对于问题1，使用追赶的方法，设定两个指针slow、fast，从头指针开始，每次分别前进1步、2步。如存在环，则两者相遇；如不存在环，fast遇到NULL退出。

bool IsExitsLoop(slist *head)
{
    slist *slow = head, *fast = head;

    while ( fast && fast->next ) 
    {
        slow = slow->next;
        fast = fast->next->next;
        if ( slow == fast ) break;
    }

    return !(fast == NULL || fast->next == NULL);
}

2.记录碰撞点。保持fast不动，slow继续移动，再次相遇时，slow移动的步数就是环的长度。

int CycleLength(slist *head)
{
    slist *slow = head, *fast = head;
    int length = 1;

    while ( fast && fast->next ) 
    {
        slow = slow->next;
        fast = fast->next->next;
        if ( slow == fast ) break;
    }

    if (fast == NULL || fast->next == NULL)
        return NULL;

    slow = slow->next;
    while (slow != fast)
    {
         slow = slow->next;
         length++;
    }
    return length;
}

还有另外一种方法，就是相遇后，slow和fast继续走，再次相遇时，slow移动的步数就是环的长度。

证明再次相遇时一定是在第一次相遇的点。

证明：首先易知在slow回到第一次相遇的点时，slow走过了y(环的长度)，而fast走过了2y，所以一定相遇。

假如在之前两点就相遇的话，令slow做过了t步（0<t<y），则fast走过了2t步，因为相遇，所以 

t = 2t(mody)，因为t<y，所以2t%y = t，2t = ay +t（a=1,2……），t = ay>=y，与题设矛盾，所以slow和fast的第二次相遇一定是在第一次相遇的地方。

3.遇到碰撞点后，slow回到链表起点并且fast的步长变为1，同时移动.则再次相遇时一定是在连接点。证明如下：

证明：令起点到碰撞点的距离为x，环长为y

（1）求碰撞点继续移动多长的距离到达连接点

当slow从起点走x步到达碰撞点时，fast已经在环内走了x步了（ny<=x<=(n+1)y,n=0,1,2……），可知fast此时偏离连接点移动了s=x-ny的步长。设经过t次移动后两个指针相遇，那么应该有0+t = s + 2t (mod y)，显然t = y-s(取最小正整数解)。下面这张图可以清晰地表明这种关系，经过t = y-s次移动，P1向前移动了y-s个位置（相当于后退了s），到达P1′处，而P2向前移动了2y-2s个位置（相当于后退了2s），到达P2′处，显然P1′和P2′是同一点。

所以，碰撞点距离连接点移动了y-s即y-(x-ny)=(n+1)y-x的距离。此时slow重新从起点移动x，则fast移动了y-s+x=(n+1)y-x+x=(n+1)y,也在连接点，所以它们再次相遇。连接点即是它们相遇时所指的点。

slist* FindLoopPort(slist *head)
{
    slist *slow = head, *fast = head;

    while ( fast && fast->next ) 
    {
        slow = slow->next;
        fast = fast->next->next;
        if ( slow == fast ) break;
    }

    if (fast == NULL || fast->next == NULL)
        return NULL;

    slow = head;
    while (slow != fast)
    {
         slow = slow->next;
         fast = fast->next;
    }

    return slow;
}

（2）还有一种解法，就是利用问题2中的结果。将slow和fast重新指到起点，然后fast先移动y（环的长度）步，然后slow和fast均以1为步长移动，相遇的点就是连接点.

slist* FindLoopPort(slist *head)
{
    slist *slow = head, *fast = head;
    int cylen = CycleLength(slist *head);
    while(cylen)
    {
     fast = fast->next;  
     cylen--;
     }
     while(slow != fast)
     {
      slow = slow->next;
      fast = fast -> next;
      }
      return slow;
}

4.由问题2和问题3的结果就可以知道了。

接下来，编程之美3.6就可以给出答案了。

给定两单链表A、B，只给出两头指针。请问：
1、如何判断两单链表（无环）是否相交？
有两种可取的办法：
（1）人为构环，将链表A的尾节点指向链表B，再判断是否构环成功？从链表B的头指针往下遍历，如果能够回到B，则说明相交
（2）判断两链表最后一个节点是否相同，如果相交，则尾节点肯定是同一节点
2、如何判断两单链表（不知是否有环）相交？
先判断是否有环，判断是否有环可以使用追逐办法，设置两个指针，一个走一步，一个走两步，如果能相遇则说明存在环
（1）两个都没环：回到问题1
（2）一个有环，一个没环：不用判断了，肯定两链表不相交
（3）两个都有环：判断链表A的碰撞点是否出现在链表B的环中，如果在，则相交。（相交时，环必定是两链表共有的）
3、如何寻找两相交链表（不知是否有环）的第一个相交节点？
同样，使用追逐办法先判断是否存在环，分情况讨论
（1）无环：人为构环，将链表A的尾节点指向链表B，则构成一个带环的单链表。这个问题就转换成寻找带环单链表的环入口节点。
（2）有环：计算出两链表的长度lA、lB，（环的长度和环到入口点长度之和就是链表长度）
如果lA>lB，则链表A指针先走lA-lB，然后链表B指针开始走，两者相遇的点就是相交点
如果lB>lA，则链表B指针先走lB-lA，然后链表A指针开始走，两者相遇的点就是相交点

参考：http://blog.csdn.net/liuxialong/article/details/6556096

http://www.gocalf.com/blog/circle-of-link-list.html