[LeetCode - 双指针] 11. Container With Most Water

1 问题

Given n non-negative integers $a_1, a_2, ..., a_n,$ where each represents a point at coordinate $(i, a_i)$. n vertical lines are drawn such that the two endpoints of line i is at $(i, a_i)$ and $(i, 0)$. Find two lines, which together with x-axis forms a container, such that the container contains the most water.
Note: You may not slant the container and n is at least 2.

2 分析

这道题LeetCode网站中给出的解法为 双指针法，双指针法在处理字符串类的问题中非常常见。这里着重从数学的角度分析该题目的解法。设容器的面积为$S$, 且容器由 $(i,a_i)$和$(j,a_j)$构成。那么

$$S_{i,j} = (j-i)Min(a_i,a_j)，其中 0 \le i \lt j \le n$$
题目求的是在不同 $i,j$ 下，面积 $S$ 的最大值。如果能够求出函数 $S$ 随着 $i,j$的增减性，便可以确定 S 的最大值。
下面根据 $a_i,a_j$的相对大小讨论不同的 $i,j$ 导致 $S$ 的变化情况：

1. 如果$a_i \ge a_j$, 移动 $a_i$ 到 $a_{i+1}$:
   
   1. 如果 $a_{i+1} \ge a_i$，那么 $S_{i+1,j} = S_{i,j}$（根据S的公式容易判断）
   2. 如果 $a_{i+1} \lt a_i$, 那么 $S_{i+1,j} < S_{i,j}$
      即在这种情况下，移动 $a_i$一定不会导致 $S_{i,j}$ 的面积增加
   • 如果$a_i \lt a_j$, 移动 $a_i$ 到 $a_{i+1}$:
     
     1. 如果 $a_i \lt a_{i+1} \lt a_j$, 那么 $S_{i+1,j}$ 的面积有可能大于 $S_{i,j}$
     2. 如果 $a_i \lt a_j \lt a_{i+1}$, 那么 $S_{i+1,j}$ 的面积一定大于 $S_{i,j}$
     3. 如果 $a_{i+1} \lt a_i \lt a_j$, 那么 $S_{i+1,j}$ 的面积一定小于 $S_{i,j}$

   • 根据上述讨论，只有在2.1和2.2的情况下，$S_{i,j}$ 是单调增加的。因此可以将 $i,j$ 分别指向数组的最左和最右端，只按照2.1和2.2的规律来移动 $i,j$, 便能够求出 S <script id="MathJax-Element-40" type="math/tex">S</script> 的最大值。

     3 代码

     public class Solution {
         public int maxArea(int[] height) {
             int maxarea = 0, l = 0, r = height.length - 1;
             while (l < r) {
                 maxarea = Math.max(maxarea, Math.min(height[l], height[r]) * (r - l));
                 if (height[l] < height[r])
                     l++;
                 else
                     r--;
             }
             return maxarea;
         }
     }

     [1]代码来源于LeetCode: https://leetcode.com/articles/container-most-water/