Given n non-negative integers a1, a2, ..., an, where each represents a point at coordinate (i, ai). n vertical lines are drawn such that the two endpoints of line i is at (i, ai) 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.
穷举+一点优化 --> 超时
class Solution:
# @return an integer
def maxArea(self, height):
j=len(height)-1
i=0
ans=0
while i<j:
area=(j-i)*min(height[i],height[j])
if ans<area:
ans=area
if height[i]<=height[j]:
i+=1
else:
j-=1
return ans
这个怎么证明其正确性?