LeetCode 456. 132 模式

给你一个整数数组 nums ，数组中共有 n 个整数。132 模式的子序列由三个整数 nums[i]、nums[j] 和 nums[k] 组成，并同时满足：i < j < k 和 nums[i] < nums[k] < nums[j] 。

如果 nums 中存在 132 模式的子序列 ，返回 true ；否则，返回 false 。

暴力法 时间复杂度O（N2）

bool find132pattern(vector<int>& nums) {
    vector<int> ret;
    ret.push_back(INT_MAX);
    ret.push_back(INT_MIN);
    for(int i = 0; i < nums.size(); i++){
        if(nums[i] < ret[0]){
            ret[0] = nums[i];
            ret[1] = INT_MIN;
        } else if(nums[i] > ret[0] && nums[i] < ret[1]){
            return true;
        } else{
            ret[1] = nums[i];
            for(int j = i + 1; j < nums.size(); j++){
                if(nums[j]<ret[1]&&nums[j]>ret[0])  return true;
            }
        }
    }
    return false;
}

使用单调栈维护"3"

（1）单调栈维护的是3，mid维护的是2，枚举的是1

（2）维护的值尽可能让它大，枚举的值尽可能让它小

基本思想：从后往前遍历，维护一个单调递减的栈，同时使用mid记录所有出栈元素中的最大值（栈中的元素比mid大 这就是一个32模式）；那么当我们遍历到i，只要满足发现num[i] < k，说明我们找到了符合条件的i j k.

举一个例子：[3,5,0,3,4]
【1】枚举到4：栈内元素为【4】 mid = INT_MIN
【2】枚举到3：满足单调栈,元素3进栈,栈内元素为【4 3】 mid = INT_MIN
【3】枚举到0：满足单调栈,元素0进栈,栈内元素为【4 3 0】 mid = INT_MIN
【4】枚举到5：
  不满足单调栈，0出栈更新mid,(这里我们的思想是让mid在小于栈顶元素情况下尽可能大)，栈内元素为【4 3】
  仍然不满足单调栈，3出栈更新mid,栈内元素为【4】；仍然不满足单调栈,4出栈更新mid,栈为空【】
  元素5入栈；栈内元素为【5】
【5】枚举到3，满足num[i] < mid,说明对于i而言，后面有一个比其大的元素（满足 i < k的条件），同时这个k的来源又是因为维护「单调递减」而弹出导致被更新的（满足i和 k 之间，有比 k要大的元素）。因此我们找到了满足 132 结构的组合。

bool find132pattern(vector<int> &nums){
    if(nums.size() < 3) return false;
    stack<int> stk; //放最大值
    int med = INT_MIN;//放次大值
    for(int i = nums.size() - 1; i >= 0; i--){
        if(nums[i] < med) return true;
        while (!stk.empty() && stk.top() < nums[i]){
            med = stk.top();
            stk.pop();
        }
        stk.push(nums[i]);
    }