描述
有依赖的背包最好理解的题就是NOIP的金明的预算方案,其每个物品有主件和附件,附件必须在主件已经购买了的请款下才能购买,这里牵扯到有依赖的背包的一个问题,将这些进行分组之后就有多种情况即:不能购买主件,只能购买主件,能购买主件和多个附件,这些情况组成了多个可能的情况。
思路
这里肯定会想到分组那里去,很显然的这一组的一些附件,肯定是在上一组的基础上更新过来,那么我们直接把上一组的所有状态一过来,对移过来的这些的这些状态加上这组的物件跑一次01背包,然后在跑完之后与之前对应的dp取max,取的时候代价要减去依赖的钱。
代码
#pragma GCC optimize(2)
#include<bits/stdc++.h>
using namespace std;
const int man = 1e5+10;
template<typename T>T gcd(T a, T b) {return b==0?a:gcd(b, a%b);}
template<typename T>T exgcd(T a,T b,T &g,T &x,T &y){if(!b){g = a,x = 1,y = 0;}else {exgcd(b,a%b,g,y,x);y -= x*(a/b);}}
template<typename T>T quick_add(T a,T b,T mod){T ans = 0;while(b){if(b&1)ans = (ans+a)%mod;a = (a+a)%mod;b /= 2;};return ans%mod;}
template<typename T>T quick_mod(T a,T b,T mod){T ans = 1;while(b){if(b&1)ans = ans*a%mod;a = a*a%mod;b /= 2;};return ans%mod;}
#ifndef ONLINE_JUDGE
#define debug(fmt, ...) {printf("debug ");printf(fmt,##__VA_ARGS__);puts("");}
#else
#define debug(fmt, ...)
#endif
typedef long long ll;
const ll mod = 1e9+7;
struct node{
int co,va;
}a[70];
vector<node>sp[70];
int dp[32010],b[70];
int tp[32010];
int n,m;
inline void get_ans(vector<node > d){
memcpy(tp,dp,sizeof(dp));
// cout << d.size() << endl;
for(int i = 1;i < d.size();i++){
for(int j = n;j >= d[i].co;j--){
tp[j] = max(tp[j],tp[j-d[i].co] + d[i].va);
}
}
//for(int i = k;i >= 1;i--)printf("%d:%d\n",i,tp[i]);
// cout << d.size() << endl;
for(int i = d[0].co ;i <= n;i++){
dp[i] = max(dp[i],tp[i-d[0].co]+d[0].va);
}
//for(int i = m;i >= 1;i--)printf("%d:%d\n",i,dp[i]);
}
int main() {
#ifndef ONLINE_JUDGE
//freopen("in.txt", "r", stdin);
//freopen("out.txt","w",stdout);
#endif
scanf("%d%d",&n,&m);
for(int i = 1;i <= m;i++){
int v,p,q;
scanf("%d%d%d",&v,&p,&q);
a[i] = node{v,v*p};
b[i] = q;
if(!q){
sp[i].push_back(a[i]);
}
}
for(int i = 1;i <= m;i++){
if(b[i]){
sp[b[i]].push_back(a[i]);
}
}
for(int i = 1;i <= m;i++)if(sp[i].size())get_ans(sp[i]);
printf("%d\n",dp[n]);
return 0;
}