栈-132模式（medium）-单调栈

一、问题描述

给定一个整数序列：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].

原题传送门：https://leetcode-cn.com/problems/132-pattern/

 

二、解题思路

（1）要求转换：对于固定的nums[j]，在nums[0~j-1]中存在nums[i]<nums[j]，在nums[j+1~n-1]中存在nums[k]<nums[j]。

（2）对于nums[j]左边，因为nums[i]是最小的，我们希望nums[i]尽量小，这样才有更大的可能性找到解。因此维护一个min数组，其中min[j]表示nums[0~j-1]中最小的值。这个min数组有个特点，它是非递增的，因为越往右走，越有可能出现更小的nums[i]。

（3）求解的过程，首先要从右向左遍历nums数组。在遍历的过程中，对于nums[j]右边，维护一个类似单调栈的栈，它是单调递减的，以min[j]为基准。如果min[j]<nums[j]，则存在nums[i]<nums[j]，开始寻找nums[k]。否则忽略该nums[j]，向左求解。

（4）寻找nums[k]的过程中，我们希望存在nums[k]>nums[i]，即栈中的元素要大于min[j]，所以假想把min[j]入栈（实际上没有入栈），则小于min[j]的元素都要出栈。此时栈中要么为空，要么stack[top]>min[j]。如果栈不为空，且如果stack[top]<nums[j]，则找到了解，返回true。否则直接将nums[j]入栈。将nums[j]入栈不会影响栈的单调性，因为如果找到了解，就已经返回了。没有找到解的情况，有两种可能：一是试图在栈中找到比min[j]大的元素时没找到，一直出栈直到栈为空了。此时push nums[j]，栈中只有一个元素，一定是递减的；二是stack[top]大于nums[j]，此时push nums[j]，nums[j]成为最小的元素。

（5）关于为什么以min[j]为基准维护单调栈不会造成漏解的问题。因为min数组是非递增的，随着j的左移，min[j]只会不变或递增。

 

三、代码（Java实现）

public boolean find132pattern(int[] nums) {
    if(nums.length < 3)
	return false;
		
	int n = nums.length;
	int[] stack = new int[n];
	int top = -1;
		
	int[] min = new int[n];
	min[0] = nums[0];
	for(int i = 1; i < n ;i++) {
	    if(nums[i] < min[i-1])
		min[i] = nums[i];
	    else
	        min[i] = min[i-1]; 
	}
		
	for(int i = n - 1; i >= 0; i--) {
	    if(min[i] < nums[i]) {
			while(top >= 0 && stack[top] <= min[i]) {
				top--;
			}
				
			if(top >= 0 && stack[top] < nums[i]) {
				return true;
			}
				
			stack[++top] = nums[i]; 
		} 
	}
		
	return false;
    }