判断两个单链表是否相交

题一、 给定单链表，检测是否有环。   
      使用两个指针p1,p2从链表头开始遍历，p1每次前进一步，p2每次前进两步。如果p2到达链表尾部，说明无环，否则p1、p2必然会在某个时刻相遇(p1==p2)，从而检测到链表中有环。  
题二、 给定两个单链表(head1, head2)，检测两个链表是否有交点，如果有返回第一个交点。   
      如果head1==head2，那么显然相交，直接返回head1。   
      否则，分别从head1,head2开始遍历两个链表获得其长度len1与len2。假设len1>=len2，那么指针p1由head1开始向后 移动len1-len2步。指针p2=head2，下面p1、p2每次向后前进一步并比较p1p2是否相等，如果相等即返回该结点，否则说明两个链表没有 交点。  
题三、 给定单链表(head)，如果有环的话请返回从头结点进入环的第一个节点。   
       运用题一，我们可以检查链表中是否有环。   
      如果有环，那么p1p2重合点p必然在环中。从p点断开环，方法为：p1=p, p2=p->next, p->next=NULL。此时，原单链表可以看作两条单链表，一条从head开始，另一条从p2开始，于是运用题二的方法，我们找到它们的第一个 交点即为所求。  
题四、只给定单链表中某个结点p(并非最后一个结点，即p->next!=NULL)指针，删除该结点。   
    办法很简单，首先是放p中数据,然后将p->next的数据copy入p中，接下来删除p->next即可。  
题五、只给定单链表中某个结点p(非空结点)，在p前面插入一个结点。   
       办法与前者类似，首先分配一个结点q，将q插入在p后，接下来将p中的数据copy入q中，然后再将要插入的数据记录在p中。  
题六、给定单链表头结点，删除链表中倒数第k个结点。   
      使用两个节点p1,p2，p1初始化指向头结点，p2一直指向p1后第k个节点，两个结点平行向后移动直到p2到达链表尾部(NULL),然后根据p1删除对应结点。

 

判断两个单链表是否相交：

这个问题很简单，可以很容易想到。如果两个链表相交，则一定有共同的节点，而最后一个节点必然是共同的节点。代码如下：

bool IsIntersect(Node* list1, Node* list2)

{

      if( list1 == NULL || list2 == NULL ) return false;

      while( list1->next ) list1 = list1->next;

      while( list2->next ) list2 = list2->next;

      return list1 == list2;

}

      如果还需要求第一个相交的节点呢？ 假设第一个链表较长，长度为L1，第二个链表长度为L2，可以想到如果两个链表相交，从未端把两个链表对齐，则从第一个链表的L1-L2+1位置应该对应于第二个链表的第1个位置。如果两个链表从对应的位置开始像后面移动，则很容易就可以得到第一个相同的节点。

bool IsIntersect(Node* list1, Node* list2, Node*& value)

{

      value = NULL;

      if( list1 == NULL || list2 == NULL ) return false;

      Node *temp1 = list1, *temp2 = list2;

      int size1 = 0, size2 = 0;

      while( temp1->next ) { temp1= temp1->next; ++size1; }

      while( temp2->next ) { temp2= temp2->next; ++size2; }

      if( temp1 == temp2 )

      {

          if(size1 > size2 ) while( size1 - size2 > 0 ) { list1 = list1->next; --size1; }

           if(size2 > size1 ) while( size2 - size1 > 0 ) { list2 = list2->next; --size2; }

          while( list1 != list2 ) { list1 = list1->next; list2 = list2->next; }

          value = list1;

          return true;

       }

       else return false;

}

       如果链表可能有环呢，怎么判断相交？这里分三种情况：如果两个都没环，则方法同上；如果一个有环，另一个没环，则肯定不相交；如果两个都有环，根据不同步长的方法得到第一个链表环上的相邻两个节点。这个时候再以不同步长的方法去遍历第二个链表，如果那个步长大那个指针遇到了第一个链表上两个相邻节点之一，则相交，反之如果第二个链表的两个步长的指针相等了都没有遇到第一个链表上的两个相邻节点，则不相交。具体实现起来可以把三种情况统一考虑，两个链表都采用两个不同步长的指针遍历一次既可。下面是代码：

bool IsIntersect(Node* list1, Node* list2)

{

      if( list1 == NULL || list2 == NULL ) return false;

      Node* a1 = list1, *a2 = list1->next, *b1 = list2, *b2 = list2->next;

      bool list1Loop = false;

      while(a1 != a2 && a2 != NULL && a2->next != NULL ) { a1 = a1->next; a2 = a2->next->next; }

      if( a1 == a2 ) { list1Loop = true; a2 = a2->next; }

       else                { a2 = a2->next == NULL ? a2 : a2->next; }

       while(b1 != b2 && b2 != NULL && b2->next != NULL )

     {

        if( list1Loop && (b2 == a1 || b2 == a2 ) ) return true;

        b1 = b1->next; b2 = b2->next->next;

      }

      if( b1 == b2 ) return false;

      else {  

                b2 = b2->next == NULL ? b2 : b2->next;  

                if( b2 == a2 ) return true;

                else               return false;

             }

}

、、、、、、、、、、、、、、、、、、、、、、、、、、、

、、、、、、、、、、、、、、、、、、、、、、

法1、对链表1中的每个节点p1，判断链表2中是否有一个节点p2指向p1
loop:p1从head1到最后一个节点
loop:p2从head2到最后一个节点
   if(p2是否指向p1)
    相交
    break
时间复杂度：O(list1.length * list2.length)
空间复杂度：O(1)
法2、使用hash表
loop：p1从head1到最后一个节点
把p1放入hash表table中
loop:p2从head2到最后一个节点
if(p2在hash表中)
   相交
时间复杂度:O(list1.length + list2.length)
空间复杂度：O(list1.length)
法3、将其中一个链表首尾相连，检测另一个链表是否存在环，如果存在，则两个链表相交，而检测出来的依赖环入口点即为相交的第一个点。程序描述如下：
找到list1的最后一个节点tail1
tail1->next=head1
判断head2是否存在环
tail1->next=NULL; //恢复tail1

法4、如果两个链表相交，那么两个链表从相交点到链表结束都是相同的节点。可以先分别遍历找出两个链表的尾节点，如果连个尾节点相同，则两个链表相交。程序描述如下：
//找到list1的最后一个节点p1
p1=head1
while(p1->next不是NULL)
p1=p1->next
找出list2的最后一个节点p2
if(p1==p2)
相交
else
不相交
时间复杂度:O(list1.length + list2.length)
空间复杂度：O(1)

扩展问题4、如果两个链表相交，找出相交的第一个节点？
在判断相交的过程中要分别遍历两个链表，同时记下各自的长度。然后再遍历一次：长链表节点先从头节点出发前进(lengthMax-lenghMin)步，之后两个链表同时前进，每次一步，相遇的第一个节点即为两个链表相交的第一个节点。