Maximum Stack - Microsoft Top Interview Questions


Problem Statement :


Implement a maximum stack with the following methods:

MaximumStack() constructs a new instance of a maximum stack

append(int val) appends val to the stack

peek() retrieves the last element in the stack
max() retrieves the maximum value in the stack

pop() pops and returns the last element in the stack

popmax() pops and returns the last occurrence of the maximum value in the stack

You can assume that for peek, max, pop and popmax, the stack is non-empty when they are called.



Constraints



n ≤ 100,000 where n is the number of methods that will be called.

Example 1

Input

methods = ["constructor", "append", "append", "append", "peek", "max", "popmax", "max", "pop", "peek"]

arguments = [[], [1], [3], [2], [], [], [], [], [], []]`

Output

[None, None, None, None, 2, 3, 3, 2, 2, 1]

Explanation

We create a MaximumStack

Append 1 to the stack

Append 3 to the stack

Append 2 to the stack

Peek the top element which is 2

Max value of the stack so far is max(1, 3, 2) == 3

We pop the max value of 3

Max value of the stack is now max(1, 2) == 2

We pop the top element which is 2

Peek the top element which is now 1



Solution :



title-img




                        Solution in C++ :

class MaximumStack {
    public:
    int idx = 0;
    set<pair<int, int>> s;
    vector<pair<int, int>> v;

    void append(int val) {
        v.emplace_back(val, ++idx);
        s.emplace(val, idx);
    }

    int peek() {
        while (s.find(v.back()) == s.end()) v.pop_back();
        return v.back().first;
    }

    int max() {
        return s.rbegin()->first;
    }

    int pop() {
        while (s.find(v.back()) == s.end()) v.pop_back();
        auto [x, y] = v.back();
        v.pop_back();
        s.erase(s.find({x, y}));
        return x;
    }

    int popmax() {
        auto [x, y] = *s.rbegin();
        s.erase(prev(s.end()));
        return x;
    }
};
                    


                        Solution in Java :

class MaximumStack {
    public:
    map<int, vector<list<int>::iterator>> m1;
    list<int> L;
    MaximumStack() {
    }
    void append(int val) {
        L.push_back(val);
        m1[val].push_back(prev(L.end()));
    }

    int peek() {
        return *prev(L.end());
    }
    int max() {
        return m1.rbegin()->first;
    }
    int pop() {
        int val = peek();
        erase(val);
        return val;
    }
    void erase(int val) {
        vector<list<int>::iterator> &v = m1[val];
        auto it = v.back();
        v.pop_back();
        if (v.size() == 0) m1.erase(val);
        L.erase(it);
    }
    int popmax() {
        int val = m1.rbegin()->first;
        erase(val);
        return val;
    }
};
                    


                        Solution in Python : 
                            
class MaximumStack:
    def __init__(self):
        # `time` is increased when an element is appended. So each `time`
        # corresponds to a unique element, as recorded in `time_to_val`.
        # When an element has been popped, its corresponding time, thus
        # becoming invalid, will be deleted from `time_to_val`.
        self.time = 0
        self.time_to_val = {}

        # a LIFO stack of uniq pairs `(element, time)`
        self.stk = []

        # a priority queue of uniq pairs `(-element, -time)` for max-related stuff
        self.pq = []

    def append(self, val):
        self.time += 1
        self.time_to_val[self.time] = val
        self.stk.append((val, self.time))
        heapq.heappush(self.pq, (-val, -self.time))

    # After this operation, the top elements of `stk` and `pq` are valid.
    def _pop_invalid_times(self, invalid_time):
        del self.time_to_val[invalid_time]
        while self.stk and (self.stk[-1][1] not in self.time_to_val):
            self.stk.pop()
        while self.pq and (-self.pq[0][1] not in self.time_to_val):
            heapq.heappop(self.pq)

    def peek(self):
        return self.stk[-1][0]

    def max(self):
        return -self.pq[0][0]

    def pop(self):
        entry = self.stk.pop()
        self._pop_invalid_times(entry[1])
        return entry[0]

    def popmax(self):
        entry = heapq.heappop(self.pq)
        self._pop_invalid_times(-entry[1])
        return -entry[0]
                    


View More Similar Problems

Is This a Binary Search Tree?

For the purposes of this challenge, we define a binary tree to be a binary search tree with the following ordering requirements: The data value of every node in a node's left subtree is less than the data value of that node. The data value of every node in a node's right subtree is greater than the data value of that node. Given the root node of a binary tree, can you determine if it's also a

View Solution →

Square-Ten Tree

The square-ten tree decomposition of an array is defined as follows: The lowest () level of the square-ten tree consists of single array elements in their natural order. The level (starting from ) of the square-ten tree consists of subsequent array subsegments of length in their natural order. Thus, the level contains subsegments of length , the level contains subsegments of length , the

View Solution →

Balanced Forest

Greg has a tree of nodes containing integer data. He wants to insert a node with some non-zero integer value somewhere into the tree. His goal is to be able to cut two edges and have the values of each of the three new trees sum to the same amount. This is called a balanced forest. Being frugal, the data value he inserts should be minimal. Determine the minimal amount that a new node can have to a

View Solution →

Jenny's Subtrees

Jenny loves experimenting with trees. Her favorite tree has n nodes connected by n - 1 edges, and each edge is ` unit in length. She wants to cut a subtree (i.e., a connected part of the original tree) of radius r from this tree by performing the following two steps: 1. Choose a node, x , from the tree. 2. Cut a subtree consisting of all nodes which are not further than r units from node x .

View Solution →

Tree Coordinates

We consider metric space to be a pair, , where is a set and such that the following conditions hold: where is the distance between points and . Let's define the product of two metric spaces, , to be such that: , where , . So, it follows logically that is also a metric space. We then define squared metric space, , to be the product of a metric space multiplied with itself: . For

View Solution →

Array Pairs

Consider an array of n integers, A = [ a1, a2, . . . . an] . Find and print the total number of (i , j) pairs such that ai * aj <= max(ai, ai+1, . . . aj) where i < j. Input Format The first line contains an integer, n , denoting the number of elements in the array. The second line consists of n space-separated integers describing the respective values of a1, a2 , . . . an .

View Solution →