LeetCode334-递增的三元子序列

给定一个未排序的数组，判断这个数组中是否存在长度为 3 的递增子序列。

数学表达式如下:

• 如果存在这样的 i, j, k, 且满足 0 ≤ i < j < k ≤ n-1，
• 使得 arr[i] < arr[j] < arr[k] ，返回 true ; 否则返回 false 。
• 说明: 要求算法的时间复杂度为 O(n)，空间复杂度为 O(1) 。

示例 1:

输入: [1,2,3,4,5]
输出: true

示例 2:

输入: [5,4,3,2,1]
输出: false

一、思路

（一）动态规划？

建立一张最大容量为3的表ans，初始化：ans[0] = nums[0]

此后，将表ans中的最后一个元素ans[i]与数组nums中的元素ans[j]依次比较大小，有三种情况：

（1）ans[i] == nums[j]

pass

（2）ans[i] < nums[j]

大于表ans中的元素，则说明找到了一个符合递增三元子序列要求的元素，加入到表ans

（3）ans[i] > nums[j]

这是最复杂的情况，当小于表ans中最后一个元素的时候，该如何操作，我们来看两个例子：

例子1：nums = [1, 2, -10, -8, -2]

例子2：nums = [1, 2, -10, 3]

首先分析一下，表ans中是否仅有一个元素，如果仅有一个元素，则将其替换，因为我们希望，表ans中的元素尽可能小

若表ans中含有2个元素，参照上面的两个例子，你会发现这种情况处理起来很棘手。
根据之前的想法：我们希望表ans中的元素尽可能的小
于是我们看看能否用较小的nums[j]来替换ans[i]，将nums[j]与ans[i-1]进行比较，：

• 若nums[j] > ans[i-1]，则表示可以替换掉较大的ans[i]
• 若nums[j] < ans[i-1]，这个时候需要将ans[i-1]替换为更小的nums[j]。虽然直觉上认为这个操作不符合逻辑，但是我们来假设一下，就可以看清楚这个操作背后的逻辑了，现在我们讨论nums[j]之后的元素大小：
  ①、若后面存在比ans[i]更大的数，那么根据（1）（2）操作肯定能够凑齐3个递增的三元子序列，你可能会说第一个数被替换过不符合条件，于是我们可以假设再替换回来，须知原来的数也是小于ans[i]的，所以条件成立
  ②、若后面存在比ans[i]更小的数，那么根据我们的操作，这个数要么替换ans[i]；要么替换ans[i-1]；若果替换ans[i]这个表ans的元素就符合递增三元子序列的条件；如果替换ans[i-1]，嗯。。。递归一下就行了。

C++代码

class Solution {
public:
    bool increasingTriplet(vector<int>& nums) {
        if(nums.size() < 3)
            return false;
        vector<int> ans = {nums[0]};
        for(int i=1; i < nums.size(); i++){
            if(nums[i] > ans[ans.size() - 1]){
                ans.push_back(nums[i]);
                if(ans.size() >= 3)
                    return true;
            }
            else{
                if(ans.size() == 1)
                    ans[0] = nums[i];
                if(ans.size() == 2){
                    if(ans[0] < nums[i])
                        ans[1] = nums[i];
                    else
                        ans[0] = nums[i];
                }
            }
        }
        return false;
    }
};