第 $k$ 小的定义是啥啊。

我觉得是 $<$ 他的有 $k-1$ 个，但题解都写得 $\le$ 他的有 $k$ 个.