CF1118D1 Coffee and Coursework (Easy version)

本题的简单版与困难版唯一的区别在于数据范围。 Polycarp 需要完成一份课程作业，这份作业共有 $m$ 页。 Polycarp 有 $n$ 杯咖啡，第 $i$ 杯咖啡中含有 $a_i$ 单位的咖啡因。Polycarp 可以选择喝若干杯咖啡（每杯最多只能喝一次），喝的顺序任意。每次喝咖啡时，Polycarp 会立刻且全部喝完（即不能将一杯咖啡分多天喝）。 显然，课程作业通常不会在一天内完成（至少在 Berland 的理想世界里如此），有些作业需要多天的努力。 我们来考虑 Polycarp 某一天的工作。如果这一天他喝了 $k$ 杯咖啡，这 $k$ 杯咖啡的咖啡因含量分别为 $a_{i_1}, a_{i_2}, \dots, a_{i_k}$。那么，他喝的第 $1$ 杯咖啡能让他写 $a_{i_1}$ 页作业，第 $2$ 杯能让他写 $\max(0, a_{i_2} - 1)$ 页，第 $3$ 杯能让他写 $\max(0, a_{i_3} - 2)$ 页，……，第 $k$ 杯能让他写 $\max(0, a_{i_k} - k + 1)$ 页。 如果某一天 Polycarp 没有喝咖啡，那么这一天他无法写作业。 Polycarp 希望尽快完成作业（即用最少的天数完成）。你的任务是求出他完成作业所需的最少天数，或者判断是否无法完成作业。

第一行包含两个整数 $n$ 和 $m$（$1 \le n \le 100$，$1 \le m \le 10^4$），分别表示咖啡的杯数和作业的页数。 第二行包含 $n$ 个整数 $a_1, a_2, \dots, a_n$（$1 \le a_i \le 100$），其中 $a_i$ 表示第 $i$ 杯咖啡的咖啡因含量。

如果无法完成作业，输出 $-1$。否则输出 Polycarp 完成作业所需的最少天数。

在第一个样例中，Polycarp 可以第一天喝第 $4$ 杯咖啡（写 $1$ 页），第二天喝第 $1$ 和第 $2$ 杯（写 $2 + (3 - 1) = 4$ 页），第三天喝第 $5$ 杯（写 $2$ 页），第四天喝第 $3$ 杯（写 $1$ 页），所以答案是 $4$。显然在这个测试中，三天或更少天数无法完成作业。 在第二个样例中，Polycarp 可以第一天喝第 $3$、$4$、$2$ 杯（写 $4 + (2 - 1) + (3 - 2) = 6$ 页），第二天喝第 $6$ 杯（写 $4$ 页），所以答案是 $2$。显然在这个测试中，Polycarp 无法在一天内完成全部作业。 在第三个样例中，Polycarp 可以第一天喝完所有咖啡，写 $5 + (5 - 1) + (5 - 2) + (5 - 3) + (5 - 4) = 15$ 页作业。 在第四个样例中，Polycarp 不能在一天内喝完所有咖啡，需要分两天喝。第一天写 $5 + (5 - 1) + (5 - 2) + (5 - 3) = 14$ 页，第二天写 $5$ 页，这样就足够完成作业。 在第五个样例中，即使每天只喝一杯咖啡，Polycarp 也无法完成全部作业，所以答案是 $-1$。 由 ChatGPT 4.1 翻译