1.问题描述

给你一个字符串 s 、一个字符串 t 。返回 s 中涵盖 t 所有字符的最小子串。如果 s 中不存在涵盖 t 所有字符的子串，则返回空字符串 “” 。

注意：

• 对于 t 中重复字符，我们寻找的子字符串中该字符数量必须不少于 t 中该字符数量。
• 如果 s 中存在这样的子串，我们保证它是唯一的答案。

示例 1：

输入：s = "ADOBECODEBANC", t = "ABC"
输出："BANC"
解释：最小覆盖子串 "BANC" 包含来自字符串 t 的 'A'、'B' 和 'C'。

示例 2：

输入：s = "a", t = "a"
输出："a"
解释：整个字符串 s 是最小覆盖子串。

示例 3：

输入: s = "a", t = "aa"
输出: ""
解释: t 中两个字符 'a' 均应包含在 s 的子串中，
因此没有符合条件的子字符串，返回空字符串。

提示：

m == s.length
n == t.length
1 <= m, n <= 105
s 和 t 由英文字母组成

2.难度等级

Hard。

3.热门指数

★★★★☆

4.解题思路

问题要求返回字符串 s 中包含字符串 t 的全部字符的最小字串。我们可以将最小子串看成一个窗口，我们称包含 t 全部字母的窗口为「可行窗口」。

所以我们可以尝试用滑动窗口的思想解决这个问题。

在滑动窗口类型的问题中都会有两个指针，一个用于「延伸」现有窗口的 r 指针，和一个用于「收缩」窗口的 l 指针。在任意时刻，只有一个指针运动，而另一个保持静止。我们在 s 上滑动窗口，通过移动 r 指针不断扩张窗口。当窗口包含 t 全部所需的字符后，如果能收缩，我们就收缩窗口直到得到最小窗口。

如何判断当前的窗口包含所有 t 所需的字符呢？我们可以用一个哈希表表示 t 中所有的字符以及它们的个数，用一个哈希表动态维护窗口中所有的字符以及它们的个数，如果这个动态表中包含 t 的哈希表中的所有字符，并且对应的个数都不小于 t 的哈希表中各个字符的个数，那么当前的窗口是「可行」的。

注意： 这里 t 中可能出现重复的字符，所以我们要记录字符的个数。

时间复杂度： 最坏情况下左右指针对 s 的每个元素各遍历一遍，哈希表中对 s 中的每个元素各插入、删除一次。对 t 中的元素各插入一次。左右指针每次移动都要检查窗口是否「可行」，每次检查是否可行会遍历整个 t 的哈希表。哈希表的大小与字符集的大小有关，设字符集大小为 C，则时间复杂度为O(Cm+n)，其中 m 为 s 长度，n 为 t 长度。

空间复杂度： 这里用了两张哈希表作为辅助空间，每张哈希表最多不会存放超过字符集大小的键值对，我们设字符集大小为 C ，则渐进空间复杂度为O(C)。

下面以 Golang 为例给出实现。

func minWindow(s string, t string) string {mt := make(map[rune]int)for _, c := range t {mt[c]++}var minl, minr int      // 最小窗口左右下标var winlen int          // 最小窗口长度var l, r int            // 滑动窗口左右下标m := make(map[rune]int) // 窗口内字符数for ; r < len(s); r++ {m[rune(s[r])]++if !cover(m, mt) {continue}for ; l <= r; l++ {m[rune(s[l])]--if !cover(m, mt) {if winlen == 0 || r-l+1 < winlen {minl, minr = l, rwinlen = r - l + 1}// 当前元素被删除，所以滑动窗口起始下标要移到下一位l++break}}}if winlen > 0 {return s[minl : minr+1]}return ""
}func cover(m, mt map[rune]int) bool {for k, v := range mt {if m[k] < v {return false}}return true
}

---

参考文献

76. 最小覆盖子串 - LeetCode