洛谷：P3092 [USACO13NOV]No Change G（状压+二分，独特的状态定义，不写会后悔一辈子的题）

TP

• 一开始的思路是定义状态 $dp[N][1<<16]$ ，维护的是能剩下最多的钱，但显然 n 那么大直接寄。
• 如何去掉 n 那一维度，百思不得其解。
• 题解教我做人：

既然维护剩下最多钱不好做，那就看看能不能维护其他东西，比如，维护能走到最远的位置。

这个 走到最远位置 是抽象的表述，实际定义 $dp[1<<16]$
$dp[i]表示在二进制i状态下（即使用了某些硬币）能买到的最远物品位置$

试想，只需要 $dp[i]>=n$ 不就代表此刻 i 状态结束购买了吗？我们显然可以统计二进制中 0 的部分，这就是没有使用的硬币价值。

对于所有这种情况的 dp，我们维护一个最大值即可，不过要注意特判无解

只能说神中神中神中神，不写后悔一个acm生涯

$Code:$

#include<bits/stdc++.h>
#include<unordered_map>
#define debug cout << "debug---  "
#define debug_ cout << "\n---debug---\n"
#define oper(a) operator<(const a& ee)const
#define forr(a,b,c) for(int a=b;a<=c;a++)
#define mem(a,b) memset(a,b,sizeof a)
#define cinios (ios::sync_with_stdio(false),cin.tie(0),cout.tie(0))
#define all(a) a.begin(),a.end()
#define sz(a) (int)a.size()
#define endl "\n"
#define ul (u << 1)
#define ur (u << 1 | 1)
using namespace std;

typedef unsigned long long ull;
typedef long long ll;
typedef pair<int, int> PII;

const int N = 1e5 + 10, M = 2e6 + 10, mod = 1e8;
int INF = 0x3f3f3f3f; ll LNF = 0x3f3f3f3f3f3f3f3f;
int n, m, B = 10, ki;
int dp[1 << 16];//妙到极致的状态表示
//dp[i] 表示在 二进制 i 状态下（即使用了某某硬币）能买到的最远物品位置
//
//维护最多剩多少钱可以发现是困难的，状态要求也高，所以转变思路。
//
//我们只需要看看哪些 dp[i] >= n，然后直接算剩下硬币的钱维护一个最大值即可
//神中神至极！
//
int coin[16], c[N], pre[N];

int count(int be, int money) {
    int l = be, r = n;//从be开始
    while (l < r)
    {
        int mid = l + r + 1 >> 1;
        if (pre[mid] - pre[be] <= money)l = mid;
        else r = mid - 1;
    }
    return l;
}

void solve() {
    cin >> ki >> n;
    for (int i = 0; i < ki; i++)cin >> coin[i];

    forr(i, 1, n) {
        cin >> c[i];
        pre[i] = pre[i - 1] + c[i];
    }

    ll ans = -1;//无解情况别漏了
    //从小状态推到大，二进制 1 的位置代表该硬币已经被用
    for (int i = 0; i < 1 << ki; i++) {
        for (int j = 0; j < ki; j++)
            if (i >> j & 1) {
                int be = dp[i - (1 << j)];
                dp[i] = max(dp[i], count(be, coin[j]));
            }
        if (dp[i] == n) {
            ll sum = 0;
            for (int j = 0; j < ki; j++)
                if ((i >> j & 1) == 0)sum += coin[j];
            ans = max(ans, sum);
        }
    }

    cout << ans;
}

int main() {
    cinios;
    int T = 1;
    for (int t = 1; t <= T; t++) {
        solve();
    }
    return 0;
}
/*
*/

——在一种状态表示不优秀的情况下，要尝试考虑其他状态表示