4724: 刷野 I(广东省重点中学信息学邀请赛普及组)
内存限制：512 MB
时间限制：1.000 S
评测方式：文本比较
命题人：
提交：0
解决：0
题目描述
（广东省重点中学信息学邀请赛 (GDKOI 2024 day1普及组 第一试)
Zayin是一个与怪物战斗的巫师，这次他将面临n个站成一排的怪物，其中第i怪物的生命值是ai。
Zayin率先使用一种攻击方式攻击，攻击过后所有血量小于等于 0 的怪物死亡。在Zayin攻击一次后，所有存活的怪物对Zayin造成1点伤害。以上步骤不断循环，直到Zayin击杀所有怪物为止。
Zayin一共有三种攻击方式：
• 普通攻击: 消耗0点能量值，选择一只怪物并使其血量减少一点。
• 天音波: 消耗1点能量值，选择一只怪物并使其血量减少两点。
• 天雷破: 消耗1点能量值，使所有怪物血量减少一点。
现在Zayin一共有m点能量，现在他想知道在最优的策略下，击败n只怪物所损失的最少血量。
Zayin是一个与怪物战斗的巫师，这次他将面临n个站成一排的怪物，其中第i怪物的生命值是ai。
Zayin率先使用一种攻击方式攻击，攻击过后所有血量小于等于 0 的怪物死亡。在Zayin攻击一次后，所有存活的怪物对Zayin造成1点伤害。以上步骤不断循环，直到Zayin击杀所有怪物为止。
Zayin一共有三种攻击方式：
• 普通攻击: 消耗0点能量值，选择一只怪物并使其血量减少一点。
• 天音波: 消耗1点能量值，选择一只怪物并使其血量减少两点。
• 天雷破: 消耗1点能量值，使所有怪物血量减少一点。
现在Zayin一共有m点能量，现在他想知道在最优的策略下，击败n只怪物所损失的最少血量。
输入
输入的第一行包含两个正整数n, m(1≤n,m≤105)，n表示怪物的个数，m表示Zayin拥有的能量值。
输入的第二行包含n个非负整数 a1,a2, ..., an(1≤ ai≤ 109)，ai表示第i只怪物的血量。
输入的第二行包含n个非负整数 a1,a2, ..., an(1≤ ai≤ 109)，ai表示第i只怪物的血量。
输出
一行一个整数表示答案。
样例输入 复制
3 4
2 4 4样例输出 复制
6提示
数据范围:
对于30%的数据，1≤n,m≤5。
对于另外15%的数据，m=0。
对于另外15%的数据，所有 ai 全部相等。
对于100%的数据，1≤n≤105,1≤m≤105,1≤ai≤109。
对于30%的数据，1≤n,m≤5。
对于另外15%的数据，m=0。
对于另外15%的数据，所有 ai 全部相等。
对于100%的数据，1≤n≤105,1≤m≤105,1≤ai≤109。