流式 K 大盈亏

某做市台对每个策略的 P&L 流跑一层实时告警。每个 tick 系统拿到所有在场策略的最新 P&L，风控想要在每个 tick 都知道——到目前为止流里的第 K 大 P&L 是多少。这个值驱动一个基于排名的告警：只要第 K 大仍高于配置的下限，台子就知道至少还有 K 个策略在打出健康收益。朴素做法每 tick 重排一次前缀是 O(N² log N)，长会话下直接崩；教科书做法是容量为 K 的小顶堆。

实现 solution(values: list[float], k: int) -> list[float | None]。对每个 i ∈ range(len(values))，把 values[i] 压入数据结构后，若已见观测至少 K 个，向输出 append 当前第 K 大值；否则 append None。返回长度为 N 的列表。

示例：solution([4.0, 5.0, 8.0, 2.0], 2) 返回 [None, 4.0, 5.0, 5.0]。tick 0 只见过一个观测（不足 K=2），emit None。tick 1 时 top-2 是 {4.0, 5.0}，第 2 大是 4.0。tick 2 来了 8.0；top-2 变为 {5.0, 8.0}，第 2 大是 5.0。tick 3 来了 2.0（比堆顶最小 5.0 还小，堆不变），第 2 大仍是 5.0。solution([3.0, 1.0, 4.0], 1) 返回 [3.0, 3.0, 4.0]——K=1 退化为滚动最大值。solution([1.0, 2.0], 5) 返回 [None, None]：K 超过流长度，第 K 大永远无定义。

机械操作很小但不变量要稳：堆里放迄今的 top-K，所以堆的最小值（heapq 保证就在下标 0 位置）才是第 K 大。新值到达且堆已满时，只有新值打败 heap[0] 才入堆——入堆时直接替换原最小值。每步 O(log K)。前 K 期 emit None；堆一旦装满，第 K 大就永远有定义（堆里的成员只能保持或被更优替换，永远不会回退到不足 K 个）。这就是 LeetCode 703 套上做市场景的外壳——基于排名告警的滚动第 K 大 P&L 流。