100 atcoder#ABC153C. [ABC153C] Fennec vs Monster

[ABC153C] Fennec vs Monster

配点 : 300300

問題文

フェネックは NN 体のモンスターと戦っています。

ii 番目のモンスターの体力は HiH_i です。

フェネックは次の 22 種類の行動を行うことができます。

  • 攻撃:モンスターを 11 体選んで攻撃することで、そのモンスターの体力を 11 減らす
  • 必殺技:モンスターを 11 体選んで必殺技を使うことで、そのモンスターの体力を 00 にする

攻撃と必殺技以外の方法でモンスターの体力を減らすことはできません。

全てのモンスターの体力を 00 以下にすればフェネックの勝ちです。

フェネックが KK 回まで必殺技を使えるとき、モンスターに勝つまでに行う攻撃の回数 (必殺技は数えません) の最小値を求めてください。

制約

  • 1N2×1051 \leq N \leq 2 \times 10^5
  • 0K2×1050 \leq K \leq 2 \times 10^5
  • 1Hi1091 \leq H_i \leq 10^9
  • 入力中のすべての値は整数である。

入力

入力は以下の形式で標準入力から与えられる。

NN KK

H1H_1 ...... HNH_N

出力

フェネックがモンスターに勝つまでに行う攻撃の回数 (必殺技は数えない) の最小値を出力せよ。

3 1
4 1 5
5

33 番目のモンスターに必殺技を使い、11 番目のモンスターに 44 回、22 番目のモンスターに 11 回攻撃を行うことで、攻撃の回数を 55 回にできます。

8 9
7 9 3 2 3 8 4 6
0

全てのモンスターに必殺技を使うことができます。

3 0
1000000000 1000000000 1000000000
3000000000

オーバーフローに注意してください。