【dp】AGC013 D - Piling Up

题意：

有无数个红色的和蓝色的积木和一个很大的箱子，要建一个由2M个积木搭成的塔
首先，大箱子里有N个（红色或蓝色）的积木，（并不知道每种颜色分别有多少个积木，N>0，有可能没有某一种颜色的积木）
重复以下操作M次。
1：从箱子里随机拿出一个积木，放在已有的塔的顶端。
2：将一个红色的积木和一个蓝色的积木放进箱子里。
3：从箱子里随机拿出一个积木，放在已有的塔的顶端。
显然，一次操作后，塔的高度增加2.
（不用担心塔会倒塌）按照拿出这些积木的顺序，塔建好了。按照这种方式，最终能搭出多少种不同的塔。两个塔被认为不同，当且仅当存在同一个位置上的积木颜色不同。

思路：

发现一个神奇的现象：每一轮操作结束后，箱子里积木的个数与原来相比没有改变。
一次操作中，考虑取出来的东西对原箱子的影响：
一红一蓝（0,1） 箱子不变，要求箱子里至少有一个0。
两个红色（0,0）箱子里少了一个红色，要求箱子里至少有一个0。
一蓝一红（1,0）箱子不变，要求箱子里0的数量少于n。
两个蓝色（1,1）箱子里少了一个蓝色，要求箱子里0的数量少于n。
假如定义$dp[i][j]$为前$i$次操作后，箱子里还剩$j$个红色搭出不同的塔的方案数。
那么转移就是：
$j>0:dp[i+1][j]+=dp[i][j],dp[i+1][j-1]+=dp[i][j]$
$j<n:dp[i+1][j]+=dp[i][j],dp[i+1][j+1]+=dp[i][j]$
由于初始状态中箱子里的红色的积木数量是不确定的，取值为[0,n],所以这样统计显然会有重复。
为了避免重复，我们新增一维dp[i][j][0,1],前两维意义不变，第三维指的是红色积木的数量是否到达过0，到达过第三维为1，否则为0；
答案最后我们只统计红色数量到达过0的方案数。
由于赋初值的时候，红色积木的数量是不同的，所以，只要红色积木在某个时刻到达过0，就能保证这两种方案是不同的。
具体实现看代码吧。

#include<cstdio>
#include<algorithm>
using namespace std;
#define MAXN 3010
#define MO 1000000007
int f[MAXN][MAXN][2],n,m,ans;
int main()
{
	scanf("%d%d",&n,&m);
	f[0][0][1]=1;
	for(int i=1;i<=n;i++)
		f[0][i][0]=1;
	for(int i=0;i<m;i++)
		for(int j=0;j<=n;j++)
			for(int k=0;k<2;k++)
			{
				if(j) (f[i+1][j-1][k|(j-1==0)]+=f[i][j][k])%=MO;
				if(j) (f[i+1][j][k|(j==1)]+=f[i][j][k])%=MO;
				if(j<n) (f[i+1][j][k]+=f[i][j][k])%=MO,(f[i+1][j+1][k]+=f[i][j][k])%=MO;
			}
	for(int i=0;i<=n;i++)
		(ans+=f[m][i][1])%=MO;
	printf("%d\n",ans);
}