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 翻译