P1054 等价表达式

题目描述

明明进了中学之后，学到了代数表达式。有一天，他碰到一个很麻烦的选择题。这个题目的题干中首先给出了一个代数表达式，然后列出了若干选项，每个选项也是一个代数表达式，题目的要求是判断选项中哪些代数表达式是和题干中的表达式等价的。

这个题目手算很麻烦，因为明明对计算机编程很感兴趣，所以他想是不是可以用计算机来解决这个问题。假设你是明明，能完成这个任务吗？

这个选择题中的每个表达式都满足下面的性质：

1. 表达式只可能包含一个变量‘aa’。
2. 表达式中出现的数都是正整数，而且都小于1000010000。
3. 表达式中可以包括四种运算+（加），-（减），*（乘），^（乘幂），以及小括号(,)。小括号的优先级最高，其次是^，然后是*，最后是+和-。+和-的优先级是相同的。相同优先级的运算从左到右进行。（注意：运算符+，-，*，^以及小括号(，)都是英文字符）
4. 幂指数只可能是11到1010之间的正整数（包括11和1010）。
5. 表达式内部，头部或者尾部都可能有一些多余的空格。

下面是一些合理的表达式的例子：

((a^1) ^ 2)^3，a*a+a-a，((a+a))，9999+(a-a)*a，1 + (a -1)^3，1^10^9………

输入输出格式

输入格式：

 

第一行给出的是题干中的表达式。

第二行是一个整数n(2 le n le 26)n(2≤n≤26)，表示选项的个数。后面nn行，每行包括一个选项中的表达式。这nn个选项的标号分别是A,B,C,D…A,B,C,D…

输入中的表达式的长度都不超过50个字符，而且保证选项中总有表达式和题干中的表达式是等价的。

 

输出格式：

 

一行，包括一系列选项的标号，表示哪些选项是和题干中的表达式等价的。选项的标号按照字母顺序排列，而且之间没有空格。

 

输入输出样例

输入样例#1： 

( a + 1) ^2
3
(a-1)^2+4*a
a + 1+ a
a^2 + 2 * a * 1 + 1^2 + 10 -10 +a -a

输出样例#1： 

AC

说明

对于30%的数据，表达式中只可能出现两种运算符‘+’和-；
对于其它的数据，四种运算符+，-，*，^在表达式中都可能出现。
对于全部的数据，表达式中都可能出现小括号(和)。

2005年提高组第四题

Solution：

　　Noip的题目，满满的恶意((・◇・)？读入有毒啊！)。

　　读入一行字符串，本题不能用gets或者cin.getline（因为我试了），所以得手写读入（判断换行' '和回车' '）。

　　思路就是随便代10个数计算每个表达式的值，然后判断是否都相等就好了。

　　求的话可以用双栈模拟（一个存数，一个单调维护符号优先级），或者递归求，递归过程直接区间从后往前，用hash的思路统计算术优先级（优先级：'('>'^'>'*'>'+'='-'>')'），优先运算优先级高的就好了。

代码：

/*Code by 520 -- 8.31*/
#include<bits/stdc++.h>
#define il inline
#define ll long long
#define RE register
#define For(i,a,b) for(RE int (i)=(a);(i)<=(b);(i)++)
#define Bor(i,a,b) for(RE int (i)=(b);(i)>=(a);(i)--)
using namespace std;
const int N=55,mod=1e9+7;
int n,len[N],sum[N];
char s[27][N],t[N];

il ll fast(ll x,ll k){
    ll ans=1;
    while(k){
        if(k&1) ans=ans*x%mod;
        k>>=1;
        x=x*x%mod;
    }
    return ans;
}

int p[N];
ll dfs(char *s,int l,int r,int x){
    int tot=0,minn=0x7fffffff,pos=l,cnt=0,num=0;
    memset(p,0x3f,sizeof(p));
    Bor(i,l,r){
        if(s[i]==')') tot+=100;
        if(s[i]=='(') tot-=100;
        if(s[i]=='^') p[i]=tot+3,cnt++;
        if(s[i]=='*') p[i]=tot+2,cnt++;
        if(s[i]=='+'||s[i]=='-') p[i]=tot+1,cnt++;
        if(minn>p[i]) minn=p[i],pos=i;
    }
    if(!cnt){
        For(i,l,r) if(s[i]=='a')return x;
        For(i,l,r) if(isdigit(s[i])) num=(num<<3)+(num<<1)+(s[i]^48);
        return num;
    }
    if(s[pos]=='^') return fast(dfs(s,l,pos-1,x),dfs(s,pos+1,r,x));
    if(s[pos]=='*') return dfs(s,l,pos-1,x)*dfs(s,pos+1,r,x)%mod;
    if(s[pos]=='+') return (dfs(s,l,pos-1,x)+dfs(s,pos+1,r,x))%mod;
    if(s[pos]=='-') return (dfs(s,l,pos-1,x)-dfs(s,pos+1,r,x))%mod;
    return 0;
}

il void get(char *a){
    char c=getchar();
    int cnt=0;
    while(c=='
'||c=='
') c=getchar();
    while(c!='
'&&c!='
') a[cnt++]=c,c=getchar();
    a[cnt]='';
}

int main(){
    get(t),len[0]=strlen(t);
    cin>>n;
    For(i,1,n) get(s[i]),len[i]=strlen(s[i]);
    For(i,0,10) sum[i]=dfs(t,0,len[0]-1,i-5);
    For(i,1,n) {
        bool f=0;
        For(j,0,10) if(sum[j]!=dfs(s[i],0,len[i]-1,j-5)){f=1;break;}
        if(!f)printf("%c",'A'+i-1);
    }
    return 0;
}