洛谷 P1310 表达式的值

题目描述

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

运算的优先级是：

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

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

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

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

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

输出格式：

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

输入输出样例
输入样例#1：

4
+(*)

输出样例#1：

３

说明

【输入输出样例说明】

给定的表达式包括横线字符之后为：+(*_)

在横线位置填入(0 、0 、0) 、(0 、1 、0) 、(0 、0 、1) 时，表达式的值均为0 ，所以共有3种填法。

【数据范围】

对于20% 的数据有 0 ≤ L ≤ 10。

对于50% 的数据有 0 ≤ L ≤ 1,000。

对于70% 的数据有 0 ≤ L ≤ 10,000 。

对于100%的数据有 0 ≤ L ≤ 100,000。

对于50% 的数据输入表达式中不含括号。

---

一眼看上去就知道做法，可是秘制调不对（现在ac了）。
就是如同中缀表达式求值一样，一步一步递推。
向表达式中插入一些字符，如“^”。
剩下的就是dp。
由题目可知，+是或，*是与。
一开始由于忘了取模，wa了。

---

#include<iostream>
#include<cstdio>
#include<stack>
using namespace std;
const int md=10007;
const int L=100005;
stack<char>sym;
int l,tp;
char ch[L],s[L];
struct num
{
    int f[2];
}tmp;
stack<num>stk;
bool cmp(char t)
{
    if(sym.empty()||sym.top()=='(')
        return 1;
    if(sym.top()=='*')
        return 0;
    if(t=='*')
        return 1;
    if(sym.top()=='+')
        return 0;
    return 1;
}
void calc(char t)//+是| *是& 
{
    num x,y,z;
    x=stk.top();
    stk.pop();
    y=stk.top();
    stk.pop();
    z.f[0]=z.f[1]=0;
    if(t=='+')
        for(int i=0;i<=1;i++)//上一位 
            for(int j=0;j<=1;j++)
                z.f[i|j]+=x.f[i]*y.f[j],z.f[i|j]%=md;
    else
        for(int i=0;i<=1;i++)//上一位 
            for(int j=0;j<=1;j++)
                z.f[i&j]+=x.f[i]*y.f[j],z.f[i&j]%=md;
    stk.push(z);
}
int main()
{
    scanf("%d%s",&l,ch+1);
    for(int i=1;i<=l;i++)
    {
        if(ch[i]!='('&&ch[i-1]!=')')
            s[++tp]='^';
        if(ch[i]=='(')//左括号 
            sym.push(ch[i]);
        else if(ch[i]==')')//右括号 
        {
            while(sym.top()!='(')
            {
                s[++tp]=sym.top();
                sym.pop();
            }
            sym.pop();
        }
        else//运算符 
        {
            while(!cmp(ch[i]))
            {
                s[++tp]=sym.top();
                sym.pop();
            }
            sym.push(ch[i]);
        }
    }
    if(ch[l]!=')')
        s[++tp]='^';
    while(!sym.empty())
    {
        s[++tp]=sym.top();
        sym.pop();
    }
    for(int i=1;i<=tp;i++)//对于每一个，符号弹出栈顶前两个数字计算，数字进栈 
    {
        if(s[i]=='^')//数字 
        {
            tmp.f[0]=tmp.f[1]=1;
            stk.push(tmp);
        }
        else
            calc(s[i]);
    }
    printf("%d\n",stk.top().f[0]);
    return 0;
}