算法笔记 -- 496. 下一个更大元素 I

Offer 驾到，掘友接招！我正在参与2022春招打卡活动，点击查看活动详情。

一、题目描述：

496. 下一个更大元素 I

nums1 中数字 x 的 下一个更大元素 是指 x 在 nums2 中对应位置 右侧 的 第一个 比 x 大的元素。

给你两个 没有重复元素 的数组 nums1 和 nums2 ，下标从 0 开始计数，其中nums1 是 nums2 的子集。

对于每个 0 <= i < nums1.length ，找出满足 nums1[i] == nums2[j] 的下标 j ，并且在 nums2 确定 nums2[j] 的 下一个更大元素 。如果不存在下一个更大元素，那么本次查询的答案是 -1 。

返回一个长度为 nums1.length 的数组 ans 作为答案，满足 ans[i] 是如上所述的 下一个更大元素 。

示例 1：

输入：nums1 = [4,1,2], nums2 = [1,3,4,2].
输出：[-1,3,-1]
解释：nums1 中每个值的下一个更大元素如下所述：
- 4 ，用加粗斜体标识，nums2 = [1,3,4,2]。不存在下一个更大元素，所以答案是 -1 。
- 1 ，用加粗斜体标识，nums2 = [1,3,4,2]。下一个更大元素是 3 。
- 2 ，用加粗斜体标识，nums2 = [1,3,4,2]。不存在下一个更大元素，所以答案是 -1 。

示例 2：

输入：nums1 = [2,4], nums2 = [1,2,3,4].
输出：[3,-1]
解释：nums1 中每个值的下一个更大元素如下所述：
- 2 ，用加粗斜体标识，nums2 = [1,2,3,4]。下一个更大元素是 3 。
- 4 ，用加粗斜体标识，nums2 = [1,2,3,4]。不存在下一个更大元素，所以答案是 -1 。

提示：

• 1 <= nums1.length <= nums2.length <= 1000
• 0 <= nums1[i], nums2[i] <= $10^4$
• nums1和nums2中所有整数 互不相同
• nums1 中的所有整数同样出现在 nums2 中  

进阶：你可以设计一个时间复杂度为 O(nums1.length + nums2.length) 的解决方案吗？

二、思路分析：

单调栈类型的题，两个关键点：

1. 确定出栈条件
2. 每个元素都需要加入栈，可以按实际情况，把下标或元素值加入栈

三、AC 代码：

func nextGreaterElement(nums1 []int, nums2 []int) []int {
	stack := make([]int, 0, len(nums2))
	m := make(map[int]int, len(nums2))
	for _, num := range nums2 {
		for l := len(stack); l > 0 && num > stack[l-1]; l = len(stack) {
			m[stack[l-1]] = num
			stack = stack[:l-1]
		}
		stack = append(stack, num)
	}
	ans := make([]int, len(nums1))
	for i, num1 := range nums1 {
		if val, ok := m[num1]; ok {
			ans[i] = val
		} else {
			ans[i] = -1
		}
	}
	return ans
}

四、总结：

思路里写的很清楚了，单调栈这类的题目也是有迹可循的，找到关键的条件就好。