【NOIP2011】洛谷1310 表达式的值

题目描述

对于1 位二进制变量定义两种运算：

运算的优先级是：

先计算括号内的，再计算括号外的。
“× ”运算优先于“⊕”运算，即计算表达式时，先计算× 运算，再计算⊕运算。例如：计算表达式A⊕B × C时，先计算 B × C，其结果再与 A 做⊕运算。

现给定一个未完成的表达式，例如+(*_)，请你在横线处填入数字0 或者1 ，请问有多少种填法可以使得表达式的值为0 。 输入输出格式
输入格式：

输入文件名为exp.in ，共 2 行。

第1 行为一个整数 L，表示给定的表达式中除去横线外的运算符和括号的个数。

第2 行为一个字符串包含 L 个字符，其中只包含’（’、’）’、’+’、’*’这4
种字符，其中’（’、’）’是左右括号，’+’、’*’分别表示前面定义的运算符“⊕”和“×”。这行字符按顺序给出了给定表达式中除去变量外的运算符和括号。

输出格式：

输出文件exp.out 共1 行。包含一个整数，即所有的方案数。注意：这个数可能会很大，请输出方案数对10007 取模后的结果。

判断一下哪里需要填数，就变成用栈进行中缀表达式计算了，不过数字栈里存的不是数字，而是结果是0/1的方案数。

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int mod=10007;
char so[100010],s[100010];
int s1[100010],s0[100010],to,tn,l;
bool have(int p)
{
    if (p>1&&s[p-1]==')') return 0;
    return s[p]!='(';
}
bool can(char a,char b)
{
    if (a=='(') return 0;
    return a!='+'||b!='*';
}
void calc()
{
    int a0=s0[tn],a1=s1[tn],b0=s0[tn-1],b1=s1[tn-1];
    tn--;
    if (so[to]=='+')
    {
        s0[tn]=a0*b0%mod;
        s1[tn]=(a1*b1%mod+a1*b0%mod+a0*b1%mod)%mod;
    }
    else
    {
        s0[tn]=(a0*b0%mod+a0*b1%mod+a1*b0%mod)%mod;
        s1[tn]=a1*b1%mod;
    }
    to--;
}
int main()
{
    int i,j,k,m,n,p,q,x,y,z;
    scanf("%d",&l);
    scanf("%s",s+1);
    s[0]='(';
    s[l+1]=')';
    for (i=0;i<=l+1;i++)
    {
        if (have(i))
        {
            tn++;
            s0[tn]=s1[tn]=1;
        }
        if (s[i]==')')
        {
            while (so[to]!='(')
              calc();
            to--;
        }
        else
        {
            if (s[i]=='(') so[++to]='(';
            else
            {
                while (to&&can(so[to],s[i])) calc();
                so[++to]=s[i];
            }
        }
    }
    printf("%d\n",s0[1]);
}