Atcoder_abc226G-贪心好题

传送门

官方题解

首先看那些“不能放2个”的，即重量为3~5的。从贪心角度感性地看，倒序决策是合理的。

因为我们希望空间利用率为100%（更新：其作用为，使得重量为4和3的物品的容量尽量大），所以对于重量为4和5的物品，都是按照升序依次处理即可。但对于重量为3的物品，则不能按照升序依次处理，因为会wa。那么应该按照什么顺序呢？

我们先分析只剩重量为1和2的物品的情况，再回答以上问题。显然，重量为1的物品的空间利用率总是100%，因此关键是计算当前能容纳的重量为2的物品数：

LL num = 0;
rep(i,2,5) num += (i/2)*b[i];

如果容量不够，则return false。否则重量为1的直接判定。

综上，最大化num就是我们的目标。此时我们可以回答上面的问题了，首先让力气为3的人搬，因为它的空间利用率是100%，然后我们为了让num最大，应该先让力气为5的人搬，再让力气为4的人搬。

以上分析成立的保证是：重量为3~5的物品，它们消耗的人数是恒定值。在该保证下，我们第一优化目标是空间利用率100%，第二优化目标是最大化num。因此我们指出：这题的贪心本质是函数最优化。

代码

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
typedef unsigned int ui;
#define rep(i,a,b) for(int i = (a);i <= (b);++i)
#define re_(i,a,b) for(int i = (a);i < (b);++i)
#define dwn(i,a,b) for(int i = (a);i >= (b);--i)

const int N = 500 + 5;

LL a[6],b[6];

void dbg(){puts("");}
template<typename T, typename... R>void dbg(const T &f, const R &... r) {
    cout << f << " ";
    dbg(r...);
}
template<typename Type>inline void read(Type &xx){
    Type f = 1;char ch;xx = 0;
    for(ch = getchar();ch < '0' || ch > '9';ch = getchar()) if(ch == '-') f = -1;
    for(;ch >= '0' && ch <= '9';ch = getchar()) xx = xx * 10 + ch - '0';
    xx *= f;
}

bool solve(){
    dwn(i,5,3){
        if(i >= 4)
            rep(j,i,5){
                LL mn = min(a[i],b[j]);
                a[i] -= mn;
                b[j] -= mn;
                if(j > i) b[j-i] += mn;
                if(!a[i]) break;
            }
        else{
            vector<int> w = {3,5,4};
            for(int j: w){
                LL mn = min(a[i],b[j]);
                a[i] -= mn;
                b[j] -= mn;
                if(j > i) b[j-i] += mn;
                if(!a[i]) break;
            }
        }
        if(a[i] > 0) return false;
    }
    LL num = 0;
    rep(i,2,5) num += (i/2)*b[i];
    if(num < a[2]) return false;
    LL one = -2*a[2];
    rep(i,1,5) one += i*b[i];
    return one >= a[1];
}

int main(int argc, char** argv) {
    int T;read(T);
    while(T--){
        rep(i,1,5) read(a[i]);
        rep(i,1,5) read(b[i]);
        puts(solve() ? "Yes" : "No");
    }
    return 0;
}

送上一些测试数据

111
1 2 3 4 5
1 2 3 4 5
4 7 5 5 5
1 1 3 4 10
3 7 5 5 5
1 1 3 4 10
5 7 5 5 5
1 1 3 4 10
0 100000000000 0 0 50000000000
0 0 0 0 100000000000
0 100000000001 0 0 50000000000
0 0 0 0 100000000000
//YYYNYN