【第46届ICPC上海站 I题 Steadily Growing Steam】线性dp + 滚动数组优化

题目链接

题意：

给你n个物品，每个物品都有体积和价值，现在你有一个技能，就是将一个物品的体积扩大一倍，现在给你k个技能，问从n个物品中选择任意物品分成两组，这两组要求总体积相同，问最大总价值是多少。

分析：

这个题很显然就是一道背包问题，这里面有三个分量，分别是物品数，体积，技能，然后要求的最大值是价值，现在那么咱们现在就需要考虑dp中每个分量的含义了，一开始想的是f[i][j][k]表示的是从前i个物品中选，分成两组中的每个组的体积均为j，最大技能数是k的最大价值，那么这样考虑的话就会存在一个问题，就是有没有可能每个组的体积均为j，答案是可能有，可能没有，大概率是没有，那么现在这个方法就不能再往下进行下去了，因为这个想法只是局限于两组体积相同时的方案，但是大多数的方案是从两组不同的方案给过渡过来的，现在再考虑一种想法，f[i][j][k]表示从前i个物品中选，b组体积-a组体积+2600为j，最大技能数为k的最大价值，这个地方有个细节，就是为什么是+2600，因为n最大是100，t最大是13，如果k是100的话，就是最大差值就是213100 = 2600，就是 -2600~2600,因为数组的下标不能是负的，所以说应该加上个偏移量2600，那么现在就有五种方案来进行状态转移：
（1）第 i 个物品不选
（2）第 i 个物品选到a组但是不用技能
（3）第 i 个物品选到a组但是用技能
（4）第 i 个物品选到b组但是不用技能
（5）第 i 个物品选到b组但是用技能
还有个细节就是初始化，需要将f[0][i][2600]全都初始化成0，其余的f[0][i][j]都初始化为负无穷，下面请看代码：

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
#include<vector>
#include<cmath>
#include<queue>
#include<map>
#include<set>
#include<stack>
#include<cstdlib>
#include<climits>
#include<unordered_map>
using namespace std;
typedef long long LL;
typedef pair<int,int> PII;
typedef unsigned long long ull;
const int mod = 1e9+7;
const int N = 110,M = 6210;
LL f[2][N][M];//从前i个物品中选，最多使用j个技能，b集合-a集合+2600为k的最大价值 
int main(){
	int n,m;
	scanf("%d%d",&n,&m);
	for(int i=0;i<=m;i++)
		for(int j=0;j<=5200;j++)
			f[0][i][j] = (j==2600)?0:-1ll*1e18;
	for(int i=1;i<=n;i++){
		LL t,v;
		scanf("%lld%lld",&v,&t);
		int x = i&1;
		for(int j=0;j<=m;j++){
			for(int k=0;k<=5200;k++){
				f[x][j][k] = f[x^1][j][k];
				if(k >= t) f[x][j][k] = max(f[x][j][k],f[x^1][j][k-t]+v);
				if(k >= 2*t && j >= 1) f[x][j][k] = max(f[x][j][k],f[x^1][j-1][k-2*t]+v);
				if(k + t <= 5200) f[x][j][k] = max(f[x][j][k],f[x^1][j][k+t]+v);
				if(k + 2*t <= 5200 && j >= 1) f[x][j][k] = max(f[x][j][k],f[x^1][j-1][k+2*t]+v);
			}
		}	
	} 
	cout<<f[n&1][m][2600]<<endl;
	return 0;
}