DP背包（背包类问题）

背包其实也是资源分配的一个分支，有各种模型，以01背包为根本，有其他各种；

难点在于01背包的优化以及各种背包问题之间的转化；

0/1背包

先用一道题来看

题目1

采药

题目描述

宋彦沣是个天资聪颖的孩子，他的梦想是成为世界上最伟大的医师。为此，他想拜附近最有威望的高浩岷为师。

高浩珉为了判断他的资质，给他出了一个难题。

高浩珉把他带到一个到处都是草药的山洞里对他说：“孩子，这个山洞里有一些不同的草药，采每一株都需要一些时间，每一株也有它自身的价值。我会给你一段时间，在这段时间里，你可以采到一些草药。

如果你是一个聪明的宋彦沣，你应该可以让采到的草药的总价值最大。”

　如果你是宋彦沣，你能完成这个任务吗？

输入格式

输入的第一行有两个整数T（1<=T<=1000）和M（1<=M<=100），用一个空格隔开，T代表总共能够用来采药的时间，M代表山洞里的草药的数目。

接下来的M行每行包括两个在1到100之间（包括1和100）的整数，分别表示采摘某株草药的时间和这株草药的价值。

输出格式

输出包括一行，这一行只包含一个整数，表示在规定的时间内，可以采到的草药的最大总价值。

样例数据

input

70 3
71 100
69 1
1 2

output

3

 首先看的话不难直接写出状态转移方程

f[i][j]=max(f[i][j],f[i-1][j-v[i]]+w[i])

但是此时时间和空间复杂度都是o（n*c）；

前面提到过资源分配类问题有的时候会超空间，可以采用滚动数组来写；

但是还有一种o（nc）的写法，就是用一维数组来表示

根据状态转移方程，可以得到

第i层的f[j]与第i-1层的f[j]和f[j-v[i]]有关

数据： 

 当采用二维数组时，应该得到如下的矩阵：

而采用一维数组时（这里把V扩充到10）

当I = 1时得dp数组、

当I = 2时，如果从左向右枚举：

这个时候显然出现了问题，可以看到dp[10] = max(dp[10], dp[10-5]+5) = max(4, 5+5) = 10，而我们期望的值应该是9！

在自己手动模拟的时候，发现了原因是因为在从左到右枚举时，dp[5]已经被覆盖了，此时的dp[5]表示的含义是，当余量为5时，放入前两件物品的最大价值（等价于dp[2][5]），而dp[5]应该表示的真实含义是，当余量为5时，放入第一件物品的最大价值（等价于dp[1][5]）。

也就是说从左到右枚举时，左边的数据都是脏数据（指被覆盖的数据），而右边的数据都是干净的数据，而每次计算时又会用到其左边的数据和其本身，因此会出现问题。而从右向左枚举时，右边的数据都是脏数据，而左边的数据都是干净的，因此没有问题。所以枚举必须要从右向左枚举！以下是一个图解：

思考：对于完全背包问题，如果采用一维数组，则对V的枚举需要从左到右枚举。

其原因是因为按照其状态转移方程：

这个时候我们可以看到，当计算dp[i][v]时，需要用到的数据是它左边的数据和它正上方的数据：

dp[i][v]表示的含义是不取第i个元素（此时剩余容量为v）和取第i个元素

（此时剩余容量为v - w[i]）的最大值，

而v - w[i] 是需要事先就被计算好的

（并且是需要脏数据，否则表示的含义是在v-w[i]的空间中放置第i-1个元素的最大值），

因此需要从左到右枚举。

细节还有    恰好

恰好的时候要让f[0]=0,其它为-oo;

代码如下：

#include<bits/stdc++.h>
using namespace std;
int t,m;
int p[1100],v[1100];
int f[1100];
int main()
{
	freopen("input.in","r",stdin);
	freopen("output.out","w",stdout);
	cin>>t>>m;
	for(int i=1;i<=m;i++)
	{
		cin>>p[i]>>v[i];
	}
	memset(f,0,sizeof(f));
	f[0]=0;
	for(int i=1;i<=m;i++)
		for(int j=t;j>=1;j--)
		{
			if(j>=p[i]) f[j]=max(f[j],f[j-p[i]]+v[i]);
		}
	cout<<f[t];
}

题目2

集合求和

题目描述

对于从1到N (1<=N<=39) 的连续整数集合，能划分成两个子集合，且保证每个集合的数字和是相等的。

举个例子，如果N=3，对于{，，1，2，3}能划分成两个子集合，他们每个的所有数字和是相等的：

{3} 和 {1,2}

这是唯一一种分法（交换集合位置被认为是同一种划分方案，因此不会增加划分方案总数）

如果N=7，有四种方法能划分集合{，，，，，，1，2，3，4，5，6，7}，每一种分法的子集合各数字和是相等的:

{1,6,7} 和 {2,3,4,5} {注 1+6+7=2+3+4+5} {2,5,7} 和 {1,3,4,6} {3,4,7} 和 {1,2,5,6} {1,2,4,7} 和 {3,5,6}

给出N，你的程序应该输出划分方案总数，如果不存在这样的划分方案，则输出0。程序不能预存结果直接输出（不能打表）。

输入格式

输入文件只有一行，且只有一个整数N

输出格式

输出划分方案总数，如果不存在则输出0。

样例数据

input

7

output

4

首先分析完得到

从一到这个数的累加和必须是偶数，