链接
题目
给你一个整数数组 nums ,判断这个数组中是否存在长度为 3 的递增子序列。
如果存在这样的三元组下标 (i, j, k) 且满足 i < j < k ,使得 nums[i] < nums[j] < nums[k] ,返回 true ;否则,返回 false 。
示例
示例 1:
输入:nums = [1,2,3,4,5]
输出:true
解释:任何 i < j < k 的三元组都满足题意示例 2:
输入:nums = [5,4,3,2,1]
输出:false
解释:不存在满足题意的三元组示例 3:
输入:nums = [2,1,5,0,4,6]
输出:true
解释:三元组 (3, 4, 5) 满足题意,因为 nums[3] == 0 < nums[4] == 4 < nums[5] == 6
说明
1 <= nums.length <= 5 * 10e5
-2e31 <= nums[i] <= 2e31 - 1
思路一 (贪心)
本题的贪心思路比较巧妙,只需要设置两个参数,一个存储最小值,一个存储中间值,在遍历数组的过程中动态更新即可。
每遍历一个数字,就将他和当前最小值以及中间值作比较,若小于等于最小值 ,则替换当前的最小值;否则若小于等于中间值,则替换 中间值;否则若大于中间值,则说明已经找到了长度为 3 的递增数组,此时返回true。
虽然最小值和中间值越小越好(这样才更可能找到符合的最大值),但这里有个问题,为什么遇到最小值,把最小值也给替换了呢,这时中间值可能下标就小于当前最小值了,这时因为,这样不会影响结果,例如,[3,4,2,5],当遍历到3时,赋值最小值为3,当遍历到4时,赋值中间值为4,而当遍历到2时更新最小值为2,此时虽然最小值的下标比中间值下标更大了,但是,此时还潜在的隐藏了一个条件,中间数之前必然扔存在一个比中间值小的数,当遍历到数5的时候,此时最小值为2,中间值为4,最大值为5,返回true,但隐含的是[3,4,5]这组解。
而这样的做法除了不会对结果造成影响,还能避免后面找不到满足的解,例如下面这个例子,[3,4,2,3,4],如果遍历到2的时候不更新最小值,就无法发现后面[2,3,4]这个子数组。
C++ Code
class Solution {
public:
bool increasingTriplet(vector<int>& nums) {
if (nums.size() < 3) return false;
int N1 = INT_MAX, N2 = INT_MAX;
for (auto num : nums)
{
if (num <= N1) N1 = num;
else if (num <= N2) N2 = num;
else if (num > N2) return true;
}
return false;
}
};
复杂度
-
时间复杂度:O(n),需要遍历数组一次,其中 n是数组nums 的长度。
-
空间复杂度:O(1)。
思路二(双向遍历)
参考力扣官方题解
如果一个数num左边存在一个数比它小,右边存在一个数比它大,那么就找到了一组可行解。
因此,我们可以新建两个辅助数组维护数组nums 中的每个元素左边的最小值和右边的最大值,先从左往右遍历一遍,再从右往左遍历一遍,构造出这两个数组,最后遍历nums数组,根据两个辅助数组判断是否存在这样的解。
C++ Code
class Solution {
public:
bool increasingTriplet(vector<int>& nums) {
int n = nums.size();
if (n < 3) return false;
vector<int> leftMin(n);
leftMin[0] = nums[0];
for (int i = 1; i < n; i++)
{
leftMin[i] = min(leftMin[i - 1], nums[i]);
}
vector<int> rightMax(n);
rightMax[n - 1] = nums[n - 1];
for (int i = n - 2; i >= 0; i--)
{
rightMax[i] = max(rightMax[i + 1], nums[i]);
}
for (int i = 1; i < n - 1; i++)
{
if (nums[i] > leftMin[i - 1] && nums[i] < rightMax[i + 1])
return true;
}
return false;
}
};