[NOIP2005] 提高组 洛谷P1054 等价表达式

题目描述

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

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

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

1． 表达式只可能包含一个变量‘a’。

2． 表达式中出现的数都是正整数，而且都小于10000。

3． 表达式中可以包括四种运算‘+’（加），‘-’（减），‘*’（乘），‘^’（乘幂），以及小括号‘(’，‘)’。小括号的优先级最高，其次是‘^’，然后是‘*’，最后是‘+’和‘-’。‘+’和‘-’的优先级是相同的。相同优先级的运算从左到右进行。（注意：运算符‘+’，‘-’，‘*’，‘^’以及小括号‘(’，‘)’都是英文字符）

4． 幂指数只可能是1到10之间的正整数（包括1和10）。

5． 表达式内部，头部或者尾部都可能有一些多余的空格。

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

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

输入输出格式

输入格式：

输入文件equal.in的第一行给出的是题干中的表达式。第二行是一个整数n（2 <= n <= 26），表示选项的个数。后面n行，每行包括一个选项中的表达式。这n个选项的标号分别是A，B，C，D……

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

输出格式：

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

输入输出样例

输入样例#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年提高组第四题

熬夜刷题浪费青春系列。

从22:30开始做，本来大概23:30的时候就应该做出来了，因为判断函数写反多调了30分钟，又因为忘了开long long多调了30+分钟……

嗨呀好气呀！

如果没有这个变量，是经典的stack后缀表达式计算应用题。

有了变量怎么办？枚举十几个不同的数带入进去算，如果要比较的两个式子返回结果都一样，那么两式相同。

 /*by SilverN*/
 #include<algorithm>
 #include<iostream>
 #include<cstring>
 #include<cstdio>
 #include<cmath>
 #include<vector>
 using namespace std;
 const long long mod=1e11+;
 const int mxn=;
 int read(){
     int x=,f=;char ch=getchar();
     while(ch<'' || ch>''){if(ch=='-')f=-;ch=getchar();}
     while(ch>='' && ch<=''){x=x*+ch-'';ch=getchar();}
     return x*f;
 }
 string s1,s2;
 char st[mxn];int top=;
 long long num[mxn];int ntop=;
 int cmp(char ch){
     if(!top || st[top]=='(') return ;
     if(st[top]=='^') return ;
     if(ch=='^') return ;
     if(st[top]=='*') return ;
     if(ch=='*') return ;
     return ;
 }
 int pp(){
     switch(st[top]){
         case '(':{
             top--;
             return ;
             break;
         }
         case '+':{
             long long n1=num[ntop--];
             long long n2=num[ntop--];
             num[++ntop]=n1+n2;
             break;
         }
         case '-':{
             long long n1=num[ntop--];
             long long n2=num[ntop--];
             num[++ntop]=n2-n1;
             break;
         }
         case '*':{
             long long n1=num[ntop--];
             long long n2=num[ntop--];
             num[++ntop]=n2*n1;
             break;
         }
         case '^':{
             long long n1=num[ntop--];
             long long n2=num[ntop--];
 //            num[++ntop]=pow(n2,n1);
             long long bas=;
             for(int j=;j<=n1;j++)bas=(bas*n2);
             num[++ntop]=bas;
             break;
         }
     }
     top--;
     return ;
 }
 long long clc(string s,int tp){
     top=ntop=;
     memset(num,,sizeof num);
     memset(st,,sizeof st);
     int len=s.length();
     int i,j;
     for(i=;i<len;i++){
         if(s[i]==' ')continue;
         if(s[i]=='('){
             st[++top]='(';
             continue;
         }
         if(s[i]=='a'){
             num[++ntop]=tp;
             continue;
         }
         if(s[i]>='' && s[i]<='')
         {
             int x=;
             while(s[i]>='' && s[i]<=''){
                 x=x*+s[i]-'';
                 i++;
             }
             i--;
             num[++ntop]=x;
             continue;
         }
         if(s[i]==')'){
             if(top== && i!=len-)i++;
             while(){if(pp())break;}
             continue;
         }
         while(cmp(s[i]))pp();
         st[++top]=s[i];
     }

     while(top>){pp();}
 //    printf("%lld\n",num[1]);
     return num[];
 }
 int n;
 int main(){
     int i,j;
     getline(cin,s1);
     s1='('+s1+')';

     scanf("%d",&n);
     getline(cin,s2);//读空行
     for(i=;i<n;++i){
         getline(cin,s2);
         s2='('+s2+')';
         bool flag=;
         for(j=;j<=;j++){
             if(clc(s1,j*+)!=clc(s2,j*+)){
                 flag=;
                 break;
             }
         }
         if(flag)printf("%c",i+'A');
     }
     return ;
 }