链表快慢指针算法：高效查找中间节点与倒数第k元素

1. 链表操作的核心痛点

链表作为数据结构中的常青树，在技术面试中出现的频率居高不下。我面过上百位候选人，发现80%的人在链表问题上都会卡在两种经典题型：寻找中间节点和定位倒数第k个节点。这两个问题看似简单，但要在面试高压环境下写出最优解并不容易。

传统解法往往需要两次遍历——第一次获取链表长度，第二次根据计算的位置定位节点。这种方法虽然直观，但时间复杂度O(2n)和空间复杂度O(1)的表现只能算勉强及格。直到我遇到一位ACM选手，他演示的快慢指针技巧让我眼前一亮：单次遍历即可解决问题，时间复杂度直接降到O(n)。

2. 快慢指针算法原理解析

2.1 算法核心思想

快慢指针（Tortoise and Hare Algorithm）本质上是双指针技术的特殊应用。其核心在于通过两个指针不同的移动策略，在单次遍历中提取链表的拓扑信息。具体实现时：

• 慢指针（slow）：每次移动1个节点
• 快指针（fast）：每次移动2个节点

这种速度差会产生神奇的化学效应。当快指针到达链表末尾时，慢指针恰好位于中间位置。对于长度为n的链表，无论n为奇数还是偶数，该算法都能正确处理：

• 奇数长度：slow停在正中间节点
• 偶数长度：slow停在前半部分的最后一个节点（面试常规定义）

2.2 数学原理验证

让我们用数学归纳法证明其正确性。假设链表长度为n：

1. 当n=1时：fast立即到达末尾，slow指向唯一节点，符合预期
2. 当n=2时：fast第一次移动后到达末尾，slow移动1步指向第1个节点
3. 假设n=k时成立，考虑n=k+2的情况：
   • fast比n=k时多移动2步
   • slow比n=k时多移动1步
   • 位置关系保持同步变化

这种步长设计确保了快指针的移动速度始终是慢指针的两倍，因此当快指针走完全程时，慢指针必然处于中点位置。

3. 中间节点查找实战

3.1 基础实现代码

python复制def find_middle(head):
    if not head or not head.next:
        return head
    
    slow = fast = head
    while fast and fast.next:
        s