表示式组成方案

题目描述


对于一个只由0(假)、1(真)、&(逻辑与)、|(逻辑或)和^(异或)五种字符组成的逻辑表达式，再给定一个结果值。现在可以对这个没有括号的表达式任意加合法的括号，返回得到能有多少种加括号的方式，可以达到这个结果。
给定一个字符串表达式exp及它的长度len，同时给定结果值ret,请返回方案数。保证表达式长度小于等于300。为了防止溢出，请返回答案Mod 10007的值。
测试样例：
"1^0|0|1",7,0
返回：2

#include <iostream>
#include <string>
#include <cstring>
using namespace std;
int main()
{
	string exp;
	
	int len;
	int ret;
	while(cin>>exp)
	{
		cin>>len>>ret;
		const int Mod = 10007;
		int dp[310][310][2];
		int flen = 0;		

		memset(dp, 0, sizeof(dp));

		//初始化
		for(int i = 0; i < len; i+=2)
		{
			dp[i][i][1] = exp[i] - '0';
			dp[i][i][0] = 1 - dp[i][i][1];
		}

		for(int j = 0; j < len; j+=2)
		{			
			for(int i = j-2; i >= 0; i-=2)
			{
				for(int k = i; k < j; k += 2)
				{
					switch(exp[k+1])
					{
					case '&':
						dp[i][j][0] += dp[i][k][0]*dp[k+2][j][0]%Mod+
							dp[i][k][0]*dp[k+2][j][1]%Mod+
							dp[i][k][1]*dp[k+2][j][0]%Mod;
						dp[i][j][1] += dp[i][k][1]*dp[k+2][j][1]%Mod;
						break;
					case '|':
						dp[i][j][1] += dp[i][k][0]*dp[k+2][j][1]%Mod+
							dp[i][k][1]*dp[k+2][j][1]%Mod+
							dp[i][k][1]*dp[k+2][j][0]%Mod;
						dp[i][j][0] += dp[i][k][0]*dp[k+2][j][0]%Mod;
						break;
					case '^':
						dp[i][j][0] += dp[i][k][0]*dp[k+2][j][0]%Mod+
							dp[i][k][1]*dp[k+2][j][1]%Mod;
						dp[i][j][1] += dp[i][k][0]*dp[k+2][j][1]%Mod+
							dp[i][k][1]*dp[k+2][j][0]%Mod;
						break;
					default:
						cout<<"error"<<endl;
						break;
					}
						dp[i][j][0] %= Mod;
						dp[i][j][1] %= Mod;
				}
			}
		}
		cout<<dp[0][len-1][ret]<<endl;


	}
}