数组练习题19--递增的三元子序列

题意：给你一个整数数组 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

思路：首先，先建了个变量small和mid，分别用来保存题目要我们求得长度为3的递增子序列的最小值和中间值。
接着，我们遍历数组，没遇到一个数字，我们将它和small和mid相比，若小于等于samll，则替换samll；否则，若小于等于mid，则替换mid；否则，若大于mid，说明我们找到了长度为3的递增数组！

上面的求解过程中有个问题:：当已经找到了长度为2的递增序列，这时又来一个比small小的数字，为什么可以直接替换small？这样small和mid在元素中并不是按照索引递增的关系了。

Trick就在这里了！假如当前的small和mid为[3,5],这时又来一个1，假如我们不降small替换成1，那么下个数字是2，后面再接上一个3，那么就无法发现这个[1,2,3]的递增数组！也就是说，我们替换最小值，是为了更好的更新中间值！

另外，即使我们更新了samll，这个small在mid后面，没有严格遵守递增顺序，但它隐藏的真相是，有一个比small大，比mid小的前最小值出现在mid之前。因此在后续中出现比mid大的值时，我们一样可以通过当前small和mid推断的确存在长度为3的地政序列。所以，这样的替换并不会干扰我们后续的计算。

class Solution {
public:
  bool increasingTriplet(vector<int>& nums) {
    int len = nums.size();
    if (len < 3) return false;
    int small = INT_MAX, mid = INT_MAX;
    for (auto num : nums) {
      if (num <= small) {
        small = num;
      } else if (num <= mid) {
        mid = num;
      } 
      else if (num > mid) {
        return true;
      }
    }
    return false;    
  }
};