数据结构与算法——检查一个单链表是否有环

如何检查一个单链表是否有环

方法一：暴力

定义一个hash_set用来存放结点的指针，初始化为空指针，从链表的头指针开始往后遍历，每次遇到一个指针就判断hash_set是否存在这个结点的指针，如果在hash_set中找到了同样的指针，说明这个结点已经被访问过了，于是就形成了环。这个算法的时间复杂度为O(n)，但空间复杂度也为O(n)

方法二：快慢指针

定义两个指针，分别为fast与slow，二者的初始值都指向头结点，slow每次前进一步，fast每次前进两步，两个指针同时向前移动，快指针每移动一次都要跟慢指针比较，直到当快指针等于慢指针为止，就证明这个链表是带环的单链表，否则，证明这个链表是不带环的（或循环链表）

struct ListNode {
    int val;
    ListNode *next;
};

ListNode* IsLoop(ListNode* head)
{
    if (head == NULL || head->next == NULL)
    {
        return NULL;
    }

    ListNode* slow = head->next;
    ListNode* fast = head->next;

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

如何找出环的入口点

当链表有环的时候，如果知道环的入口点，那么在需要遍历链表或释放链表所占空间的时候将会非常简单

如果单链表有环，按照上面方法二的思路，走得快的指针fast若与走得慢的指针slow相遇时，slow指针肯定没有遍历完链表，而fast指针已经在环内循环了n圈（n≥1）。假设slow指针走了s步，则fast指针走了2s步（fast步数还等于s加上在环上多转的n圈），设环长为r，则满足如下关系表达式：
$2s=s+nr$

由此，$s=nr$

设整个链表长为L，入口点与相遇点距离为x，起点到环入口点的距离为a，则满足如下关系表达式
$a+x=nr$

$a+x=(n-1)r+r=(n-1)r+L-a$

$a=(n-1)r+(L-a-x)$

$(L-a-x)$为相遇点到环入口点的距离，

$从链表头到环入口点的距离=(n-1)\ast 环长+相遇点到环入口点的长度$

于是在链表头与相遇点分别设置一个指针，每次各走一步，两个指针必定相遇，且相遇第一次为环入口点

ListNode* FindLoopNode(ListNode* head, ListNode* meetNode)
{
    ListNode* first = head->next;
    ListNode* second = meetNode;
    while (first != second)
    {
        first = first->next;
        second = second->next;
    }
    return first;
}