#aBC252F. [ABC252F] Bread

[ABC252F] Bread

AT_abc252_f [ABC252F] Bread

题目描述

有一块长度为 LL 的面包,需要将其分给 NN 个孩子。第 ii 个孩子(1iN1\leq i\leq N)想要长度为 AiA_i 的面包。

高桥君可以重复进行如下操作,将长度为 A1,A2,,ANA_1,A_2,\ldots,A_N 的面包切出来并分发:

选择一块长度为 kk 的面包和一个整数 xx,其中 1xk11\leq x\leq k-1。将选中的面包切分为长度为 xxkxk-x 的两块面包。
无论 xx 取何值,每次切割的花费都是 kk

每个孩子只能分到一块长度恰好为 AiA_i 的面包,剩余的面包可以有任意多块,不需要分配。

请你求出,为了分给所有孩子面包所需的最小总花费。

输入格式

输入通过标准输入给出,格式如下:

NN LL A1A_1 A2A_2 \ldots ANA_N

输出格式

输出分给所有孩子面包所需的最小总花费。

输入输出样例 #1

输入 #1

5 7
1 2 1 2 1

输出 #1

16

输入输出样例 #2

输入 #2

3 1000000000000000
1000000000 1000000000 1000000000

输出 #2

1000005000000000

说明/提示

限制条件

  • 2N2×1052\leq N\leq 2\times 10^5
  • 1Ai1091\leq A_i\leq 10^9
  • A1+A2++ANL1015A_1+A_2+\cdots+A_N\leq L\leq 10^{15}
  • 所有输入均为整数

样例解释 1

高桥君可以按如下方式切分面包并分发:

  • 选择长度为 77 的面包和整数 x=3x=3。面包被切分为长度为 3344 的两块面包。(花费 77
  • 选择长度为 33 的面包和整数 x=1x=1。面包被切分为长度为 1122 的两块面包。将长度为 11 的面包分给第 11 个孩子。(花费 33
  • 选择长度为 22 的面包和整数 x=1x=1。面包被切分为两个长度为 11 的面包。将这两块面包分给第 33 和第 55 个孩子。(花费 22
  • 选择长度为 44 的面包和整数 x=2x=2。面包被切分为两个长度为 22 的面包。将这两块面包分给第 22 和第 44 个孩子。(花费 44

此时,总花费为 7+3+2+4=167+3+2+4=16,这是最小值。没有剩余面包。

样例解释 2

请注意,每个孩子分到的面包长度必须恰好为 AiA_i

由 ChatGPT 4.1 翻译