【背包问题】背包问题求方案数

题目

题目来源： 点我进入ACwing官方提交

有 N 件物品和一个容量是 V 的背包。每件物品只能使用一次。

第 i 件物品的体积是 vi，价值是 wi。

求解将哪些物品装入背包，可使这些物品的总体积不超过背包容量，且总价值最大。

输出 最优选法的方案数。注意答案可能很大，请输出答案模 109+7 的结果。

输入格式
第一行两个整数，N，V，用空格隔开，分别表示物品数量和背包容积。

接下来有 N 行，每行两个整数 vi,wi，用空格隔开，分别表示第 i 件物品的体积和价值。

输出格式
输出一个整数，表示 方案数 模 109+7 的结果。

数据范围
0<N,V≤1000
0<vi,wi≤1000
输入样例
4 5
1 2
2 4
3 4
4 6
输出样例：
2

题目思路

这个题目没有做出来，看了题解才懂，01背包稍微变形一下就不会了，害，太菜了丫。

题目求解最大价值的方案数。求解方案数，可以使用图论的思想思考问题，我们需要加上前面一条路线的所有情况，但是加哪一条路线呢？加上数值最大的那一条路线？怎么知道哪一条路线比较大？（01背包），那么就需要开两个数组。

一个数组就是我们的01背包数组，代表：从前i 个物品中选，体积恰好是j的背包值。（为什么要恰好是j呢，方便我们作为下面一个数组的索引，制造唯一性）。
另一个数组存储方案，代表：所有到体积i的方案数。（这个地方没有想到。。。。）
那么他的状态划分图：

• 初始化处理

我们先要把第一个数组初始化为无穷大，因为是"体积恰好是j"。令$f[0]=0，g[0]=1$

AC代码

#include<bits/stdc++.h>
using namespace std;

#define _for(i, a, b) for (int i = (a); i < (b); ++i)
#define _rep(i, a, b) for (int i = (a); i <= (b); ++i)
#define For(i, a, b) for (int i = (a); i >= (b); --i)
#define debug(x) cout << #x << " = " << x << ENDL
#define mod(x) (x) % MOD
#define ENDL "\n"

typedef long long ll;
typedef pair<int, int> pii;
typedef vector<int> vi;
const int N = 1000 + 10, MOD = 1e9 + 7;
int f[N], g[N];

int main()
{
#ifdef LOCAL
	freopen("data.in", "r", stdin);
#endif
	ios::sync_with_stdio(false);
	cin.tie(0), cout.tie(0);

	int n, m;
	cin >> n >> m;

	memset(f, -0x3f, sizeof f);
	f[0] = 0;
	g[0] = 1;

	int ans = 0;
	_rep(i, 1, n)
	{
		int v, w;
		cin >> v >> w;

		For(j, m, v)
		{
			int mx = max(f[j], f[j - v] + w);
			int cnt = 0;
			if (mx == f[j]) cnt = g[j];
			if (mx == f[j - v] + w) cnt = mod(cnt + g[j - v]);
			g[j] = cnt;
			f[j] = mx;
			ans = max(ans, mx);
		} 
	}

	int cnt = 0;
	_rep(i, 0, m) if (ans == f[i]) cnt = mod(cnt + g[i]);
	cout << cnt << ENDL;
	return 0;
}

反思

这个题目没有做出来的主要原因在于没有考虑好价值第二个数组所代表的集合是什么，我首先是以值作为索引的，现在想想还是太傻了，作为索引的话，首先考虑有数据范围的变量，再去考虑其他的变量做索引。
这个题目如果以体积做为索引的话会好很多，因为他代表的就是该体积下最大值的数量。
重点在第二个数组，第一个数组只是作为辅助寻找改体积下的最大值。