[USACO12MAR]Cows in a Skyscraper G 题解-状压DP luoguP3052

题目传送门 [USACO12MAR]Cows in a Skyscraper G - 洛谷

瞟一眼数据 (n≤18) ，状压DP

考虑设计状态。f[i] 表示在 i 的情况下，所需要的最小分组。其中 i 为一个二进制编码，从低到高的第 j-1 位为 1 代表第 j 件物品已选，为 0 则代表第 j 件物品还未选。 下同

接下来考虑如何转移。显然，一个状态一定由另一个只比它少选一件物品的状态转移而来，但我们并不知道此次转移是否需要再开一个组来放这个物品。所以我们可以贪心地维护一个数组 g[i] 表示在 i 情况的最优解下，分组中剩余体积最大的组的剩余大小，将 g[i] 和 w[j] 比较大小。若 w[j] ≤ g[i] ，无需另开新组，直接转移即可；若 w[j] > g[i] ，因为剩余大小 g[i] 已经是所有组中最大的，所以不存在可以容得下 w[j] 的组了，必须新开一组才行。f[i]取min，g[i]取max就好惹。 转移方程见代码，带注释

#include<bits/stdc++.h>
#define inf 0x3f3f3f3f
using namespace std;
int n,m,w[20],f[(1<<18)],g[(1<<18)];
int main(){
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;i++) scanf("%d",&w[i]);
	memset(f,inf,sizeof(f));
	f[0]=1;//至少有1组
	g[0]=m;//初始剩余大小
	for(int i=0;i<(1<<n);i++){
		for(int j=1;j<=n;j++){
			if((i&(1<<(j-1)))) continue;//已经取过,不能重复计算
			if(g[i]>=w[j]&&f[i|(1<<(j-1))]>=f[i]){//至少有一组可以容得下
				f[i|(1<<(j-1))]=f[i];
				g[i|(1<<(j-1))]=max(g[i]-w[j],g[i|(1<<(j-1))]);
			}
			else if(g[i]<w[j]&&f[i|(1<<(j-1))]>=f[i]+1){//所有组都容不下,必须新开一组
				f[i|(1<<(j-1))]=f[i]+1;
				g[i|(1<<(j-1))]=max(m-w[j],g[i|(1<<(j-1))]);
			}
		}
	}
	printf("%d",f[(1<<n)-1]);
	return 0;
}