如果你的 $sum_1$ 没有直接减掉 $siz_1$，并且在判 -1 的时候判的 $sum_1 - 1 < k$，$t = 1$ 的时候就会出错。

正确的是 $sum_1 - sz_1 < k$。