双指针是算法竞赛中最常用的优化技巧之一核心思想是利用两个下标同时遍历将 O(n²) 暴力优化到 O(n)。本文系统讲解反向扫描和同向扫描两大类型配合经典例题和完整代码。一、核心原理1.1 什么是双指针双指针在区间操作时利用两个下标同时遍历进行高效操作。核心优势利用区间单调性或有序性将O(n²)时间降低到O(n)。1.2 两大类型对比类型指针移动方向应用场景典型题目反向扫描left从左往右right从右往左有序数组、字符串回文、两数之和装船问题、回文判断同向扫描滑动窗口left和right都从左往右子数组问题、区间计数、连续子序列最小长度子数组、恰好k个二、反向扫描2.1 核心思想left 起点不断往右走right 终点不断往左走直至相交则停止适用场景有序数组、字符串类问题。2.2 经典应用两数之和给定有序数组找两个数之和等于 target。deftwo_sum(nums,target):left,right0,len(nums)-1whileleftright:snums[left]nums[right]ifstarget:return[left,right]elifstarget:left1# 和太小左指针右移增大else:right-1# 和太大右指针左移减小return[]三、同向扫描滑动窗口3.1 核心思想始终维护一个[left, right]区间左端点往右移动→ 删除元素右端点往右移动→ 增加元素当移动到尾部或满足特殊条件时停止适用场景子数组求和、区间统计、连续子序列问题。3.2 经典应用最小长度子数组找和 target的最短连续子数组。defmin_sub_array_len(target,nums):nlen(nums)left,right0,0total0min_lenfloat(inf)whileleftn:# 扩展右端点直到满足条件whilerightnandtotaltarget:totalnums[right]right1iftotaltarget:min_lenmin(min_len,right-left)# 收缩左端点total-nums[left]left1returnmin_lenifmin_len!float(inf)else0四、例题 1装船问题蓝桥杯 P532题目描述船的最大载重为w有n个货物重量分别为p[i]。每次最多装两件货物两件重量之和 w。求最少需要几次才能运完所有货物。输入格式w n p1 p2 ... pn输出格式一个整数最少运输次数。题解贪心 反向扫描最重的和最轻的搭配能装就一起装不能装就重的单独装。wint(input())nint(input())p[]for_inrange(n):p.append(int(input()))p.sort()# 排序方便双指针l,r0,n-1# 最轻和最重ans0whileTrue:iflr:# 只剩一个货物ans1breakiflr:# 所有货物已装完breakifp[l]p[r]w:# 最轻 最重可以一起装l1r-1ans1else:# 最重的单独装r-1ans1print(ans)推演验证w10, n4, p[1,2,8,9] 排序后: [1,2,8,9] 初始: l0(1), r3(9) 1910 10 → 一起装, l1, r2, ans1 l1(2), r2(8) 2810 10 → 一起装, l2, r1, ans2 l2 r1 → 结束 输出: 2关键细节坑点说明必须先排序双指针的前提是数组有序l r的处理只剩一个货物单独装一次l r的终止所有货物已分配完毕五、例题 2回文判断蓝桥杯 P1371题目描述判断字符串s是否为回文串。输入格式s输出格式Y或N题解反向扫描left从头right从尾逐位比较。# 简洁写法sinput()ifss[::-1]:print(Y)else:print(N)# 双指针写法更符合算法思想sinput()l,r0,len(s)-1okYwhilelr:ifs[l]s[r]:l1r-1else:okNbreakprint(ok)推演验证输入: abba l0(a), r3(a) → 相等, l1, r2 l1(b), r2(b) → 相等, l2, r1 l2 r1 → 结束 输出: Y 输入: abc l0(a), r2(c) → 不相等 输出: N六、例题 3最小长度子数组蓝桥杯 P1372题目描述给定长度为n的数组a和整数s找和 s的最短连续子数组长度。输入格式n s a1 a2 ... an输出格式一个整数最短长度。不存在输出0。题解滑动窗口维护[l, r)区间和右扩左缩。n,smap(int,input().split())alist(map(int,input().split()))min_lenn1# 初始化为不可能的值l,r0,0# [l, r) 左闭右开total0whileln:# 扩展右端点直到区间和 swhilernandtotals:totala[r]r1iftotals:# 更新最小长度min_lenmin(min_len,r-l)# 收缩左端点total-a[l]l1print(min_lenifmin_lennelse0)推演验证n5, s7, a[2,3,1,2,4] 初始: l0, r0, total0 第1轮: 扩展r r0: total2, r1 r1: total5, r2 r2: total6, r3 r3: total8 7, r4 min_len min(6, 4-04) 4 total - a[0]2 → total6, l1 第2轮: total6 7, 继续扩展 r4: total10 7, r5 min_len min(4, 5-14) 4 total - a[1]3 → total7, l2 第3轮: total7 7 min_len min(4, 5-23) 3 total - a[2]1 → total6, l3 第4轮: total6 7, r已到头 无法扩展直接收缩 total - a[3]2 → total4, l4 第5轮: total4 7, 继续收缩 total - a[4]4 → total0, l5 l5 n → 结束 输出: 3 (子数组 [1,2,4] 或 [3,1,2,4] 中最短是 [1,2,4]? 不对...) 重新检查: 第3轮时 [2,4] 即 a[3]a[4]246 7所以最短是 [3,1,2]6? 实际上第2轮 l2 时区间是 [2,5) 即 a[2..4][1,2,4]和7长度3 ✓七、例题 4恰好 k 个蓝桥杯 P1621题目描述给定数组a求有多少个子数组满足区间中恰好有 k 个数字 m。输入格式n m k a1 a2 ... an输出格式一个整数满足条件的子数组个数。题解滑动窗口 转化思想关键观察如果[left, right]中恰好有k个 m那么[left, right1],[left, right2], …,[left, n-1]也都满足因为右边添加的元素不影响至少k个。所以先找最短的右端点使得区间有k个 m然后计算以left为起点的合法区间数。n,m,kmap(int,input().split())alist(map(int,input().split()))left,right0,0ans0cnt0# [left, right) 中 m 的元素个数whileleftn:# 扩展右端点直到恰好有 k 个 mwhilerightnandcntk:ifa[right]m:cnt1right1# 如果找到 k 个ifcntk:# [left, right-1] 是包含k个的最短区间# [left, right-1], [left, right], ..., [left, n-1] 都合法# 共 n - (right - 1) n - right 1 个ansn-right1# 收缩左端点ifa[left]m:cnt-1left1print(ans)推演验证n5, m3, k2, a[1,3,2,4,3] 初始: left0, right0, cnt0 第1轮: 扩展right找2个3 r0: a[0]13, cnt0, r1 r1: a[1]33, cnt1, r2 r2: a[2]23, cnt1, r3 r3: a[3]43, cnt2, r4 cnt2, ans 5-41 2 (区间 [0,3]和[0,4]) a[0]13, cnt不变, left1 第2轮: cnt2, 先判断 ans 5-41 2 (区间 [1,3]和[1,4]) a[1]33, cnt1, left2 第3轮: cnt12, 扩展right r4: a[4]33, cnt2, r5 ans 5-51 1 (区间 [2,4]) a[2]23, cnt不变, left3 第4轮: cnt2 ans 1 (区间 [3,4]) a[3]43, cnt1, left4 第5轮: cnt12, right5已到头无法扩展 a[4]33, cnt0, left5 left5 n → 结束 ans 2211 6 验证所有区间: 3的元素: a[1]3, a[3]4, a[4]3 恰好2个3的子数组: [1,3]: [3,2,4] → 2个 ✓ [1,4]: [3,2,4,3] → 3个 ✗ 等等这里有问题恰好k个和至少k个不同 重新理解题意题目说的是恰好有k个数字大于等于m但代码逻辑是找至少k个。 实际上看代码注释对于每个left找到最小的right满足区间[left,right]中恰好有k个数字大于等于m。然后 [left,right]、[left,right1]、...[left,n] 均为合法区间。 这是因为一旦有了k个再往后加元素m的个数只增不减所以恰好k个不成立。 除非...题目实际上是至少k个或者我理解有误。 再看代码注释恰好有k个 → 但后续说[left,right]、[left,right1]均为合法区间这说明是至少k个。 可能题目描述或代码有偏差但核心思想是滑动窗口找边界。 如果严格恰好k个需要用前缀和或更复杂的方法。但蓝桥杯这题实际考察的是至少k个的转化思想。八、双指针模板总结8.1 反向扫描模板defreverse_scan(nums):nums.sort()# 如果需要排序left,right0,len(nums)-1ans0whileleftright:ifleftright:# 只剩一个元素ans1breakif满足某种条件(left,right):left1right-1ans1else:# 通常处理rightright-1ans1returnans8.2 滑动窗口模板defsliding_window(nums,condition):nlen(nums)left,right0,0window_info初始化()ans0whileleftn:# 扩展右端点直到满足条件whilerightnandnot满足条件(window_info):更新窗口信息(window_info,nums[right])right1if满足条件(window_info):更新答案(ans,left,right)# 收缩左端点移除窗口信息(window_info,nums[left])left1returnans九、题型识别指南关键词算法类型例题“两数之和”、“配对”反向扫描装船问题“回文”、“对称”反向扫描回文判断“最短子数组”、“连续子序列”滑动窗口最小长度子数组“恰好k个”、“至少k个”滑动窗口 转化恰好k个“去重”、“删除重复”同向扫描有序数组去重“接雨水”、“盛水最多”反向扫描经典双指针十、学习心得双指针的本质是利用单调性避免重复计算。两个指针各走一遍总移动次数O(n)比暴力O(n²)高效得多。三句话记住双指针反向扫描排序后两头凑一大一小往里走滑动窗口右扩左缩维护区间满足条件就统计转化思想“恰好k个往往转化为至少k个再减去至少k1个”