寻宝（Dp实例）

地宫寻宝

先导条件：给定一个数n×m地图，每个格子都放有不同价值的物品，从左上角出发到右下角，每一步往右或者往下走一步，面对每一个物品，可以拿走，也可以不拿，而且只有当前格子的物品大于所有已拿的物品价值，才能够拿这个物品

**

问题：问到达终点时，恰好拿够k个物品的方案数

**

思路

用集合的思想考虑DP
第一个要想清楚的就是，要取得当前格子的物品，这个物品必须比当前所拥有的物品都大，所以有一个性质：后面拿的物品比前面的物品大难点在于状态计算部分，联想到01背包问题，对于每个物品，都有取或不取两种选择，而不取是肯定可以的，要取的话，要满足背包能放下这个条件，对于每个物品，都可以不选，也就是直接从上一步转移状态过来，但是如果要取得(i,j)(i,j)位置的物品，就必须满足当前的kk和a[i][j]a[i][j]相等，因为上面分析过了，如果现在取了a[i][j]a[i][j]，那么它肯定是现在所有物品最大的，这和我们一开始四维数组的定义是对应的
在具体的状态转移中，如果不选，就直接从上一步完完整整地把状态cntcnt和kk转移过来；如果选，那上一步就应该选了cnt−1cnt−1个物品，而且上一步身上所有物品最大值只能是1,2,3…k−1，把这些状态的方案数累加，就可以成为选择当前物品的条件

注意事项：

因为这道题的所有物品价值范围是0,1,2,…12，可以把他们全部都递增，范围就变成了1,2,3…13，因为我们记录的是方案数，只关心各个物品之间的大小关系，具体数值不影响答案，但是这样的做法可以把0作为一个特殊边界来处理
整个过程不理解的话，可以用纸笔模拟一下，看看每个状态的数值应该是多少

#include <iostream>
#include<stdlib.h>
using namespace std;
const int N = 55;
const int M = 15;
const int MOD = 1e9 + 7;
int n, m, c;
int a[N][N];
//f[i][j][cnt][k]表示：在(i, j)这个点，拿了cnt个物品，这些物品中价值最大的是k
int f[N][N][M][M];

int main()
{
	scanf("%d%d%d", &n, &m, &c);
	for(int i = 1; i <= n; i++)
		for(int j = 1; j <= m; j++)
		{
			scanf("%d", &a[i][j]);
			a[i][j]++;
		}
		//两个边界初始化
		//在起点(1, 1)处
		//如果拿也只能拿a[i][j]这个物品，只有一种方案
		//如果不拿，那就是0个物品，也是一个方案数
		//由于物品价值已经增加了一个偏移量，现在价值的范围是[1, 13]
		//所以价值为0并不代表物品的价值，而是一个边界点
		f[1][1][0][0] = 1;
		f[1][1][1][a[1][1]] = 1;
		for(int i = 1; i <= n; i++)
		{
			for(int j = 1; j <= m; j++)
			{
				for(int cnt = 0; cnt <= c; cnt++)
				{
					for(int k = 0; k < M; k++)
					{
						//不拿物品
						f[i][j][cnt][k] = (f[i][j][cnt][k] + f[i - 1][j][cnt][k]) % MOD;
						f[i][j][cnt][k] = (f[i][j][cnt][k] + f[i][j - 1][cnt][k]) % MOD;

						//可以拿
						if(cnt > 0 && k == a[i][j])
						{
							for(int s = 0; s < a[i][j]; s++)
							{
								f[i][j][cnt][k] = (f[i][j][cnt][k] + f[i - 1][j][cnt - 1][s]) % MOD;
								f[i][j][cnt][k] = (f[i][j][cnt][k] + f[i][j - 1][cnt - 1][s]) % MOD;
							}
						 }
					 }
				 }
			 }
		 }

		//最后把在终点(n, m)处拿c个物品的方案数累加
		int res = 0;
		for(int i = 1; i < M; i++)
			res = (res + f[n][m][c][i]) % MOD;
		printf("%d\n", res);
		return 0;
}