最小覆盖子串

做市数据 ops 团队在监控一个 tick 级事件日志 s——每个字符代表一种事件类型（如 'A'=主动买盘，'B'=订单簿更新，'C'=撤单）。对一个给定的告警模式 t，他们想找到 s 中最短的一段连续切片，使其包含 t 中要求的所有事件（按多重性计数：t = "AABC" 要求切片中至少出现两次 A、一次 B、一次 C）。这段最短覆盖切片就是事后复盘要交给 review 的最紧证据窗口：再短就缺事件，再长就是冗余。

请实现 solution(s: str, t: str) -> str，返回 s 中能覆盖 t 全部字符（含多重性）的最短子串。若 t 为空，返回 ""。若 len(t) > len(s) 或不存在合法窗口，返回 ""。长度相同时返回最左（起始下标最小）那个。

示例 1：solution("ADOBECODEBANC", "ABC") 返回 "BANC"。窗口 s[9..12] = "BANC" 覆盖 A、B、C 各一次，长度 4。s[0..5] = "ADOBEC" 也覆盖，但长度 6，输了。示例 2：solution("aabaa", "aa") 返回 "aa"——多重性计数，必须包含两个 a；最左的两个连续 a 在 s[0..1]。示例 3：solution("abc", "abcd") 返回 ""，因为 len(t) > len(s) 不可能覆盖。

朴素做法是枚举所有子串再检查覆盖，时间复杂度 O(n³)，n = 10⁵ 时直接超时。关键技巧是双指针滑动窗口 + 两个多重集计数器：need（从 t 统计的需求）和 window（当前 [l, r] 内的计数）。维护 have_count 表示已达到配额的不同字符种类数，窗口合法 iff have_count == len(need)。r 扩张；窗口一变合法就记录长度并收缩 l 直到合法性被破坏。两个指针各自最多移动 n 次，总复杂度 O(n + m)。因为收缩阶段按左端点递增顺序枚举候选，仅在「严格更短」时更新最佳，「同长取最左」自然成立。