剑指Offer30-包含min函数的栈(单调栈)

问题描述

定义栈的数据结构，请在该类型中实现一个能够得到栈的最小元素的 min 函数在该栈中，调用 min、push 及 pop 的时间复杂度都是 O(1)。

示例:

MinStack minStack = new MinStack();
minStack.push(-2);
minStack.push(0);
minStack.push(-3);
minStack.min();   --> 返回 -3.
minStack.pop();
minStack.top();      --> 返回 0.
minStack.min();   --> 返回 -2.

解题思路：

单调栈的问题可以先从常规思路着手，然后挖掘出问题的一些性质
常规思路：普通栈的 push() 和 pop() 函数的复杂度为 O(1) ；而获取栈最小值 min() 函数需要遍历整个栈，复杂度为 O(N) 。
本题难点： 将 min() 函数复杂度降为 O(1)O(1) ，可通过建立单调栈实现；
数据栈 A ： 栈 A 用于存储所有元素，保证入栈 push() 函数、出栈 pop() 函数、获取栈顶 top() 函数的正常逻辑。
单调栈 B ： 栈 B 中存储栈 A 中所有 非严格降序 的元素，则栈 A 中的最小元素始终对应栈 B 的栈顶元素，即 min() 函数只需返回栈 B 的栈顶元素即可。
因此，只需设法维护好 栈 B 的元素，使其保持非严格降序(从栈底到栈顶)，即可实现 min() 函数的 O(1) 复杂度。

push(x)：
先将元素压入栈A，如果栈B为空，直接压入栈B即可，否则只有该元素比当前栈顶元素更小（或者相等）的时候，才会被压入栈B中。这样就可以保证栈B从栈底到栈顶时单调递减的。

疑惑点：为什么只有插入的元素比当前栈顶元素更小的时候，才会被压入栈B中。
我们不妨假设栈B的栈顶元素就是我们的最小值min，此时这个最小值min也位于栈A里面，当插入元素x时。
如果x比栈顶元素大，那么就无须插入栈B中，此时，栈A的最小值仍然是min,由于栈是后进先出的，所以x先于min弹出栈，在没有插入其它更小的元素之前，仍然能保持栈中最小元素是min,直到min被弹出为止。所以成立
如果x比栈顶元素小，那么就把x插入栈B中，此时栈A的最小值是x,当x弹出后，栈B中的元素x也将被弹出，此时min成为了栈A的最小值。
关键点是栈B中的“最小值”被弹出的顺序与这些“最小值”在栈A中的弹出顺序是相同的。
pop():
先将栈A中的栈顶元素弹出，如果该元素是栈B的栈顶元素，则栈B的栈顶元素也将被弹出
min()
直接返回栈B的栈顶元素即可。
top()
返回栈A的栈顶元素即可。

实现代码

class MinStack {
    public Stack<Integer> stack1;           //元素栈
    public Stack<Integer> stack2;           //单调栈
    /** initialize your data structure here. */
    public MinStack() {
        stack1=new Stack<Integer>();
        stack2=new Stack<Integer>();
    }
    
    public void push(int x) {
        stack1.push(x);     
        //只有栈2为空或者x比栈2的栈顶元素的值还要小(一定要包含等于)的时候，才会将x加入栈2中
        if(stack2.empty() || x<=stack2.peek()){
            stack2.push(x);
        }
    }
    
    public void pop() {
        int ele=stack1.pop();
        //当栈2不为空，且弹出的元素恰好等于栈2的栈顶元素值时，就把栈2的栈顶元素值也跟着弹出
        if(!stack2.empty() && ele==stack2.peek()){
           stack2.pop();
        }
    }
    
    public int top() {
        //直接返回栈1的栈顶元素值即可
        return stack1.peek();
    }
    
    public int min() {
        //直接返回栈2的栈顶元素值即可
        if(!stack2.empty()){
            return stack2.peek();
        }
        return 0;
    }
}