【问题描述】
明明进了中学之后，学到了代数表达式。有一天，他碰到一个很麻烦的选择题。这个题目的题干中首先给出了一个代数表达式，然后列出了若干选项，每个选项也是一个代数表达式，题目的要求是判断选项中哪些代数表达式是和题干中的表达式等价的。
这个题目手算很麻烦，因为明明对计算机编程很感兴趣，所以他想是不是可以用计算机来解决这个问题。假设你是明明，能完成这个任务吗？
这个选择题中的每个表达式都满足下面的性质：
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包括一行，这一行包括一系列选项的标号，表示哪些选项是和题干中的表达式等价的。选项的标号按照字母顺序排列，而且之间没有空格。
【样例输入】
( a + 1) ^2
3
(a-1)^2+4*a
a + 1+ a
a^2 + 2 * a * 1 + 1^2 + 10 -10 +a –a
【样例输出】
AC
【数据规模】
对于30%的数据，表达式中只可能出现两种运算符‘+’和‘-’；
对于其它的数据，四种运算符‘+’，‘-’，‘*’，‘^’在表达式中都可能出现。
对于全部的数据，表达式中都可能出现小括号‘(’和‘)’。
【参考程序】：
#include <iostream>
#include<cstdio>
#include<cstring>
using namespace std;
typedef struct
{
char op;
long long v;
bool ok;
}node1;
typedef struct
{
int cnt;
node1 I[1010];
}node2;
node2 E[30],H[30];
int w[255];
int N;
bool big(char o1,char o2)
{
if (o1=='(') return true;
if (o2=='(') return true;
return w[o1]>w[o2];
}
void postfix(int Q)
{
char stack1[1010];
int top=0,p=0;
stack1[0]='@';
for (int i=1;i<=E[Q].cnt;i++)
{
if (E[Q].I[i].op==0)
{
H[Q].I[++p].v=E[Q].I[i].v;
H[Q].I[p].ok=E[Q].I[i].ok;
}
else
{
if (E[Q].I[i].op==')')
{
while (stack1[top]!='(')
{
H[Q].I[++p].op=stack1[top];
stack1[top--]=0;
}
stack1[top--]=0;
}
else if (big(E[Q].I[i].op,stack1[top]))
stack1[++top]=E[Q].I[i].op;
else
{
while (!big(E[Q].I[i].op,stack1[top]) && top>0)
{
H[Q].I[++p].op=stack1[top];
stack1[top--]=0;
}
stack1[++top]=E[Q].I[i].op;
}
}
}
H[Q].cnt=p;
}
long long power(long long a,long long b)
{
long long Q=1;
for (int i=1;i<=b;i++) Q*=a;
return Q;
}
long long evaluate(int Q)
{
int top=-1;
long long stack1[1010],a,b;
for (int i=1;i<=H[Q].cnt;i++)
{
if (H[Q].I[i].op==0)
{
stack1[++top]=H[Q].I[i].v;
}
else
{
b=stack1[top--]; a=stack1[top--];
switch(H[Q].I[i].op)
{
case '+':
stack1[++top]=a+b;
break;
case '-':
stack1[++top]=a-b;
break;
case '*':
stack1[++top]=a*b;
break;
case '/':
stack1[++top]=a/b;
break;
case '^':
stack1[++top]=power(a,b);
break;
}
}
}
return stack1[0];
}
bool is_operator(char c)
{
return (c=='+' || c=='-' || c=='*' || c=='/' || c=='^' || c=='(' ||c==')');
}
void readf(int Q)
{
int i=0; char c;
while (!cin.eof())
{
while ((c=cin.get())==' ');
if (c==10 || c==13 || cin.eof()) break;
i++;
if (is_operator(c)) E[Q].I[i].op=c;
else if (c=='a') E[Q].I[i].ok=true;
else
{
cin.putback(c);
E[Q].I[i].op=0;
cin >> E[Q].I[i].v;
}
}
E[Q].I[ E[Q].cnt=i+1 ].op='@';
}
void replace_letter(int P)
{
int i,j;
for (i=0;i<=N;i++)
for (j=1;j<=H[i].cnt;j++)
if (H[i].I[j].ok) H[i].I[j].v=P;
}
void solve()
{
long long A,B,C;
bool right[30];
for (int i=1;i<=N;i++) right[i]=true;
for (int i=1;i<=10;i++)
{
replace_letter(rand()%100);
A=evaluate(0);
for (int j=1;j<=N;j++)
{
B=evaluate(j); C=A-B;
if (C<0) C=-C;
if (C>0.1) right[j]=false;
}
}
for (int i=1;i<=N;i++)
if (right[i]) printf("%c",i-1+'A');
printf("\n");
}
int main()
{
w['@']=0; w['^']=3;
w['+']=w['-']=1;
w['*']=w['/']=2;
readf(0); postfix(0);
cin>>N; getchar();
for (int i=1;i<=N;i++)
{
readf(i); postfix(i);
}
solve();
return 0;
}