下一个更大元素

今天遇到了很有意思的一类题目，也就是标题里说的，“下一个更大元素”。

先看看它的简单版本：

给定两个没有重复元素的数组 nums1 和 nums2 ，其中nums1 是 nums2 的子集。找到 nums1 中每个元素在 nums2 中的下一个比其大的值。

nums1 中数字 x 的下一个更大元素是指 x 在 nums2 中对应位置的右边的第一个比 x 大的元素。如果不存在，对应位置输出-1。

一开始看到这个题，第一反应就是HashMap（因为我用的C++，实际上是unordered_map），建立nums2中每个元素和下标的对应关系，然后拿nums1中的值去找到下标，然后遍历找到第一个比它大的值：

vector<int> nextGreaterElement(vector<int> &nums1, vector<int> &nums2)
{
    int length2 = nums2.size();
    unordered_map<int, int> nums2_index_map;
    for (int i = 0; i < length2; ++i)
    {
        nums2_index_map[nums2[i]] = i;
    }

    vector<int> result;
    int length1 = nums1.size();
    for (const int &target : nums1)
    {
        bool has_found = false;
        for (int i = nums2_index_map[target]; i < length2; ++i)
        {
            if (nums2[i] > target)
            {
                has_found = true;
                result.push_back(nums2[i]);
                break;
            }
        }
        if (!has_found)
        {
            result.push_back(-1);
        }
    }
    return result;
}

复杂度大概是O(kn)？反正取决于nums1的长度就是了。结果也相当不错，归功于HashMap本身的效率，这么一个相当暴力的算法的速度居然能超过100%，实在是让人失去进一步优化的动力……

按理说到这里就可以结束了，但是我看到一个很有意思的算法，专门用来解决这一类问题，就是所谓的“单调栈”（以下来自labuladong@LeetCode，这是我看到的最好的解释了）：

vector<int> nextGreaterElement(vector<int>& nums) {
    vector<int> ans(nums.size()); // 存放答案的数组
    stack<int> s;
    for (int i = nums.size() - 1; i >= 0; i--) { // 倒着往栈里放
        while (!s.empty() && s.top() <= nums[i]) { // 判定个子高矮
            s.pop(); // 矮个起开，反正也被挡着了。。。
        }
        ans[i] = s.empty() ? -1 : s.top(); // 这个元素身后的第一个高个
        s.push(nums[i]); // 进队，接受之后的身高判定吧！
    }
    return ans;
}

其中有一个非常有意思的点：vector<int> ans(nums.size());。我一开始觉得没啥用，就是直接定义了一个普通的vector，后来才想起来，声明大小可以避免vector在push_back的时候重新分配空间，可以提高效率。

所以做算法题的时候还是要锱铢必较啊……