给你一个整数数组 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 <= 105
-231 <= nums[i] <= 231 - 1
进阶:你能实现时间复杂度为 O(n) ,空间复杂度为 O(1) 的解决方案吗?
解法:要求O(n),O(1),我们使用双指针法
思路比较巧妙
我们使用两个变量存储 small 和 middle 两个值,依次遍历数组,如果一个数小于等于middle,那么我们就赋值给small,否则如果小于等于middle就赋值给middle,如果都不满足 说明该值大于 middle,且下标大于middle的下标,找到递增序列,如果遍历整个数组发现没有满足该条件的, 就说明没有递增序列
在这里有Trick为,当我们找到了两个递增的序列时,遇到了一个小于small的值,我们更新small,但是它的下标却大于small的下标,一个隐含信息在于:当我们找到了一个小于small的值的时候,更新small,隐含的信息是在此之前存在一个大于small小于middle,下标值在middle之前的前最小值,因此当我们后序找到一个大于middle的值时,它们可以够成一个递增序列,并不影响我们后序的计算。
还有一点就是:
假如当前的 small 和 mid 为 [3, 5],这时又来了个 1。假如我们不将 small 替换为 1,那么,当下一个数字是 2,后面再接上一个 3 的时候,我们就没有办法发现这个 [1,2,3] 的递增数组了!也就是说,我们替换最小值,是为了后续能够更好地更新中间值!
代码如下:
class Solution {
public boolean increasingTriplet(int[] nums) {
//定义两个变量存储 最小值和中间值
int small = Integer.MAX_VALUE;
int middle = Integer.MAX_VALUE;
for(int i = 0;i < nums.length;i++){
//注意这里 小于等于都需要赋值给small 这样可以避免small和middle值相等的情况 例如 1,1,-6,4
if(nums[i] <= small){
//如果当前值比small小
small = nums[i];
}else if(nums[i] <= middle){
middle = nums[i];
}else if(nums[i] > middle){
//如果当前值比 middle 大 说明存在三元递增序列
return true;
}
}
return false;
}
}