双指针的妙用，巧解一道高频面试题：接雨水

青旅半醒 2024-04-18 17:10 47阅读 0赞

点击蓝色“五分钟学算法”关注我哟

加个“星标”，天天中午 12:15，一起学算法

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg]

作者 | labuladong

来源 | labuladong

接雨水这道题目挺有意思，在面试题中出现频率还挺高的，本文就来步步优化，讲解一下这道题。

这道题目实际上出自 LeetCode：

![640?wx\_fmt=png][640_wx_fmt_png]

题目来自 leetcode-cn.com

就是用一个数组表示一个条形图，问你这个条形图最多能接多少水。

int trap(int[] height);

下面就来由浅入深介绍暴力解法 -> 备忘录解法 -> 双指针解法，在 O(N) 时间 O(1) 空间内解决这个问题。

### 一、核心思路 ###

我第一次看到这个问题，无计可施，完全没有思路，相信很多朋友跟我一样。所以对于这种问题，我们不要想整体，而应该去想局部；就像之前的文章处理字符串问题，不要考虑如何处理整个字符串，而是去思考应该如何处理每一个字符。

这么一想，可以发现这道题的思路其实很简单。具体来说，仅仅对于位置 i，能装下多少水呢？

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 1]

能装 2 格水。为什么恰好是两格水呢？因为 height\[i\] 的高度为 0，而这里最多能盛 2 格水，2-0=2。

为什么位置 i 最多能盛 2 格水呢？因为，位置 i 能达到的水柱高度和其左边的最高柱子、右边的最高柱子有关，我们分别称这两个柱子高度为`l_max`和`r_max`；**位置 i 最大的水柱高度就是`min(l_max, r_max)`。**

更进一步，对于位置 i，能够装的水为：

water[i] = min(
                   # 左边最高的柱子
                   max(height[0..i]),  
                   # 右边最高的柱子
                   max(height[i..end]) 
                ) - height[i]

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 2]

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 3]

这就是本问题的核心思路，我们可以简单写一个暴力算法：

![640?wx\_fmt=png][640_wx_fmt_png 1]

有之前的思路，这个解法应该是很直接粗暴的，时间复杂度 O(N^2)，空间复杂度 O(1)。但是很明显这种计算`r_max`和`l_max`的方式非常笨拙，一般的优化方法就是备忘录。

### 二、备忘录优化 ###

之前的暴力解法，不是在每个位置 i 都要计算`r_max`和`l_max`吗？我们直接把结果都缓存下来，别傻不拉几的每次都遍历，这时间复杂度不就降下来了嘛。

我们开两个数组`r_max`和`l_max`充当备忘录，**`l_max[i]`表示位置 i 左边最高的柱子高度，`r_max[i]`表示位置 i 右边最高的柱子高度。**预先把这两个数组计算好，避免重复计算：

![640?wx\_fmt=png][640_wx_fmt_png 2]

这个优化其实和暴力解法差不多，就是避免了重复计算，把时间复杂度降低为 O(N)，已经是最优了，但是空间复杂度是 O(N)。下面来看一个精妙一些的解法，能够把空间复杂度降低到 O(1)。

### 三、双指针解法 ###

这种解法的思路是完全相同的，但在实现手法上非常巧妙，我们这次也不要用备忘录提前计算了，而是用双指针**边走边算**，节省下空间复杂度。

首先，看一部分代码：

int trap(vector<int>& height) {
        int n = height.size();
        int left = 0, right = n - 1;
    
        int l_max = height[0];
        int r_max = height[n - 1];
    
        while (left <= right) {
            l_max = max(l_max, height[left]);
            r_max = max(r_max, height[right]);
            left++; right--;
        }
    }

对于这部分代码，请问`l_max`和`r_max`分别表示什么意义呢？

很容易理解，**`l_max`是`height[0..left]`中最高柱子的高度，`r_max`是`height[right..end]`的最高柱子的高度**。

明白了这一点，直接看解法：

![640?wx\_fmt=png][640_wx_fmt_png 3]

你看，其中的核心思想和之前一模一样，换汤不换药。但是细心的读者可能会发现次解法还是有点细节差异：

之前的备忘录解法，`l_max[i]`和`r_max[i]`代表的是`height[0..i]`和`height[i..end]`的最高柱子高度。

ans += min(l_max[i], r_max[i]) - height[i];

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 4]

但是双指针解法中，`l_max`和`r_max`代表的是`height[0..left]`和`height[right..end]`的最高柱子高度。比如这段代码：

if (l_max < r_max) {
        ans += l_max - height[left];
        left++; 
    }

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 5]

此时的`l_max`是`left`指针左边的最高柱子，但是`r_max`并不一定是`left`指针右边最高的柱子，这真的可以得到正确答案吗？

其实这个问题要这么思考，我们只在乎`min(l_max, r_max)`。对于上图的情况，我们已经知道`l_max < r_max`了，至于这个`r_max`是不是右边最大的，不重要，**重要的是`height[i]`能够装的水只和`l_max`有关。**

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 6]

对于 l\_max > r\_max 的情况也是类似的。

这就是接雨水问题的全部内容，希望大家在算法之路上继续精进～

![640?][640]

**有话要说?**

**Q:** **实际上本题还能使用单调栈的思路来解决，你知道吗？**

欢迎留言与大家分享

**有热门推荐?**

1.【程序员】[全球最厉害的 14 位程序员][14]

2.【GitHub】[我在 GitHub 上看到了一个丧心病狂的开源项目！][GitHub]

3.【算法】[动画：七分钟理解什么是KMP算法][KMP]

4.【数据结构】[十大经典排序算法动画与解析，看我就够了][Link 1]

![640?wx\_fmt=jpeg][640_wx_fmt_jpeg 7]

[640_wx_fmt_jpeg]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/3105aa47f7c3485aa155ff6f95c8374b.png
[640_wx_fmt_png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/15440e95040448f1947911f949b73347.png
[640_wx_fmt_jpeg 1]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/4580f3d7760c4e24943563757d9fa7f2.png
[640_wx_fmt_jpeg 2]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/7bd3c2359a744a0a99a02001659c2b95.png
[640_wx_fmt_jpeg 3]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/844c1acd01544b9b936320da7a9dc7b7.png
[640_wx_fmt_png 1]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/1eb3545817904f7e97d727f16992bdfd.png
[640_wx_fmt_png 2]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/73f8d6eb6c214829b9fb354a4aedb365.png
[640_wx_fmt_png 3]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/3b0c33e2ab114742afea189337cba7ff.png
[640_wx_fmt_jpeg 4]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/0504a0bb4fd3428882d6d23934e5669a.png
[640_wx_fmt_jpeg 5]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/6304579a7e6d4fabb4705c83c6889d21.png
[640_wx_fmt_jpeg 6]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/bc664189ec704e4c95bf6ec915c7f0a0.png
[640]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/f88193e6b1164fb5a48c437839ddb9a9.png
[14]: http://mp.weixin.qq.com/s?__biz=MzUyNjQxNjYyMg==&mid=2247486099&idx=1&sn=6ea84944fe6a3d6dd1af2b00f3e53002&chksm=fa0e6512cd79ec04c8e8c63e74d78cc23629b88290a8e0642e5e44601f99fc39a3ea530867bc&scene=21#wechat_redirect
[GitHub]: http://mp.weixin.qq.com/s?__biz=MzUyNjQxNjYyMg==&mid=2247486254&idx=1&sn=654c208601879fe1b76c682a069a4e6a&chksm=fa0e64afcd79edb960a9863c7af7e6de5893da2326e6eca2bcd9d68061966d200ba0e189ab91&scene=21#wechat_redirect
[KMP]: http://mp.weixin.qq.com/s?__biz=MzUyNjQxNjYyMg==&mid=2247485939&idx=1&sn=b25f39b5644da92c4047bbbd9936f73c&chksm=fa0e6672cd79ef64dda0a21e23c2817edf4a64cbb75b9bed328d6519c6cd4fef36d03a4cb309&scene=21#wechat_redirect
[Link 1]: https://blog.csdn.net/dQCFKyQDXYm3F8rB0/article/details/87910210
[640_wx_fmt_jpeg 7]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/18/5d9e94e4d68840f5a8201166d0158165.png