【小YC的Leetcode日记】#11 装最多水的容器 Container With Most Water

https://leetcode.com/problems/container-with-most-water/

2020/08/07

i, j板子间的水量是 (j - i) * min(Hi, Hj)， 直接枚举会超时。

后来想了个贪心法，从左右两边开始，每一轮往中心更新一根，遇到水量更多的状态就更新一次，但是发现这样是不行的，局部最优不一定是全局最优——比如中间可能有两根超级长的板子，而它们两边的一圈板子都特别短，只有两个指针同时走到中间才能达到，但这用贪心法是永远走不到但，左右其中一根即使走到了长板，也会因为另一侧是短板，而且水量比当前少，状态永远无法刷新。

正确的O(n)的算法是，让i和j初始分别为最左边和最右边的板子，每次依次往中间移动两根之间相对短的那根，并更新最大水量，直到i, j指针相遇。这样i和j一共只用走一轮，复杂度O(n).

关于这个算法的主要问题是： 为什么这样不会遗漏可能的最优解？

假设当前位置是i和j，其中i比较短，于是把i移动到了i+1，那么这种情况下，我们就没有考虑区间[i, j-1], [i, j-2], ..., [i, i+1]：
以j-1为例，
      当j-1比i长时，因为j也比i长，水高度由i决定，所以j-1的水高和j是一样的，那么[i, j-1]的水量一定没有[i, j]的水量多；
      当j-1比i短时，水量由j-1决定，那[i, j-1]的水量就更必然没有[i, j]多了

所以可以看出，遗漏掉的情况一定不会优于现有情况，一定不是最优解，这就是成功的剪枝。

单步一次挑短的走相当于同时从[i, j]转移到了[i+1,j] [i, j-1]到两个状态（并保存了最优状态），局部最优状态在这一步没有丢失，当移动短板的时候，丢失的是移动前的短板在长板之间的所有状态，它们不管是哪一种都不会优于当前状态（i+1和j）。

 

但是局部最优不一定是总体最优，下一个问题，这样从两边往中间更新，怎么证明整体的最优状态不会被丢掉？

这个问题还没想好，等想好了再来更新。