题目地址:
https://www.lintcode.com/problem/container-with-most-water/description
给定一个数组 A A A,代表挡板的高度,选定两个挡板,两个挡板中间的区域可以看成一个水的盛具,其容积等于较矮的挡板的高度乘以宽度。要求返回最大容积。
思路是对撞双指针,同时更新得到的容积。每次移动指针的时候,都选择能产生更优解的方式。例如,两个指针分别是 l l l和 r r r,当 A [ l ] < A [ r ] A[l]<A[r] A[l]<A[r]的时候,这个时候 r r r左移并不会得到更好的解(因为盛具高度没变,但底变窄了),所以此时右移 l l l;同理,当 A [ l ] > A [ r ] A[l]>A[r] A[l]>A[r]的时候要左移 r r r;而当 A [ l ] = A [ r ] A[l]=A[r] A[l]=A[r]的时候则需要同时移动两个指针。代码如下:
public class Solution {
/**
* @param heights: a vector of integers
* @return: an integer
*/
public int maxArea(int[] heights) {
// write your code here
if (heights == null || heights.length == 0) {
return 0;
}
int res = 0;
int l = 0, r = heights.length - 1;
while (l < r) {
res = Math.max(res, (r - l) * Math.min(heights[l], heights[r]));
if (heights[l] > heights[r]) {
r--;
} else if (heights[l] < heights[r]) {
l++;
} else {
l++;
r--;
}
}
return res;
}
}
时间复杂度 O ( n ) O(n) O(n),空间 O ( 1 ) O(1) O(1)。
算法正确性证明:
数学归纳法。当数组长度为
2
2
2时显然成立。当数组长度为
n
n
n的时候,由于当
A
[
l
]
<
A
[
r
]
A[l]<A[r]
A[l]<A[r]的时候,左挡板是
l
l
l的情况下的所有解都不可能超过
A
[
l
]
(
r
−
l
)
A[l](r-l)
A[l](r−l),而
A
[
l
]
(
r
−
l
)
A[l](r-l)
A[l](r−l)已经更新在res
里了,所以不需要枚举左挡板是
l
l
l的情况了,将
l
l
l右移一位后,就得到了相同的但规模更小的问题,由归纳假设,算法可以得到正确答案,再和
A
[
l
]
(
r
−
l
)
A[l](r-l)
A[l](r−l)比较一下即得到全局最优解。其他情况类似。
证明的本质是,将全局问题分为两类,即以 l l l为左挡板和不以 l l l为左挡板的两类,然后分别的最优解合起来的更优解即为全局最优解。