题意

有两个数组 $a$（长度 $n$）和 $b$（长度 $m$），问 $a$ 有多少个长度为 $m$ 的连续子数组能与 $b$ 匹配。
匹配的定义：两个数组的数可以一一配对，每对 $(a_i, b_j)$ 满足 $a_i + b_j \ge h$。

核心思路

这是一个贪心匹配问题。
最优的匹配方法是：
将 $b$ 从小到大排序，将 $a$ 的子数组也从小到大排序，然后最小配最小，次小配次小，……，如果每一对都满足 $a_i + b_i \ge h$，则匹配成功。

快速判断

我们不需要真的排序每个子数组并检查，这样太慢（$O(n m \log m)$）。
可以这样优化：

1. 将 $b$ 排序。
2. 对于 $a$ 的某个子数组，我们想知道：排序后是否满足 $a'[i] + b[i] \ge h$ 对所有 $i$ 成立。
3. 等价于：对于每个 $b[i]$，在子数组中至少有 $i+1$ 个数 $\ge h - b[i]$（因为排序后第 $i$ 小的 $a'$ 必须 $\ge h - b[i]$）。

转换问题

定义 $c[i] = h - b[i]$（注意 $b$ 已排序，所以 $c$ 是降序的）。
条件变为：子数组中 $\ge c[i]$ 的数的个数 $\ge i+1$（对 $i=0 \dots m-1$）。

进一步简化

其实只需要检查：对于每个 $i$，子数组中 $\ge c[i]$ 的数的个数 $\ge i+1$。
但 $i$ 增大时 $c[i]$ 减小，条件自动满足吗？
不，因为 $i$ 增大时要求个数更多，但 $c[i]$ 减小，所以可能更容易满足。
实际上，只需要检查最严格的条件：
对于每个 $k$（$1 \le k \le m$），子数组中 $\ge c[m-k]$ 的数的个数 $\ge k$。

实现方法

• 将 $b$ 排序，计算 $c[i] = h - b[m-1-i]$（反转一下，让 $c$ 升序）。
• 这样条件变成：子数组中 $\ge c[k]$ 的数的个数 $\ge k$（$k=1 \dots m$）。
• 用线段树或 Fenwick 树维护 $a$ 中每个值出现的次数，滑动窗口时更新。
• 对每个 $k$，检查当前窗口 $\ge c[k]$ 的数量是否 $\ge k$，如果所有 $k$ 都满足，则答案加一。

复杂度

排序 $O(m \log m)$，滑动窗口 $O(n)$，每次检查 $m$ 个条件，直接做是 $O(n m)$，但可以优化到 $O(n \log m)$ 用二分或树维护。

最终答案就是满足条件的子数组个数。