JZ23 链表中环的入口结点

描述

给一个长度为n链表，若其中包含环，请找出该链表的环的入口结点，否则，返回null。

数据范围：n≤10000，1<=结点值<=10000 

要求：空间复杂度 O(1) ，时间复杂度 O(n) 

例如，输入{1,2},{3,4,5}时，对应的环形链表如下图所示：

可以看到环的入口结点的结点值为3，所以返回结点值为3的结点。

输入描述：

输入分为2段，第一段是入环前的链表部分，第二段是链表环的部分，后台会根据第二段是否为空将这两段组装成一个无环或者有环单链表

返回值描述：

返回链表的环的入口结点即可，我们后台程序会打印这个结点对应的结点值；若没有，则返回对应编程语言的空结点即可。

示例1

输入：

{1,2},{3,4,5}

复制返回值：

3

复制说明：

返回环形链表入口结点，我们后台程序会打印该环形链表入口结点对应的结点值，即3    

示例2

输入：

{1},{}

复制返回值：

"null"

复制说明：

没有环，返回对应编程语言的空结点，后台程序会打印"null"    

示例3

输入：

{},{2}

复制返回值：

2

复制说明：

环的部分只有一个结点，所以返回该环形链表入口结点，后台程序打印该结点对应的结点值，即2    

经典链表找环问题：双指针法(快慢指针法) 快指针一次走两步，慢指针一次走一步，若有环一定相遇，且一定在慢指针第一次遍历环的过程中相遇（无环简单：遍历过程中一遇到null就说明无环，立即返回null）

找到环后进一步确定环入口：双指针，一个在相遇点，一个在起点，同步后移(一次一步)，第一次相遇点就是起点

很好理解，如下图，fast快指针，slow慢指针，p1比p2多走的距离一定是整数个环长，所以剩下的距离z一定等于开始的长度x   z==x

具体证明：fast走的步数L1  slow走的步数L2=x+y  则有 L1=2*L2  则有: L1-L2=L2(=x+y)

又fast超越slow步数一定是整数个环长  因此: L1-L2=(y+z)      环长=y+z

所以：x+y=(y+z)      x==z      (两个运动员跑步，超第一圈时一定相遇 也找不到反例)

 

 

    public ListNode EntryNodeOfLoop(ListNode pHead) {
        ListNode p1=pHead,p2=pHead;//p1快 p2慢
        do{//开始必然相等 的用do{}while循环
            if(p1==null||p2==null||p1.next==null) return null;//遇到null一定无环
            p1=p1.next.next;
            p2=p2.next;
        }while (p1!=p2);
        //能执行到此 说明一定有环  
        while (p1!=pHead){//相遇点和起点同步走 必在入口相遇了
            p1=p1.next;
            pHead=pHead.next;
        }
        return p1;
    }