[LeetCode.11]盛最多水的容器

双index解法

减少循环的核心思路是省去没有必要的遍历，并且确保所需的答案一定能被遍历到

假设现在有一个容器，则容器的盛水量取决于容器的底和容器较短的那条高
则我们可以从最大的底长入手，即当容器的底等于数组的长度时，则容器的盛水量为较短边的长乘底
可见 只有较短边会对盛水量造成影响，因此移动较短边的下标，并比较当前盛水量和当前最大盛水量。直至左右下标相等。

主要的困惑在于如何移动双index才能保证最大的盛水量被遍历到
假设有左下标begin和右下标end，且left指向的值小于right的值，假如我们将右下标左移，则右下标左移后的值和左下标指向的值相比有三种情况

1. 右下标指向的值大于左下标
   这种情况下，容器的高取决于左下标，但是底变短了，所以容器盛水量一定变小

2. 右下标指向的值等于左下标
   这种情况下，容器的高取决于左下标，但是底变短了，所以容器盛水量一定变小

3. 右下标指向的值小于左下标
   这种情况下，容器的高取决于右下标，但是右下标小于左下标，且底也变短了，所以容量盛水量一定变小了

综上所述，容器高度较大的一侧的移动只会造成容器盛水量减小

所以应当移动高度较小一侧的下标，并继续遍历，直至两下标相等。

class Solution
{
public:
	int maxArea(vector<int>& height)
	{
		//暴力解决，未通过部分测试用例
		/* int volume=0;
		for(int i=0;i<height.size()-1;i++)
		{
		for(int j=1;j<height.size();j++)
		{
		int heightTemp=height[i]>height[j]?height[j]:height[i];
		volume=(j-i)*heightTemp>volume?(j-i)*heightTemp:volume;
		}
		}
		return volume;*/


		int heightTemp, begin=0, end=height.size()-1,volume=0;
		/*if (height[0]>height[height.size() - 1])
		{
			heightTemp = height[height.size() - 1];
			begin = 0;
			end = height.size() - 2;
		}
		else
		{
			heightTemp = height[0];
			begin = 1;
			end = height.size() - 1;
		}
		int volume = heightTemp*(height.size() - 1);*/
		for (; begin != end;)
		{
			if (height[begin]>height[end])
			{
				heightTemp = height[end];
				volume = volume>heightTemp*(end - begin) ? volume : heightTemp*(end - begin);
				end--;
			}
			else
			{
				heightTemp = height[begin];
				volume = volume>heightTemp*(end - begin) ? volume : heightTemp*(end - begin);
				begin++;
			}
			
		}
		return volume;
	}
};

补充说明：

之前证明的只是在左下标不改变的情况下，左移右下标只会造成容器的容量减小。但是一旦紧接着左下标发生变化，就无法证明以该左下标为一侧高，右下标右侧的值生成的容器的容量比当前值小。

以下补充一个简单的 反证法 证明算法的合理性
当前的算法为 ：使用两个下标分别指向vector数组的头和尾。指向的值较小的那个下标变化，即左下标右移，右下标左移。当左右下标相等时，结束。
假设：该算法并没有遍历到容量最大的情况
我们令容量最大时的下标为p_begin和p_end。根据题设，我们可以假设遍历时左下标先到达p_begin，但是当左下标为p_begin时，右下标还没有经过p_end左指针就移动了
已知当左下标停留在p_begin时，它只有在两种场景下会发生改变

1. 左下标和右下标在p_begin相遇，则右下标一定在前往p_begin的途中经过p_end，与题设矛盾（原文这句话有点问题吧，为啥这种情况下场景会改变？？？）

2. 右下标位于p_end右侧且当前的值大于左下标。则在这种情况下，此时容器的盛水量比题设中最大的盛水量还要大，与题设矛盾
   因此该算法的遍历一定经过了最大的盛水量的情况

整理自：https://segmentfault.com/a/1190000008824222

如有不当之处，请联系我：clark_lee0806@foxmail.com