AT_abc153_c [ABC153C] Fennec vs Monster

フェネック正在与 $N$ 只怪兽战斗。 第 $i$ 只怪兽的体力为 $H_i$。 フェネック可以进行以下两种操作： - 攻击：选择一只怪兽进行攻击，使该怪兽的体力减少 $1$。 - 必杀技：选择一只怪兽使用必杀技，使该怪兽的体力变为 $0$。 除了攻击和必杀技，无法通过其他方式减少怪兽的体力。 当所有怪兽的体力都降为 $0$ 或以下时，フェネック就获胜了。 如果フェネック最多可以使用 $K$ 次必杀技，请求出在打败所有怪兽之前，所需进行的最少攻击次数（不计必杀技的次数）。

输入以如下格式从标准输入读入： > $N$ $K$ $H_1$ $...$ $H_N$

输出フェネック打败所有怪兽所需进行的最少攻击次数（不计必杀技的次数）。

## 限制条件 - $1 \leq N \leq 2 \times 10^5$ - $0 \leq K \leq 2 \times 10^5$ - $1 \leq H_i \leq 10^9$ - 输入中的所有数值均为整数。 ## 样例解释 1 对第 $3$ 只怪兽使用必杀技，对第 $1$ 只怪兽攻击 $4$ 次，对第 $2$ 只怪兽攻击 $1$ 次，这样攻击次数最少为 $5$ 次。 ## 样例解释 2 可以对所有怪兽都使用必杀技。 ## 样例解释 3 请注意防止溢出。 由 ChatGPT 4.1 翻译