信息学奥赛一本通 1228：书架 | OpenJudge NOI 4.6 2407:书架 | 洛谷 P2676 [USACO07DEC]Bookshelf B

【题目链接】

ybt 1228：书架
OpenJudge NOI 4.6 2407:书架
洛谷 P2676 [USACO07DEC]Bookshelf B

【题目考点】

1. 贪心

【解题思路】

该题可以抽象为：给定N个数，最少选出其中多少个数字，就可以使这些数的和大于等于B。

1. 贪心选择性质的证明：

贪心选择：选择其中最大的数字

1. 证明：存在最优解包含第一次的贪心选择，即最大的数字。

假设所有的最优解都不包含最大的数字$g$，任选一个最优解，其选择的数字为$a_1,a_2,...,a_m$，将$g$与$a_1$交换，得到解$g,a_2,...,a_m$。
由于$g$是最大的数字，那么$g\ge a_1$，那么$g+a_2+...+a_m\ge a_1+a_2+...+a_m\ge B$，而且选择的数字个数不变。因而交换后得到的解仍然是最优解，这与最优解不包含$g$相悖，假设不成立，原命题得证。

2. 证明：假设前k次都进行贪心选择，存在最优解包含第k+1次的贪心选择

假设所有的最优解都不包含第k+1次的贪心选择$g$，任选一个最优解，其选择的数字为$a_1,a_2,...,a_k,a_{k+1},...,a_m$，将$g$与$a_{k+1}$交换，得到解$a_1,a_2,...,a_k,g,a_{k+2},...,a_m$，数字个数不变。
由于$g$是$a_{k+1},a_{k+2},...,a_m$中最大的数字，那么$g\ge a_{k+1}$，那么$a_1+a_2+...+a_k+g+a_{k+2}+...+a_m\ge a_1+a_2+...+a_k+a_{k+1}+...+a_m\ge B$，而且选择的数字个数不变。因而交换后得到的解仍然是最优解，这与最优解不包含$g$相悖，假设不成立，原命题得证。

2. 具体做法

将输入的h数组进行降序排序，顺序遍历数组，将遍历到的数字加和。如果加和大于等于b，那么输出遍历到的数字个数。

【题解代码】

解法1：贪心

#include<bits/stdc++.h>
using namespace std;
#define N 20005
bool cmp(int a, int b)
{
    return a > b;
}
int main()
{
    int n, h[N], b, sum = 0, ct = 0;
    cin >> n >> b;
    for(int i = 1; i <= n; ++i)
        cin >> h[i];
    sort(h+1, h+1+n, cmp);//降序排序
    for(int i = 1; i <= n; ++i)
    {
        sum += h[i];
        if(sum >= b)
        {
            cout << i << endl;
            break;
        }
    }
    return 0;
}