NOIP2017提高组equal等价表达式.doc

【问题描述】? 明明进了中学之后，学到了代数表达式。有一天，他碰到一个很麻烦的选择题。这个题目的题干中首先给出了一个代数表达式，然后列出了若干选项，每个选项也是一个代数表达式，题目的要求是判断选项中哪些代数表达式是和题干中的表达式等价的。 这个题目手算很麻烦，因为明明对计算机编程很感兴趣，所以他想是不是可以用计算机来解决这个问题。假设你是明明，能完成这个任务吗？? 这个选择题中的每个表达式都满足下面的性质： 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%的数据，表达式中只可能出现两种运算符‘+’和‘-’；对于其它的数据，四种运算符‘+’，‘-’，‘*’，‘^’在表达式中都可能出现。 对于全部的数据，表达式中都可能出现小括号‘(’和‘)’。 算法分析： 用栈的方法求表达式的值是经典的算法。考虑到多项式的处理比较麻烦，不妨对变量a进行多次赋值以判断表达式是否等价。 值得注意，由于进行数值运算，采用哪种数据类型成为程序是否正确的关键。下面的程序，采取mod m的方法，其中m为任意正整数。当对a多次赋值，且m取不同的较大的正整数时，可以保证算法的正确性。 const max=maxlongint; com:array[1..7,1..7] of char=((,,,,,,), (,,,,,,), (,,,,,,), (,,,,,,), (,,,,,=,X), (,,,,X,,), (,,,,,X,X)); var oped:array[1..1000] of longint; optr:array[1..1000] of char; s:array[0..26] of string; value:array[0..26,-4..4] of int64; ans:array[0..26] of boolean; n,i,j,p,q:longint; a,b,ned,ntr:int64; there:char; flag:boolean; function compare(w1,w2:char):char; var x1,x2:integer; begin case w1 of +:x1:=1; -:x1:=2; *:x1:=3; ^:x1:=4; (:x1:=5; ):x1:=6; #:x1:=7; end; case w2 of +:x2:=1; -:x2:=2; *:x2:=3; ^:x2:=4; (:x2:=5; ):x2:=6; #:x2:=7;