第十三届蓝桥杯-李白打酒加强版(dp)

一共最多有200个位置，每一个位置可以选择：加倍或者-1。

加倍只能加n次，那么我们可以考虑

定义状态$dp[i][j][flag]$表示第i个位置还有j次可以加倍，当前的操作选择的是flag,flag=0代表-1，flag=1代表加倍的种类数。

但是如果当前定义的状态，那么信息不够，因为题目最终要问的是最后一次遇到花，而且刚好全部喝完酒了有多少种可能。我们还需要开设一个维度，代表当前还剩下多少酒。

也就是$dp[i][j][k][flag]$表示第i个位置还有j次可以加倍，当前的操作选择的是flag,flag=0代表-1，flag=1代表加倍，而且还剩下k斗酒的种类数。

但是我们现在发现了一个问题：如果对于极限数据来说，100次的加倍代表$2^{101}$这么大的数，那么肯定不行，但是我们可以知道最多遇到100次花，所以一旦酒的斗数大于100，说明，他一定喝不完，所以酒的斗数只用开到100这么大。

类似于背包的思想，枚举还剩下多少次加倍的次数和酒的斗数即可。

#include<iostream>
using namespace std;
#define int long long
const int mod=1e9+7;
int dp[205][259][101][2];
signed main(){
	int n,m;
	cin>>n>>m;
	dp[0][2][n][0]=1; 
	for(int i=1;i<=n+m;i++){
		for(int j=0;j<=n;j++){//枚举接下来遇到店的次数 
			dp[i][100][j][0]+=dp[i-1][100][j+1][1]+dp[i-1][100][j][0];
			dp[i][100][j][0]%=mod;
			for(int k=100;k>=0;k--){//枚举还有多少酒 
				int t=k*2;
				if(t>=100)t=100;
				dp[i][t][j][1]=dp[i-1][k][j+1][1]+dp[i-1][k][j][0];	 
				if(k<100)
				dp[i][k][j][0]=dp[i-1][k+1][j][0]+dp[i-1][k+1][j+1][1];
				dp[i][t][j][1]%=mod;
				dp[i][k][j][0]%=mod;
			}
		}
	}
	int ans=0;
	cout<<dp[n+m][0][0][0]; 
}