《算符破译》解题报告【信息技术】.docVIP

《算符破译》解题报告 东北育才学校 俞玮 【正文】 问题描述： 这个问题说的是，对于给出的若干个字符串，求出字串中每个字符的一个对应法则，使得按这种法则这些字符串全满足某个条件。 问题分析： 这道题目看上去并不很复杂，但事实上做起来却比较麻烦。我们并不可能得出一个在多项式时间内就能解决该问题的方法，所以只能用搜索来解决。由于问题的规模较大，所以我们要对该算法进行几点优化，并要注意几点问题，具体如下： 先对约束条件较高的=、+、×进行搜索； 对表达式只产生有效的（既可以计算的），避免无效搜索； 对各个表达式分乘各个阶段，把含字符少的先进行计算并用表达式剪枝，以便在高层剪 枝； 若当前字符和以后的字符均无法确定，则直接退出，无需再搜索； 若有十二个算符已经确定，那么第十三个可直接推出而无需搜索。 程序说明： 程序中JDx是对各个阶段的划分时所使用的变量，JD表示各个阶段的起止位置（在Dui中保存实际值），JDt表示阶段中所含字符，JDk表示字符数，JDs表示所含字符集合。AExit表示的是是否可以在当前字符未确定的情况下直接退出而无需进行无效搜索（即分析中的条件4）。其余的可以参照程序注释。 【附录】源程序： {$A+,B-,D-,E-,F-,G+,I-,L-,N+,O-,P-,Q-,R-,S-,T-,V-,X+,Y-} {$M 65520,0,655360} label AllOut; {程序出口的label} const inputfile=input.txt; outputfile=output.txt; Opers:array [0..12] of char=0123456789+*=; {Value中每个值所对应的字符} type TSet=set of a..m; St11=string[11]; St13=string[13]; var Equ:array [1..1000] of St11; {表达式} EqP,EquLen:array [1..1000] of byte; {表达式中等号所在的位置及表达式的长度} Ct:array [1..1000] of word; {每个表达式含有多少个不同的字符} Dui:array [1..1000] of word; {进行阶段归并后所对应的原来的表达式序号} CTs:array [1..1000] of TSet; {每个表达式所含有的字符} n:word; {表达式数} EQs,PLs,MULs,CHs:TSet; {分别是可以为等号、加好、乘号的集合及所有所用字符的集合} JD:array [0..13] of word; {每个搜索阶段的起止位置} JDt:array [0..13] of St13; {每个阶段需要搜索的字符} JDs:array [0..13] of TSet; {每个阶段所含有的字符集合} JDk:array [0..13] of byte; {每个阶段的字符数} SJD:byte; {阶段数} XUse,Use:St13; {使用的字符} TCh:byte; {使用的字符数} Used,Multi,CanZero:array [a..m] of boolean; {分别表示是否为[+,-,=]中的一个、是否有多值、是