456. 132模式

456. 132模式

链接：https://leetcode-cn.com/problems/132-pattern/

给定一个整数序列：a1, a2, ..., an，一个132模式的子序列 ai, aj, ak 被定义为：当 i < j < k 时，ai < ak < aj。设计一个算法，当给定有 n 个数字的序列时，验证这个序列中是否含有132模式的子序列。

注意：n 的值小于15000。

示例1:

输入: [1, 2, 3, 4]

输出: False

解释: 序列中不存在132模式的子序列。

示例 2:

输入: [3, 1, 4, 2]

输出: True

解释: 序列中有 1 个132模式的子序列： [1, 4, 2].

示例 3:

输入: [-1, 3, 2, 0]

输出: True

解释: 序列中有 3 个132模式的的子序列: [-1, 3, 2], [-1, 3, 0] 和 [-1, 2, 0].

思路1：暴力枚举i、j，再探查是否有满足要求的k，时间复杂度高达O(n^3)。

思路2：由a[i] < a[k] < a[j]可知，a[i]是三者中的最小值，如果i_0 < j < k 且 a[i_0] < a[k] < a[j]，i_1 < j < k 且 a[i_1] < a[k] < a[j]，那么我们只需要考证a[i_0]和a[i_1]中更小的那个满足要求即可，因为本题的要求是求证是否存在。我们用leftMin[i]表示[0,i - 1]的最小值，于是可以用递推方式来维护： leftMin[i] = min(leftMin[i - 1], nums[i - 1])。接下来再枚举j、k即可。复杂度为O(n+n^2) = O(n^2)。

思路3：实际上我们要在右边找到一个尽可能小的值，使得它满足a[i]< a[k] < a[j]，那么对于右边的值，我们可以维护一颗平衡树结构，用来查找满足a[k] > a[i]的最小值。剩下来不能确定的j，我们只需要枚举即可，时间复杂度为O(nlogn)。

class Solution {
public:
    bool find132pattern(vector<int>& nums) {
        int leftMin[10010], i, j, n = nums.size();
        memset(leftMin, 0, sizeof(leftMin));
        set<int> rightElements;
        set<int>::iterator iter;
        // leftMin[i] : [0, i - 1]的最小值
        leftMin[1] = nums[0];
        for(i = 2; i < n; ++ i){
            leftMin[i] = min(leftMin[i - 1], nums[i - 1]);
        }
        rightElements.insert(nums[n - 1]);
        for(i = n - 2; i >= 1; -- i){
            if(leftMin[i] < nums[i]){
                iter = rightElements.upper_bound(leftMin[i]);
                if(iter != rightElements.end() && *iter > leftMin[i] && * iter < nums[i]){
                    return true;
                }
            }
            rightElements.insert(nums[i]);
        }
        return false;
    }
};