NOIP 2005 等价表达式

1107 等价表达式

2005年NOIP全国联赛提高组

时间限制: 1 s

空间限制: 128000 KB

题目描述 Description

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

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

这个选择题中的每个表达式都满足下面的性质：
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……

输入描述 Input Description

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

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

输出描述 Output Description

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

样例输入 Sample Input

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

样例输出 Sample Output

AC

数据范围及提示 Data Size & Hint

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

栈模拟计算器

#include<cstdio>
#include<cstring>
#include<iostream>

#define N 52
#define mod 10007

using namespace std;

char t
,s
;
int ans1,ans2,ans3;

char sym
;
int num
;
int top1,top2;
int L;

void pre()
{
int len=strlen(t+1); L=0;
for(int i=1;i<=len;i++)
if(t[i]!=' ') s[++L]=t[i];
s[0]='('; s[++L]=')';
s[L+1]='\n';
top1=top2=0;
}

int Pow(int a,int b)
{
a%=mod;
int res=1;
for(;b;a*=a,a%=mod,b>>=1)
if(b&1) res*=a,res%=mod;
return res;
}

void cal()
{
switch(sym[top1--])
{
case '+':num[--top2]+=num[top2+1];num[top2]%=mod;break;
case '-':num[--top2]-=num[top2+1];num[top2]+=mod,num[top2]%=mod;break;
case '*':num[--top2]*=num[top2+1];num[top2]%=mod;break;
case '^':num[--top2]=Pow(num[top2],num[top2+1]);break;
}
}

bool judge(int i)
{
if(s[i]=='^' && sym[top1]=='^') return true;
if(s[i]=='*' && (sym[top1]=='*' || sym[top1]=='^')) return true;
if((s[i]=='+' || s[i]=='-' ) && sym[top1]!='(' && top2>=2) return true;
return false;
}

int solve(int x)
{
int i=0,tmp;
while(i<=L)
{
if(s[i]=='(') sym[++top1]=s[i++];
if(s[i]=='a') num[++top2]=x,i++;
//printf("%d %d",top1,top2);
tmp=0;
if(isdigit(s[i]))
{
while(isdigit(s[i])) tmp=tmp*10+s[i++]-'0';
num[++top2]=tmp;
}
do
{
if(s[i]==')')
{
if(s[4]=='1' && s[5]=='+' && s[6]=='5' && L>20)
{
int sd=4;
}
while(sym[top1]!='(') cal();
top1--;
}
else
{
while(judge(i)) cal();
sym[++top1]=s[i];
}
i++;
}while(i<=L && s[i-1]==')');
}
//if(top2!=1 || top1) return mod+1;
return num[top2];
}

int main()
{
//freopen("equal.in","r",stdin);
//freopen("equal.out","w",stdout);
gets(t+1);
pre();
ans1=solve(2);
pre();ans2=solve(0);
pre();ans3=solve(1);
int n,res;
scanf("%d\n",&n);
//int cnt=0;
for(int i=1;i<=n;i++)
{
gets(t+1);
pre();
res=solve(2); if(res!=ans1) continue;
pre();
res=solve(0); if(res!=ans2) continue;
pre(); res=solve(1); if(res!=ans3) continue;
printf("%c",i+'A'-1); //cnt++;
}
//\printf("\n\n%d\n",cnt);
return 0;
}