《剑指offer22.链表中环的入口结点》

原题放上：
** 34. 链表中环的入口结点
给定一个链表，若其中包含环，则输出环的入口节点。
若其中不包含环，则输出null。
数据范围
节点 val 值取值范围 [1,1000]。
节点 val 值各不相同。
链表长度 [0,500]。
样例
QQ截图20181202023846.png
给定如上所示的链表：
[1, 2, 3, 4, 5, 6]
2
注意，这里的2表示编号是2的节点，节点编号从0开始。所以编号是2的节点就是val等于3的节点。
则输出环的入口节点3 **

题解：本题采用快慢指针的写法，两个指针同时开始从起点a出发，慢指针一次走一步，快指针一次走两步；可以证明两个指针必定会在环内发生第一次相遇，因为快指针进入环之后会一直在环内循环，而当慢指针进入环之后，假设以慢指针为参考系，快指针每次走一步，那么必定会在一定步数之后遇到慢指针；然后当两个指针相遇之后，让慢指针回到起点a，快指针位置不变，之后让两个指针每次都只走一步，由于两个指针距离入口b有相同的距离，所以最后会在入口处相遇；

关于两个指针第二次会在入口处相遇的证明：
假设a到b的距离为x,第一次相遇距离入口b的距离为y,相遇的点为c，c到b的距离为z,因为快指针走的更快，所以快慢指针在c点第一次相遇时，快指针必定已经走了n圈（n>=1）之后又走了y距离到达c；
那么快指针走过的距离：s2=x+n*(y+z)+y;
慢指针走过的距离：s1=x+y;
而快指针的速度是慢指针的2倍，所以s2也可以写成：s2=2(x+y);
所以2(x+y)=x+n*(y+z)+y;
整理得：x=n*(y+z)-y;
两边同时+y: x+y=n*(y+z);//n*(y+z)正好是环的长度的整数倍；也就是x+y必定是环的整数倍，所以x+y能构成一个环，
那么此时让慢指针回到起点a,快指针仍然在c的位置，此时他们两个距离入口b的距离都是x，那么同时以相同的速度出发，最后就会在入口b处相遇；此时就找到了环的入口结点；

AC代码：

/**
 * Definition for singly-linked list.
 * struct ListNode {
 *     int val;
 *     ListNode *next;
 *     ListNode(int x) : val(x), next(NULL) {}
 * };
 */
class Solution {
public:
    /*快慢指针写法O(n),开始，快，慢指针同时从起点出发，慢指针每次走1部，快指针每次
    走两步，当二者第一次相遇时，慢指针回到起点的位置，快指针不动，随后两只真再次
    同时出发，都每次只走一部，直到两个之指针相遇的时候即为环的入口节点*/
    ListNode *entryNodeOfLoop(ListNode *head) {
            ListNode* slp=head;
            ListNode* qlp=head;
            while(slp&&qlp){
                slp=slp->next;
                qlp=qlp->next;
                //如果qlp的下一个位置的指针为空说明已经走到了链表的结尾，
                //这说明链表是没有环的，返回null
                if(!qlp) return 0;
                else qlp=qlp->next;
                
                if(slp==qlp) {
                    slp=head;
                    while(slp!=qlp){
                        slp=slp->next;
                        qlp=qlp->next;
                    }
                    return slp;
                }
            }
            return NULL;
        }
};

注意这里的代码：快指针qlp一次走两步并不是采用qlp->next->next的方式，因为这样可能无法判断是否到达边界，采用下边的这种写法，
同时可以判断指针是否走到了尽头（走到了尽头就意味着链表中没有环）

qlp=qlp->next;
                //如果qlp的下一个位置的指针为空说明已经走到了链表的结尾，
                //这说明链表是没有环的，返回null
                if(!qlp) return 0;
                else qlp=qlp->next;